Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorPaoloPerrone
    • CommentTimeJul 2nd 2019

    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?)

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeJul 4th 2019

    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:

    1. Because PosPos is a complete and cocomplete closed monoidal category, it has all PosPos-weighted limits and colimits, hence a fortiori all lax and colax ones.
    2. PosPos-enriched right adjoints preserve weighted limits, hence a fortiori lax and colax ones.
    3. Similarly, PosPos-enriched monadic functors create weighted limits, hence a fortiori lax and colax ones.

    And so on.

    The existence of lax and colax (and other weighted) limits and colimits in particular other examples like RelRel, LocLoc, and TopTop is a rather different kind of question. I believe LocLoc is PosPos-enriched complete and cocomplete, because its opposite FrmFrm is essentially a category of infinitary algebras. I am not sure about TopTop; the category of sober spaces is coreflective in LocLoc 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, RelRel doesn’t I think have very many limits and colimits, although it sits inside PosPos-ProfProf which has rather more (e.g. collages therein are a lax colimit).

    • CommentRowNumber3.
    • CommentAuthorPaoloPerrone
    • CommentTimeJul 5th 2019

    Thank you, this is really helpful!