Talk:Closed monoidal category

From Wikipedia, the free encyclopedia

Mathematics Portal

This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.

Mathematics rating:

Stub Class

Mid Priority

Field: Foundations, logic, and set theory

Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments.
Please add to or update the comments to suggest improvements to the article.
Geometry guy 01:19, 22 May 2007 (UTC)

Maybe Monoidal closed category is the more common term? Geometry guy 21:01, 14 May 2007 (UTC)

[edit] Notation

Does anyone have a reference for the notation used in this article? I'm suspicious of the notation $A\Leftarrow -$ for the right adjoint to $-\otimes A$ . In the case of Set this would make $A\Leftarrow B$ the set of functions from A to B!? It seems like $-\Leftarrow A$ would be better.

In any case, I would prefer to switch notation to that used in the reference by Kelly. He uses $[A, - ]$ for the right adjoint to $-\otimes A$ and $[\![A,-]\!]$ for the right adjoint to $A\otimes -$ . This notational appears to be slightly more common. It's also consistent with the notation used at closed category. Any thoughts? -- Fropuff (talk) 00:25, 15 February 2008 (UTC)

Talk:Closed monoidal category

From Wikipedia, the free encyclopedia

[edit] Notation

Views

Navigation

Interaction

Search