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.

April 16, 2020

Ultracategories and 2-Monads

Posted by David Corfield

We began a discussion of Jacob Lurie’s Ultracategories over here, in particular whether they may be construed as algebras for some 2-monad. Perhaps this topic deserves a post to itself, rather than appearing tucked at the end of a long and fascinating discussion about condensed/pyknotic mathematics.

I have just discovered a 1995 PhD thesis by Francisco Marmolejo, advised by Robert Paré, that’s very relevant. Unfortunately the only online access is to a very poor photocopy, here. Anyway, Marmolejo characterises Makkai’s ultracategories there in a 2-monadic way. This would still leave Lurie’s somewhat differently defined ultracategories on the to-do list.

There’s then a follow-up question of characterising any such 2-monads using the codensity monad construction if possible. There’s some ongoing codensity conversation over here.

This area isn’t just for categorical logicians – some philosophers are paying attention, see

  • Halvorson, Hans and Tsementzis, Dimitris (2015), Categories of scientific theories, (preprint)

especially pp. 20-21.

…there seems to be nothing inherently “category-theoretic” about ultraproducts. As Makkai’s work proves and Los’ theorem has long made obvious, taking ultraproducts is a fundamental operation when it comes to elementary classes: elementary classes are exactly those classes closed under elementary equivalence and the taking of ultraproducts. Since every pretopos corresponds to an elementary class (more precisely: to the category of models of a coherent theory) one would imagine that any such characterization of Pretop would amount to a characterization of “closure under ultraproducts”. Absent any useful purely categorical description of ultraproducts (or even ultrafilters) this seems like a significant obstruction. Nevertheless the work of Leinster (2013) on ultrafilter monads as codensity monads might provide a way out, though this is still very far from being made precise.

Finally, I still have an open question about how to characterise the \infty-version developed by Lurie as a logical result about syntax-semantic duality. What kind of ‘theory’ is involved?

Posted at April 16, 2020 11:55 AM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/3217

7 Comments & 0 Trackbacks

Re: Ultracategories and 2-Monads

Section 4.5.3 of Marmolejo’s thesis tells us of a 2-adjunction between PRETOP opPRETOP^{op} and CATCAT, with 2-functors Mod()Mod(-) and Set ()Set^{(-)}. Given an algebra for the resulting 2-monad, TT, on CATCAT, that is, a category, AA, and functor Φ:Mod(Set A)A\Phi: Mod(Set^A) \to A, then given an ultrafilter (I,U)(I, U), we can form an ultraproduct in AA via the ultraproduct map, Mod(Set A) IMod(Set A)Mod(Set^A)^I \to Mod(Set^A).

This gives us a pre-ultracategory. Then a further 2-adjunction between PRETOP opPRETOP^{op} and TALGT-ALG is used to generate a 2-monad whose algebras give Makkai ultracategories.

Posted by: David Corfield on April 16, 2020 7:19 PM | Permalink | Reply to this

Re: Ultracategories and 2-Monads

Taking our cue from Di Liberti’s Codensity: Isbell duality, pro-objects, compactness and accessibility

The codensity monad of the Yoneda embedding is isomorphic to the monad induced by the Isbell adjunction,

I think we should look to the codensity 2-monad of the Yoneda lemma for bicategories. Kan extensions for bicategories are explained in Enriched categories as a free cocompletion, sec. 10.

Then varying the choice of 2-category in the Yoneda embedding, varying the class of limits preserved, etc. as in the ordinary case of Isbell duality should generate many 2-adjunctions along with their 2-adjoint dualities, including Gabriel-Ulmer duality and Marmolejo’s above.

James Dolan and John Baez seemed to be on this track in some notes on Doctrines:

There is a finite limits theory FinSetFin\Set, which is the embodiment of propositional logic. All finite sets can be formed from 22 by products and equalizers, so this finite limits theory is the Cauchy completion of the Lawvere theory whose objects are powers of 22, which is the opposite of the category of finitely presented Boolean algebras. Note: [FinSet,Set]=BoolAlg[Fin\Set, Set] = \Bool\Alg is the opposite of the category of profinite sets. [FinSet op,Set]=Set[Fin\Set^{op}, Set] = Set since FinSet opFin\Set^{op} is the free finite limits theory on one object.

Categorifying this example, we should get an interesting doctrine which is the embodiment of predicate logic. Namely, let FPGpd\FP\Gpd, the (2,1)(2,1)-category of finitely presented groupoids. Claim: theories of this doctrine are theories of first-order predicate logic. Conjecture: [FPGpd,Gpd][\FP\Gpd, Gpd] is the opposite of the category of profinite groupoids. [FPGpd op,Gpd]=Gpd[\FP\Gpd^{op}, Gpd] = Gpd. With luck this will explain the appearance of profinite groups in number theory.

James and John work with GpdGpd rather than CatCat, but assuming things work out, we’d have finite limit preserving 2-functors [FPCat op,Cat]=Cat[\FP\Cat^{op}, Cat] = Cat sitting in a 2-adjunction with [FPCat,Cat] op[\FP\Cat, Cat]^{op}, presumably with SetSet acting as dualizing object, as we see with Marmolejo. Other choices would include [1,Cat]=Cat[\mathbf{1}, Cat] = Cat in duality with its opposite.

As Di Liberti shows us, pro-finite objects and compactness are often involved in one side of an Isbell duality. Then the remark about the appearance of profinite groups in number theory is intriguing. Is it that the interest in condensed/pyknotic structures arises from the nature of one side of categorified Isbell duality?

Posted by: David Corfield on April 18, 2020 9:18 AM | Permalink | Reply to this

Re: Ultracategories and 2-Monads

To remind myself of what Cat opCat^{op} is, Mike sketched an answer back here:

“cocomplete categories equipped with a strongly-generating set of tiny objects, and functors having both left and right adjoints (equivalently, by the adjoint functor theorem, preserving small limits and colimits) whose left adjoint preserves the chosen generators.”

Posted by: David Corfield on April 22, 2020 8:17 AM | Permalink | Reply to this

Re: Ultracategories and 2-Monads

Interesting, there’s a theory of pro-2-objects.

  • M. Emilia Descotte, Eduardo Dubuc, A theory of 2-pro-objects (with expanded proofs), (arXiv:1406.5762)

I’ve just started an nLab page for it.

So what would 2Pro(FPCat)2Pro(FP Cat) look like?

The construction hasn’t been taken up much so far, but there is

  • Yuliang Huang, Giulio Orecchia, Matthieu Romagny, Unramified F-divided objects and the étale fundamental pro-groupoid in positive characteristic, (arXiv:1906.05072)

who use 2-pro-objects to construct the étale fundamental pro-groupoid of a flat finitely presented algebraic stack.

Posted by: David Corfield on April 22, 2020 10:27 AM | Permalink | Reply to this

Re: Ultracategories and 2-Monads

Continuing to plough this furrow, I’ve come to believe that 2-Isbell duality is simply formal, as suggested at the end of ‘Proof B’ on the nLab page Isbell duality, using the 2-Yoneda embedding. So for a small 2-category, 𝒜\mathcal{A}, there is Isbell duality between Cat 𝒜 opCat^{\mathcal{A}^{op}} and (Cat 𝒜) op(Cat^{\mathcal{A}})^{op}.

Then we should be able to imitate Di Liberti’s section 2.2 and consider cases of 𝒜\mathcal{A} as a dense sub-2-category of 𝒦\mathcal{K} to produce the corresponding codensity 2-monad via the composition of the 2-adjunction between 𝒦\mathcal{K} and Cat 𝒜 opCat^{\mathcal{A}^{op}} and the Isbell 2-adjunction. If all that works, what follows if FPCatFP Cat is a dense sub-2-category of CatCat?

The SetSet case has the advantage that finite and finitely-presented coincide there, leading to the results in sec 2.3 of Di Liberti’s paper.

But what then follows from FinSetFinSet as finite objects of SetSet? That’s the topic of Sec 3 on compactness:

all the algebras for the codensity monads of finite structures admit … a compact Hausdorff structure and that this happens coherently with the natural compact Hausdorff structure that pro-objects have.

Perhaps I should also look at FinCatFinCat.

Posted by: David Corfield on April 26, 2020 12:40 PM | Permalink | Reply to this

Re: Ultracategories and 2-Monads

One of the instances listed in Isbell duality is that between commutative rings and affine schemes. If there is a 2-Isbell duality to be had as above, one would expect a categorification of this duality to feature. Naturally something along these lines has already appeared, see 2-algebraic geometry.

One interesting paper there is

There we find commutative 2-rings defined in duality with affine 2-schemes, such that any Grothendieck topos is a commutative 2-ring.

In Sec 6.2 the authors consider CHom Com2Ring( CSet,Set)C \mapsto Hom_{Com2Ring}({}^{C}Set,Set), for a small category CC, where CSet{}^{C}Set is Fun[C,Set]Fun[C, Set]. As above SetSet is playing its role as a dualizing object. We are told this 2-functor “will be the topic of future work”. Was it, I wonder?

Posted by: David Corfield on April 22, 2020 2:23 PM | Permalink | Reply to this

Re: Ultracategories and 2-Monads

Urs had already identified such a 2-duality as a categorified Isbell duality back here, in more detail at nLab: Tannaka duality for geometric stacks. Note, this is in terms of a (2,1)(2,1)-functor. See also sec 6.2 of Chirvasitu and Johnson-Freyd.

Proposition 3.5.4 of Tensor functors between categories of quasi-coherent sheaves, the dual adjunction between 2Ring2-Ring and StackStack as “entirely formal and an example of (higher) Isbell duality”.

Posted by: David Corfield on April 24, 2020 8:24 AM | Permalink | Reply to this

Post a New Comment