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.
1 to 3 of 3
Are there results about the existence of lax and oplax limits and colimits in locally posetal categories (such as Pos and Rel)? I would for example imagine that all those limits exist in Pos. But what about, for example, the category of locales or the one of topological spaces, with their canonical 2-cells?
Also, are there lax/oplax analogues of the facts that right adjoint preserve colimits, that monadic functors create them, and so on? Which results carry over?
If this has been done, does anyone of you know where I can find this? (Is all of this obvious?)
Lax and oplax limits in 2-categories (including (2,1)-categories) are actually special cases of weighted limits; see 2-limit#lax. Therefore, all of enriched category theory applies to them, in particular:
And so on.
The existence of lax and colax (and other weighted) limits and colimits in particular other examples like $Rel$, $Loc$, and $Top$ is a rather different kind of question. I believe $Loc$ is $Pos$-enriched complete and cocomplete, because its opposite $Frm$ is essentially a category of infinitary algebras. I am not sure about $Top$; the category of sober spaces is coreflective in $Loc$ and so probably inherits limits (although one would have to check that the adjunction is enriched), but for arbitrary spaces I’m not sure, although I wouldn’t be surprised if it had them. However, $Rel$ doesn’t I think have very many limits and colimits, although it sits inside $Pos$-$Prof$ which has rather more (e.g. collages therein are a lax colimit).
Thank you, this is really helpful!
1 to 3 of 3