![]() | This article was nominated for deletion on 16 July 2024. The result of the discussion was keep. |
![]() | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||
|
The notation is not explained. I think it should be explained as the linked page symmetric monoidal category uses a different notation.Bandanna (talk) 11:36, 23 May 2019 (UTC)
I don't know how to generate a diagram in png, but the first one should be corrected. There is \lambda_A but should be \lambda_{T A}. -- Good point. I have corrected this mistake.--IkamusumeFan (talk) 08:06, 14 November 2014 (UTC)
What are strong monads good for? This article doesn't say. Please, someone, give a theorem that justifies the definition. John Baez (talk) 12:00, 19 July 2009 (UTC)
I concur, should add something about how strong monads are strong lax monoidal functors wrt cartesian product, providing the appropriate tensorial strength, and so lead to a popular belief (in comp sci) that all monads are "applicative functors" (see, e.g. strictlypositive.org/IdiomLite.pdf Vlad Patryshev (talk) 01:50, 11 January 2012 (UTC)