Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Created arity class. Added links from a few places, but there are probably others I didn’t think of.
Excellent term! Is it yours?
Yes. I’m glad you like it!
Is the full subcategory spanned by a class of arities always also a category of arities for the identity monad, in the sense of a monad with arities? This is certainly true for (for trivial reasons), (because filtered colimits preserve finite products), and (because the diagram in question has a terminal vertex). But I’m less certain about the other regular cardinals, especially the finite ones…
Good question! Let’s see, is locally -presentable for any infinite regular cardinal , so the -small sets are -presentable and the associated canonical colimits are -filtered. Seems like that’s exactly what we need to conclude that the identity monad has the appropriate arities.
For the unique finite regular cardinal , the -small sets are 0 and 1, so we only need to worry about whether mapping out of 0 preserves the canonical -colimits. Being 2-filtered means being inhabited, but mapping out of 0 doesn’t preserve inhabited colimits (e.g. coproducts). It does, however, preserve connected colimits, and any canonical colimit w.r.t. 2 is connected (the diagram has an initial object). So I think we’re good there too.
That suggests that maybe there’s some sense in which “-filtered” ought to mean “connected”? I can’t see how that could be true other than by convention, though. Maybe I’m just confused.
I’m quite confused as well: as far as I can tell, the only reason we want to preserve canonical colimits is so that Beck–Chevalley condition is satisfied for the obvious diagram of functors, but in the case this is automatic… (Assuming I haven’t made any mistakes, the density of can be proven with weaker assumptions.)
Regarding 2-filteredness: if we (re)define “small -filtered category ” to mean “ preserves -limits in ”, then a 2-filtered category is precisely a connected inhabited category. Since -filtered categories in the traditional sense are connected for , this doesn’t seem to be too much to ask for…
the only reason we want to preserve canonical colimits is so that Beck–Chevalley condition is satisfied for the obvious diagram of functors, but in the case this is automatic…
Well, sure, but that’s separate to the question of whether the arity class gives arities to the identity monad for the formal definition of “has arities”, right? It’s just saying that in the special case of Id, the formal definition of “has arities” is stronger than necessary for the conclusion of the main general theorem about it to hold.
if we (re)define “small -filtered category ” to mean “ preserves -limits in ”, then a 2-filtered category is precisely a connected inhabited category.
Ah, yes!! And that’s the right definition, too, because it generalizes even further.
(Small point: a connected category is automatically inhabited.)
a connected category is automatically inhabited
Smile. I expect Zhen was just being on the safe side, since there remain some people who think empty things are connected. :-)
1 to 9 of 9