A Representation Theorem for Unique Decomposition Categories (Q3178284): Difference between revisions

@@ Property / cites work @@
+Geometry of Interaction and linear combinatory algebras
+Normal rank
@@ Property / cites work @@
+A reflection theorem for closed categories
@@ Property / cites work: A reflection theorem for closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4204146
@@ Property / cites work: Q4204146 / rank @@
+Normal rank
@@ Property / cites work @@
+Unique decomposition categories, Geometry of Interaction and combinatory logic
+Normal rank
@@ Property / cites work @@
+A categorical model for the geometry of interaction
+Normal rank
@@ Property / cites work @@
+Towards a typed Geometry of Interaction
@@ Property / cites work: Towards a typed Geometry of Interaction / rank @@
+Normal rank
@@ Property / cites work @@
+A Representation Theorem for Unique Decomposition Categories
+Normal rank
@@ Property / cites work @@
+Finite products are biproducts in a compact closed category
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4679165
@@ Property / cites work: Q4679165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Partially traced categories
@@ Property / cites work: Partially traced categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735051
@@ Property / cites work: Q3735051 / rank @@
+Normal rank