Saunders Mac Lane Selected Papers 1979
DOI: 10.1007/978-1-4615-7831-4_19
|View full text |Cite
|
Sign up to set email alerts
|

Natural Associativity and Commutativity

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

2
431
0
5

Year Published

1988
1988
2019
2019

Publication Types

Select...
9
1

Relationship

0
10

Authors

Journals

citations
Cited by 301 publications
(438 citation statements)
references
References 4 publications
2
431
0
5
Order By: Relevance
“…As in the nonsymmetric case, the proposition is an immediate consequence of the coherence theorem, which for symmetric monoidal categories has first been proved in [Mac63].…”
Section: *-Autonomous Categoriesmentioning
confidence: 90%
“…As in the nonsymmetric case, the proposition is an immediate consequence of the coherence theorem, which for symmetric monoidal categories has first been proved in [Mac63].…”
Section: *-Autonomous Categoriesmentioning
confidence: 90%
“…The same notation is used in the 5th column of the table of Figure 6 which lists elements in the image ̟(lT 2 3 ).…”
Section: [March 6 2013]mentioning
confidence: 99%
“…Systems such as linear logic that do not obey all of the structural rules correspond to different categorical structures. These might, for example, be tensor products (⊗), which categorists understood long before they did predicate logic [ML63]. It is therefore often the syntax that requires the most innovation, for example using Jean-Yves Girard's proof nets [Gir87].…”
Section: 3mentioning
confidence: 99%