July 23, 2019
Summer Meanderings About Enriched Logic
Posted by David Corfield
Reading the recently appeared article
- Stephen Lack, Giacomo Tendas, Enriched Regular Theories, (arXiv:1907.02301),
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 -category as a kind of enriched essentially algebraic theory?
That got me wondering about the case where 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.
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.
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.
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.
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:
- Jeffrey Lagarias, Euler’s constant: Euler’s work and modern developments, Bull. Amer. Math. Soc. 50 (2013), 527–628.
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.
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’.