Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

July 23, 2019

Summer Meanderings About Enriched Logic

Posted by David Corfield

Reading the recently appeared article

which treats Gabriel-Ulmer and related dualities in an enriched setting, I was wondering what sense we should make of “enriched logic”.

If, for instance, we may think of ordinary Gabriel-Ulmer duality as operating between essentially algebraic theories and their categories of models, then how to think of a finitely complete 𝒱\mathcal{V}-category as a kind of enriched essentially algebraic theory?

That got me wondering about the case where 𝒱\mathcal{V} is the reals or the real interval, i.e., something along the lines of a Lawvere metric space, which led me to some recent work on continuous logic. This logic is associated with a longstanding program on continuous model theory, but it seems that the time is ripe now for category theoretic recasting, as in:

  • Simon Cho, Categorical semantics of metric spaces and continuous logic, (arXiv:1901.09077).

In this article Cho argues that the object of truth values of continuous logic is to be seen as a “continuous subobject classifier” in the sense of topos theory.

Posted at 6:47 AM UTC | Permalink | Followups (29)

July 22, 2019

Applied Category Theory 2019 Talks

Posted by John Baez

Applied Category Theory 2019 happened last week! It was very exciting: about 120 people attended, and they’re pushing forward to apply category theory in many different directions. The topics ranged from ultra-abstract to ultra-concrete, sometimes in the same talk.

Now the Applied Category Theory 2019 school is about to start. But we shouldn’t let the momentum built up at the conference dissipate.

Posted at 8:02 AM UTC | Permalink | Followups (3)

July 17, 2019

What is the Laplace Transform?

Posted by Mike Shulman

One of the best ways to understand something difficult is to reinvent it. Two weeks ago I did that with the Laplace transform, and now I feel like it finally makes sense to me. (In fact this was while I was at the Magnitude Workshop, trying to make sense of magnitude for infinite metric spaces. Thanks to Richard Hepworth for pointing out that what I was reinventing was the Laplace transform — in fact I was stumbling towards some of the same ideas that he had already formulated, which are described in his excellent talk.)

The short answer is that the Laplace transform is really just a generalization of the familiar Laurent series representation of complex analytic functions, but where the exponents are allowed to be non-integers and to “vary continuously” rather than discretely. Wikipedia sketches this briefly, but I would never have discovered it there because I was looking for that generalization rather than looking for a way to understand the Laplace transform. Moreover, this explanation is obscured by the fact that people generally choose obfuscating coordinates.

In this post I’ll try to explain the Laplace transform as I understand it now — which is probably still quite rudimentary compared to the people who really understand it, but maybe it’ll be helpful for other folks in the audience who think more like me than like an analyst. (And maybe some analysts will come along and offer further insight!) Along the way we’ll also learn what the “Z-transform” is and obtain some insight into the Fourier transform.

Posted at 12:45 AM UTC | Permalink | Followups (16)

July 14, 2019

What Happened At The Magnitude Workshop

Posted by Tom Leinster

A week ago we had a short workshop on magnitude at the University of Edinburgh, organized by Heiko Gimperlein, Magnus Goffeng and me. If that sounds familiar to you, it might be because I advertised it here before. The slides from the talks are now on the website. You can also see a list of open problems.

Anyway, it was a great meeting, focused on the magnitude of metric spaces (as opposed to enriched categories more generally), and roughly evenly split between the analytic and homological aspects of magnitude. It included talks from our own Simon Willerton and Mike Shulman, as well as other experts in a wide variety of different fields (as the official name of the workshop suggests: “Magnitude 2019: Analysis, Category Theory, Applications”). And Emily Roff, who’s doing a PhD with me, spoke about our work on the maximum diversity of a compact metric space.

Heiko and Magnus also invited some experts in the theory of capacity to help us out, knowing that this is something highly relevant to magnitude — even though it now seems that the kinds of questions about capacity that we’re asking do not yet have answers. I was particularly happy to see people from the algebraic side taking part in discussions on primarily analytic questions, and vice versa.

The talks were arranged so that each day started with some introductory stuff (schedule here), before going into more depth. So if you’re curious to find out more and read some of the talk slides, that’s where you might want to start.

Posted at 10:24 AM UTC | Permalink | Followups (4)

July 6, 2019

The Riemann Hypothesis Says 5040 is the Last

Posted by John Baez

There are many equivalent ways to phrase the Riemann Hypothesis. I just learned a charming one from this fun-filled paper:

Posted at 12:39 PM UTC | Permalink | Followups (16)

July 5, 2019

Type Theory, Category Theory and Philosophy

Posted by David Corfield

I held a small gathering this week in Kent, Type theory, Category theory and Philosophy. Currently I only have my own slides up there. I’ll see which others I can add.

My talk was on events and temporal type theory. That events are spoken of in ways unlike objects has long been observed by philosophers. Looking for a type-theoretic rendition of natural language, one would expect at the very least that the object/event distinction should be recognised.

My belief is growing the philosophy, computer science and linguistics have much to say to one another, so it was great to hear from Dominic Orchard, a local computer scientist, of his work on graded modalities, and how philosophers such as Kit Fine and Lou Goble had uncovered them in the early 70s. There’s a body of work by linguistics to go through too, such as Lassiter’s Graded Modality.

Posted at 11:08 AM UTC | Permalink | Followups (3)

July 1, 2019

Structured Cospans

Posted by John Baez

My grad student Kenny Courser gave a talk at the 4th Symposium on Compositional Structures. He spoke about his work with Christina Vasilakopolou and me. We’ve come up with a theory that can handle a broad class of open systems, from electrical circuits to chemical reaction networks to Markov processes and Petri nets. The idea is to treat open systems as morphisms in a category of a particular kind: a ‘structured cospan category’.

Posted at 7:39 PM UTC | Permalink | Followups (6)