Proof of a conjecture of S. Mac Lane (Q1377606): Difference between revisions

@@ Property / author @@
+Serguei V. Solov'ev
@@ Property / author: Serguei V. Solov'ev / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+*-autonomous categories. With an appendix by Po-Hsiang Chu
+Normal rank
@@ Property / cites work @@
+A generalization of the functorial calculus
@@ Property / cites work: A generalization of the functorial calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586461
@@ Property / cites work: Q5586461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791120
@@ Property / cites work: Q3791120 / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of free closed categories
@@ Property / cites work: The structure of free closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence in category theory and the Church-Rosser property
+Normal rank
@@ Property / cites work @@
+Q5654208
@@ Property / cites work: Q5654208 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence in closed categories
@@ Property / cites work: Coherence in closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Deductive systems and categories
@@ Property / cites work: Deductive systems and categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595187
@@ Property / cites work: Q5595187 / rank @@
+Normal rank
@@ Property / cites work @@
+Topology and logic as a source of algebra
@@ Property / cites work: Topology and logic as a source of algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Closed categories and the theory of proofs
@@ Property / cites work: Closed categories and the theory of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+The category of finite sets and Cartesian closed categories
+Normal rank
@@ Property / cites work @@
+On the conditions of full coherence in closed categories
+Normal rank
@@ Property / cites work @@
+Completeness, invariance and <i>λ</i>-definability
+Normal rank
@@ Property / cites work @@
+Algebra of proofs
@@ Property / cites work: Algebra of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence and non-commutative diagrams in closed categories
+Normal rank