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).
    • CommentRowNumber101.
    • CommentAuthorUrs
    • CommentTimeApr 29th 2023

    added publication data for this item:

    diff, v150, current

    • CommentRowNumber102.
    • CommentAuthorUrs
    • CommentTimeJun 4th 2023
    • (edited Jun 4th 2023)

    added pointer to:

    diff, v154, current

  1. the change made removes the conditions (associativity and identities of morphisms) that are inherited directly from those of a category.

    naman

    diff, v159, current

    • CommentRowNumber104.
    • CommentAuthorUrs
    • CommentTimeOct 18th 2023

    Naman, I don’t see what is gained by your edit (here):

    All of the properties listed there follow from the previous discussion, the point is, as it says, to make it “very explicit”.

    The lines you removed serve that purpose. At the very least, absolutely no harm is done by keeping them.

    I think they should be reinstantiated.

    • CommentRowNumber105.
    • CommentAuthorJ-B Vienney
    • CommentTimeOct 18th 2023
    • (edited Oct 18th 2023)

    Naman: the conditions are not inherited from the definition of a functor or a category, so I reinstantiated them. They are exactly the conditions for a monoidal category to be strict. Like it was after your edit, the explicit definition was no longer correct.

    diff, v160, current

    • CommentRowNumber106.
    • CommentAuthorUrs
    • CommentTimeJan 22nd 2024

    added pointer to:

    • Jean Bénabou, Les catégories multiplicatives, Séminaire de mathématiquepure pure 27, Université de Louvain (1972) [pdf]

    diff, v162, current

  2. Added result of endomorphism monoid of unit to be commutative.

    diff, v163, current