Type Theory and Homotopy (Q5253928): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1481038699
@@ Property / OpenAlex ID: W1481038699 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1810
@@ Property / arXiv ID: 1010.1810 / 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 @@
+Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
+Normal rank
@@ Property / cites work @@
+Q4896537
@@ Property / cites work: Q4896537 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructions of factorization systems in categories
+Normal rank
@@ Property / cites work @@
+From Groups to Groupoids: a Brief Survey
@@ Property / cites work: From Groups to Groupoids: a Brief Survey / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized algebraic theories and contextual categories
+Normal rank
@@ Property / cites work @@
+An \(\omega\)-category with all duals is an \(\omega\)-groupoid
+Normal rank
@@ Property / cites work @@
+Q4896538
@@ Property / cites work: Q4896538 / rank @@
+Normal rank
@@ Property / cites work @@
+Internal type theory
@@ Property / cites work: Internal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+The identity type weak factorisation system
@@ Property / cites work: The identity type weak factorisation system / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding the small object argument
@@ Property / cites work: Understanding the small object argument / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional models of type theory
@@ Property / cites work: Two-dimensional models of 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 @@
+Q3922646
@@ Property / cites work: Q3922646 / 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 @@
+Quasi-categories and Kan complexes
@@ Property / cites work: Quasi-categories and Kan complexes / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the Galois theory of Grothendieck
@@ Property / cites work: An extension of the Galois theory of Grothendieck / 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 @@
+Q3986540
@@ Property / cites work: Q3986540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768440
@@ Property / cites work: Q2768440 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3159161
@@ Property / cites work: Q3159161 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak ω-Categories from Intensional Type Theory
@@ Property / cites work: Weak ω-Categories from Intensional Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Higher Topos Theory (AM-170)
@@ Property / cites work: Higher Topos Theory (AM-170) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3886868
@@ Property / cites work: Q3886868 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247306
@@ Property / cites work: Q4247306 / rank @@
+Normal rank
@@ Property / cites work @@
+Wellfounded trees in categories
@@ Property / cites work: Wellfounded trees in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories, toposes and constructive set theory: Predicative aspects of AST
+Normal rank
@@ Property / cites work @@
+\(\mathbb{A}^1\)-homotopy theory of schemes
@@ Property / cites work: \(\mathbb{A}^1\)-homotopy theory of schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopical algebra
@@ Property / cites work: Homotopical algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic model structures
@@ Property / cites work: Algebraic model structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4214829
@@ Property / cites work: Q4214829 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed categories and type theory
+Normal rank
@@ Property / cites work @@
+The petit topos of globular sets
@@ Property / cites work: The petit topos of globular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286647
@@ Property / cites work: Q5286647 / rank @@
+Normal rank
@@ Property / cites work @@
+Types are weak <i>ω</i> -groupoids
@@ Property / cites work: Types are weak <i>ω</i> -groupoids / rank @@
+Normal rank
@@ Property / cites work @@
+Topological and Simplicial Models of Identity Types
+Normal rank