Connected limits, familial representability and Artin glueing (Q4882486): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Simply Connected Limits
@@ Property / cites work: Simply Connected Limits / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra objects and algebra families for finite limit theories
+Normal rank
@@ Property / cites work @@
+Exponentiable morphisms, partial products and pullback complements
+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 @@
+Artin glueing
@@ Property / cites work: Artin glueing / rank @@
+Normal rank
@@ Property / cites work @@
+Categories and Computer Science
@@ Property / cites work: Categories and Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Enriched categorical semantics for distributed calculi
+Normal rank
@@ Property / cites work @@
+Relatively free products in regular varieties
@@ Property / cites work: Relatively free products in regular varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Collapsed toposes and cartesian closed varieties
@@ Property / cites work: Collapsed toposes and cartesian closed varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphisms of \(\Omega\)
@@ Property / cites work: Automorphisms of \(\Omega\) / rank @@
+Normal rank
@@ Property / cites work @@
+The free category with products on a multigraph
@@ Property / cites work: The free category with products on a multigraph / rank @@
+Normal rank
@@ Property / cites work @@
+A note on context-free languages
@@ Property / cites work: A note on context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Limits indexed by category-valued 2-functors
@@ Property / cites work: Limits indexed by category-valued 2-functors / rank @@
+Normal rank
@@ Property / cites work @@
+Pullback preserving functors
@@ Property / cites work: Pullback preserving functors / rank @@
+Normal rank
@@ Property / cites work @@
+Metric spaces, generalized logic, and closed categories
+Normal rank