Factorization systems and fibrations (Q2842821): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott.
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+From Varieties of Algebras to Covarieties of Coalgebras
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111746
@@ Property / cites work: Q4111746 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314472
@@ Property / cites work: Q4314472 / rank @@
+Normal rank
@@ Property / cites work @@
+Covarieties and complete covarieties
@@ Property / cites work: Covarieties and complete covarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Equational and implicational classes of coalgebras
+Normal rank
@@ Property / cites work @@
+Modal Operators for Coequations
@@ Property / cites work: Modal Operators for Coequations / rank @@
+Normal rank
@@ Property / cites work @@
+Some Co-Birkhoff Type Theorems
@@ Property / cites work: Some Co-Birkhoff Type Theorems / 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 @@
+Modal Predicates and Coequations
@@ Property / cites work: Modal Predicates and Coequations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4533390
@@ Property / cites work: Q4533390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329244
@@ Property / cites work: Q4329244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2979929
@@ Property / cites work: Q2979929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3958640
@@ Property / cites work: Q3958640 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4877444
@@ Property / cites work: Q4877444 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational axiomatizability for coalgebra
@@ Property / cites work: Equational axiomatizability for coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002149
@@ Property / cites work: Q4002149 / rank @@
+Normal rank