Start a new discussion

Not signed in

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

Site Tag Cloud

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

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeJan 19th 2021
• (edited Jan 19th 2021)

a bare sub-section, meant to be !include-ed into the Examples-sections of relevant entries, such as at monoidal category with diagonals, smash product and cup product