The identity type weak factorisation system (Q959823): Difference between revisions

@@ Property / cites work @@
+Fibrations and geometric realizations
@@ Property / cites work: Fibrations and geometric realizations / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy theoretic models of identity types
@@ Property / cites work: Homotopy theoretic models of identity types / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional monad theory
@@ Property / cites work: Two-dimensional monad theory / rank @@
+Normal rank
@@ Property / cites work @@
+Constructions of factorization systems in categories
+Normal rank
@@ Property / cites work @@
+Generalized algebraic theories and contextual categories
+Normal rank
@@ Property / cites work @@
+Telescopic mappings in typed lambda calculus
@@ Property / cites work: Telescopic mappings in typed lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Internal type theory
@@ Property / cites work: Internal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474857
@@ Property / cites work: Q4474857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225149
@@ Property / cites work: Q4225149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247303
@@ Property / cites work: Q4247303 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220599
@@ Property / cites work: Q4220599 / 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 @@
+Strong stacks and classifying spaces
@@ Property / cites work: Strong stacks and classifying spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy-theoretic aspects of 2-monads
@@ Property / cites work: Homotopy-theoretic aspects of 2-monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Modular correspondence between dependent type theories and categories including pretopoi and topoi
+Normal rank
@@ Property / cites work @@
+Q4255482
@@ Property / cites work: Q4255482 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Lax factorization algebras
@@ Property / cites work: Lax factorization algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5606586
@@ Property / cites work: Q5606586 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed categories and type theory
+Normal rank
@@ Property / cites work @@
+Q4092156
@@ Property / cites work: Q4092156 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4243759
@@ Property / cites work: Q4243759 / rank @@
+Normal rank