Coherence in closed categories (Q2544617): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0022-4049(71)90013-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1985063546
@@ Property / OpenAlex ID: W1985063546 / rank @@
+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 @@
+Functors between tensored categories
@@ Property / cites work: Functors between tensored categories / rank @@
+Normal rank
@@ Property / cites work @@
+On MacLane's conditions for coherence of natural associativities, commutativities, etc
+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 @@
+Coherence of adjoints, associativities, and identities
+Normal rank
@@ Property / cites work @@
+Q5655527
@@ Property / cites work: Q5655527 / rank @@
+Normal rank