You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
That's fun. Somebody has taken up a -Category Café suggestion and worked it into a paper.
At some point during that interesting discussion on the relationship between pyknoticity/condenseness and cohesion, I tried to initiate a thread on ultracategories.
This then spun out to me trying to figure out whether there might be some 2-monad approach to them in Ultracategories and 2-Monads (in what might be the longest single-authored thread in Café history).
In the course of this speculation, I pose a question to @Mike Shulman on another thread on whether they could be seen as generalized multicategories, and he duly comes up with an answer.
So now in
the author claims to have properly established results in this area:
We show a result inspired by a conjecture by Shulman claiming that ultracategories as defined by Lurie are normal colax algebras for a certain pseudo-monad on the category of categories CAT. Such definition allows us to regard left and right ultrafunctors as defined by Lurie as instances of lax/colax algebras morphisms.
I wonder this new work sits with this article:
The first attempt of providing a more conceptual framing to understand ultrastructures and ultracategories was given by Marmolejo in his PhD thesis [Mar95]. He was probably the first to trace some geometric aspects of the construction of ultraproducts, introducing the notion of Łoś category. We will see that the blueprint of our approach is essentially the same of Marmolejo’s, even though we have a quite different way of encoding the same idea.
In more recent years Lurie [Lur] revisited the notion of ultracategory, proposing a morally similar, but technically different notion of ultrastructure, ultracategory and ultrafunctor with respect to Makkai’s one. Both Makkai’s and Lurie’s notions are justified by the fact that they manage to deliver the most compelling theorems of this theory. Yet, none of these notions appears definitive when read or encountered for the first time for several reasons. The main one being that the definition of ultracategory is in both cases very heavy, and comes together with axioms whose choice seems quite arbitrary; and indeed the two authors make different choices.
Very good question. So many good young people are thinking about this topic these days. I guess I'll wait for their next paper on the arXiv to know!
Ali is one of my fellow phd student at uOttawa. The world is small :joy:
Cool!
Interesting development:
Many structured categories of interest are most naturally described as algebras for a relative monad, but turn out nonetheless to be algebras for an ordinary monad. We show that, under suitable hypotheses, the left oplax Kan extension of a relative 2-monad on categories yields a pseudomonad having the same category of colax algebras. In particular, we apply this to the study of ultracategories to recover the 'ultracompletion' pseudomonad.
Well, I wasn't a million miles away. The guess:
Reality:
It's all happening in the world of ultracategories. Another paper
We introduce the notion of virtual ultracategory. From a topological point of view, this notion can be seen as a categorification of relational -algebras. From a categorical point of view, virtual ultracategories generalize ultracategories in the same way that multicategories generalize monoidal categories. From a logical point of view, whereas the points of a coherent topos form an ultracategory, the points of an arbitrary topos form a virtual ultracategory. We then extend Makkai--Lurie's conceptual completeness: a topos with enough points can be reconstructed from its virtual ultracategory of points.
And another:
Seems very similar to Saadia's construction:
Note. A similar result to ours was independently obtained in [25]. The author introduced the notion of virtual ultracategories. At this point, we don’t know for sure if the two notions of virtual and generalised ultracategories are the same, although we expect them to be.
Abstract:
We introduce the theory of generalised ultracategories, these are relational extensions to ultracategories as defined by Lurie. An essential example of generalised ultracategories are topological spaces, and these play a fundamental role in the theory of generalised ultracategories. Another example of these generalised ultracategories is points of toposes. In this paper, we show a conceptual completeness theorem for toposes with enough points, stating that any such topos can be reconstructed from its generalised ultracategory of points. This is done by considering left ultrafunctors from topological spaces to the category of points and paralleling this construction with another known fundamental result in topos theory, namely that any topos with enough points is a colimit of a topological groupoid.
Yes, Hamad actually refers to Saadia in the introduction and mentions that he suspects virtual ultracategories and generalised ultracategories to be the same. Looks like a rare case in pure math where someone got scooped!
(Oh, you quoted that comment already.)
This is all very cool, I wish I had time to read these papers. It looks like none of them have anything to say about a relationship to Clementino-Tholen "ultracategories", though?
They're generalizing Makkai's ultracategories, which Lurie built on; Clementino-Tholen have a totally different notion than Makkai?
Yes, Clementino-Tholen took the ultrafilter monad on Rel, whose generalized multicategories are topological spaces, and extended it to Span and considered generalized multicategories for that.
Kevin Carlson said:
Looks like a rare case in pure math where someone got scooped!
(Even in category theory alone, I don't think this is such a rare phenomenon.)
Clark Barwick was talking about ultracategories in the context of his pyknotic mathematics, a close relative of condensed mathematics (cf. the first message of this thread). I wonder if this new work on ultracategories can bear on that.