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.
    • CommentAuthorUrs
    • CommentTimeApr 22nd 2015
    • (edited Apr 22nd 2015)

    The entry unit of an adjunction had a big chunk of mixed itex+svg code at the beginning to display an adjunction. On my machine though the output of that code was ill typeset. So I have removed the code and replaced it by plain iTex encoding of an adjunction.

    (Just in case anyone deeply cares about the svg that was there. It’s still in the history. If it is preferred by anyone, it needs to be fixed first.)

    • CommentRowNumber2.
    • CommentAuthorvarkor
    • CommentTimeMar 30th 2020

    Mention that left adjoints are fully faithful iff the unit is invertible.

    diff, v13, current

    • CommentRowNumber3.
    • CommentAuthorvarkor
    • CommentTimeFeb 24th 2021

    Add mention of “lali” acronym, and duals. There might be a better page to have these (perhaps it’s even worth creating a separate page, since it would also be worth discussing their cancellation properties), but better somewhere than nowhere.

    diff, v14, current

    • CommentRowNumber4.
    • CommentAuthorvarkor
    • CommentTimeFeb 26th 2021

    Mention “front adjunction” and “back adjunction” terminology.

    diff, v15, current

    • CommentRowNumber5.
    • CommentAuthorvarkor
    • CommentTimeOct 12th 2021

    Add references to reflective and coreflective subcategories.

    diff, v17, current

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeOct 12th 2021

    Added pointer to this Prop. at adjoint functor where this statement is proven.

    diff, v18, current