Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber101.
   • CommentAuthorUrs
   • CommentTimeApr 29th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded publication data for this item: * [[Ross Street]], *Monoidal categories in, and linking, geometry and algebra*, Bull. Belg. Math. Soc. Simon Stevin **19** 5 (2012) 769-820 &lbrack;[arXiv:1201.2991](https://arxiv.org/abs/1201.2991), [doi:10.36045/bbms/1354031551](https://projecteuclid.org/journals/bulletin-of-the-belgian-mathematical-society-simon-stevin/volume-19/issue-5/Monoidal-categories-in-and-linking-geometry-and-algebra/10.36045/bbms/1354031551.full)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/monoidal+category/150">diff</a>, <a href="https://ncatlab.org/nlab/revision/monoidal+category/150">v150</a>, <a href="https://ncatlab.org/nlab/show/monoidal+category">current</a>

   added publication data for this item:

   • Ross Street, Monoidal categories in, and linking, geometry and algebra, Bull. Belg. Math. Soc. Simon Stevin 19 5 (2012) 769-820 [arXiv:1201.2991, doi:10.36045/bbms/1354031551]

   diff, v150, current

2. • CommentRowNumber102.
   • CommentAuthorUrs
   • CommentTimeJun 4th 2023
   • (edited Jun 4th 2023)
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Saunders MacLane]], Section VII.1 of: _[[Categories for the Working Mathematician]]_, Graduate texts in mathematics, Springer (1971, second ed. 1997) &lbrack;[doi:10.1007/978-1-4757-4721-8](https://link.springer.com/book/10.1007/978-1-4757-4721-8)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/monoidal+category/154">diff</a>, <a href="https://ncatlab.org/nlab/revision/monoidal+category/154">v154</a>, <a href="https://ncatlab.org/nlab/show/monoidal+category">current</a>

   added pointer to:

   • Saunders MacLane, Section VII.1 of: Categories for the Working Mathematician, Graduate texts in mathematics, Springer (1971, second ed. 1997) [doi:10.1007/978-1-4757-4721-8]

   diff, v154, current

3. • CommentRowNumber103.
   • CommentAuthornLab edit announcer
   • CommentTimeOct 18th 2023
   • PermaLink
   Author: nLab edit announcer
   Format: MarkdownItexthe change made removes the conditions (associativity and identities of morphisms) that are inherited directly from those of a category. naman <a href="https://ncatlab.org/nlab/revision/diff/monoidal+category/159">diff</a>, <a href="https://ncatlab.org/nlab/revision/monoidal+category/159">v159</a>, <a href="https://ncatlab.org/nlab/show/monoidal+category">current</a>

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

   naman

   diff, v159, current

4. • CommentRowNumber104.
   • CommentAuthorUrs
   • CommentTimeOct 18th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexNaman, I don't see what is gained by your edit ([here](https://ncatlab.org/nlab/revision/diff/monoidal+category/159#strict_monoidal_categories)): *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.

   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.

5. • CommentRowNumber105.
   • CommentAuthorJ-B Vienney
   • CommentTimeOct 18th 2023
   • (edited Oct 18th 2023)
   • PermaLink
   Author: J-B Vienney
   Format: MarkdownItexNaman: 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. <a href="https://ncatlab.org/nlab/revision/diff/monoidal+category/160">diff</a>, <a href="https://ncatlab.org/nlab/revision/monoidal+category/160">v160</a>, <a href="https://ncatlab.org/nlab/show/monoidal+category">current</a>

   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