Latent Fibrations: Fibrations for Categories of Partial Maps (Q5004679): Difference between revisions

@@ Property / cites work @@
+A model of cooperative threads
@@ Property / cites work: A model of cooperative threads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4119356
@@ Property / cites work: Q4119356 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3552029
@@ Property / cites work: Q3552029 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential restriction categories
@@ Property / cites work: Differential restriction categories / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories. I: Categories of partial maps
+Normal rank
@@ Property / cites work @@
+Differential structure, tangent structure, and SDG
+Normal rank
@@ Property / cites work @@
+Q2919772
@@ Property / cites work: Q2919772 / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories III: colimits, partial limits and extensivity
+Normal rank
@@ Property / cites work @@
+Q5874204
@@ Property / cites work: Q5874204 / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories as enriched categories
@@ Property / cites work: Restriction categories as enriched categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2919773
@@ Property / cites work: Q2919773 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical semantics of a simple differential programming language
+Normal rank
@@ Property / cites work @@
+Cocompletion of restriction categories
@@ Property / cites work: Cocompletion of restriction categories / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type 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 @@
+Categorical notions of fibration
@@ Property / cites work: Categorical notions of fibration / rank @@
+Normal rank
@@ Property / cites work @@
+Q4092156
@@ Property / cites work: Q4092156 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5019680
@@ Property / cites work: Q5019680 / rank @@
+Normal rank