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

nLab: typo: traced monoidal category

Bottom of Page

1 to 2 of 2

  1.  
    • CommentRowNumber1.
    • CommentAuthorgtall
    • CommentTime2 days ago
    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
    • CommentTime1 day ago

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

1 to 2 of 2

  1.