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.
    • CommentAuthorgtall
    • CommentTimeNov 4th 2024
    In the page for Traced Monoidal Categories, I believe the types for the "tightening" axiom are a bit off. Specifically

    g:A→B, f:B⊗X→C⊗X, h:C→D

    should have the types for g and h swapped, or swap those arrows in the axiom. If you write out the commutative diagrams, this becomes apparent. I do not feel qualified to change any nLab pages myself.
    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeNov 5th 2024

    I have implemented that edit for you (see here).