Talk:Monoidal category

message: For one sentence - perhaps three mistakes.
- The product in a monoidal category isn't a categorical product (no projection maps to factots, cf. tensor product).
- the associativity is only up to coherence maps.
- The identity object can't be called an identity element.
Charles Matthews 16:47, 1 Nov 2003 (UTC)

message: I have edited the article so that it at least (and at last!) gives a correct definition.
It's difficult to know where to stop: one could easily write a whole book about monoidal categories.
There should be some mention of monoidal functors and natural transformations. Actually they
probably need an article of their own! The brief allusion to braiding and symmetry should be
expanded into a proper definition. Monoidal closed (and compact closed, and star-autonomous)
categories deserve a look-in too. The connection with linear logic deserves to be explained.
Then what about premonoidal categories (in the sense of Power), and promonoidal categories?
The list goes on...
Still, this is a start.
--Puffinry 23:47, 7 Mar 2005 (UTC)
thread_title:  Attempted cleanup 

message: What is "tensor" in such a category? —Vivacissamamente 23:32, 24 April 2006 (UTC)
thread_title:  Free strict monoidal category 

message: In my last edit () I was bold and removed an poorly formatted table of diagrams comparing monoid objects in R-Mod and Set. For one thing, the table really belongs at monoid object, not here. Secondly, I don't think the table really adds anything (to this article or that one) since the diagrams are just copies of those shown at monoid object with trivial relabeling. -- Fropuff (talk) 07:10, 22 January 2008 (UTC)
thread_title:  Removed example table 

message: I haven't read very much of this yet, but: Is the idea just that it's a category in which a reasonable sort of tensor product of objects exists? Michael Hardy (talk) 01:35, 6 May 2008 (UTC)
replies: text: Oh.  OK.  I should have read beyond the intro section before asking this.  Well, as Emily Litella would say........... Michael Hardy (talk) 01:37, 6 May 2008 (UTC)
thread_title:  Just checking my understanding... 

message: Is there a definition of infinite tensor product? --VictorPorton (talk) 20:06, 19 September 2015 (UTC)
thread_title:  Infinite tensor product? 

message: I feel that everything in this article can be rewritten with use of n-ary monoidal product for arbitrary natural number n instead of binary tensor product.
If my idea is right, the alternative definitions should be described in details enough.
If it isn't, something should be said in the article on what is wrong with this.
--VictorPorton (talk) 20:27, 19 September 2015 (UTC)
thread_title:  <math>n</math>-ary tensor product for finite <math>n</math>? 

message: (A\otimes B)\otimes C and A\otimes(B\otimes C) are morphisms, but \alpha_{A,B,C} is a natural transformation and thus is defined between functors not between morphisms.
Isn't it a contradiction?
Please explain me my error. --VictorPorton (talk) 21:35, 19 September 2015 (UTC)
replies: text: Nope. The sentence says that the components are \alpha_{A,B,C} : (A \otimes B) \otimes C \leftrightarrow A \otimes (B \otimes C). This is shorthand for introducing two functors L, R : \mathbf{C} \times \mathbf{C} \times \mathbf{C} \to \mathbf{C} given by L \; (A, B, C) = (A \otimes B) \otimes C and R \; (A, B, C) = A \otimes (B \otimes C). Then the natural transformation is \alpha : L \to R, and its components are the \alpha_{A,B,C}. Wchargin (talk) 22:22, 18 March 2016 (UTC)
thread_title:  I misunderstand something 

message: I think it would be edifying to explain that any monoid can be regarded as a strict monoidal category by taking the discrete category on the elements then making tensor product the multiplication operation. More generally, to see a simple example of a monoidal category that is not strict is to regard a non-free monoid as a quotient of a free monoid. You get additional isomorphisms that correspond to two words being "equal" in the quotient.  — Preceding unsigned comment added by Ralth (talk • contribs) 23:17, 27 April 2017 (UTC)
thread_title:  The most basic examples that motivate the name are missing. 

message: A user is repeatedly putting links to a document titled "Maclane pentagon is some recursive square" with the apparent aim of promoting the author of that work, which is spam according to wikipedia guidelines. This is also happenitng to Coherence condition and Coherence theorem. Antonfire (talk) 07:26, 8 September 2017 (UTC)
thread_title:  Spam in reference 

message: Often on wikipedia we can read "tensor category", whereas the authors really mean "monoidal". There is not really a consensus, but usually people actually mean something with way more structure. For example abelian monoidal with exact tensor functor and stuff like that. So I think we should refrain - across all of Wikipedia - from using "tensor category", and instead use the un-ambiguous "monoidal category". 134.100.222.237 (talk) 09:38, 21 June 2018 (UTC)
thread_title:  Should we remove _tensor categories_ 

message: In the introduction, there is a vague, hand-wavy paragraph describing monoidal categories from the perspective of something completely random. Specifically the paragraph that begins as "A rather different application, of which monoidal categories can be considered an abstraction, is that of a system of data types..." I think it's fair to say that this is (1) irrelevant to the general idea of a monoidal category and (2) both confusing and very unhelpful for readers who are visiting this page.
Unless anyone has any objects. I would like to remove it, or alternatively push it down away from the introduction. Lltrujello (talk) 01:56, 28 November 2020 (UTC)
thread_title:  Some nonsense in the third paragraph in the introduction 

message: An editor has identified a potential problem with the redirect :Algebra/set analogy and has thus listed it for discussion. This discussion will occur at  until a consensus is reached, and readers of this page are welcome to contribute to the discussion.  Steel1943 (talk) 20:02, 6 January 2023 (UTC)
thread_title:  "Algebra/set analogy" listed at [[Wikipedia:Redirects for discussion|Redirects for discussion]]