Dependent Optics (Q6150150): Difference between revisions

@@ Property / cites work @@
+Introduction to bicategories
@@ Property / cites work: Introduction to bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to extensive and distributive categories
+Normal rank
@@ Property / cites work @@
+Compositional Game Theory
@@ Property / cites work: Compositional Game Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Lenses, fibrations and universal translations
@@ Property / cites work: Lenses, fibrations and universal translations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+A 2-Categories Companion
@@ Property / cites work: A 2-Categories Companion / rank @@
+Normal rank
@@ Property / cites work @@
+Adhesive and quasiadhesive categories
@@ Property / cites work: Adhesive and quasiadhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal Grothendieck construction
@@ Property / cites work: Monoidal Grothendieck construction / rank @@
+Normal rank