A characterisation of elementary fibrations
From MaRDI portal
Publication:2131276
DOI10.1016/j.apal.2022.103103zbMath1492.18008arXiv2007.16180OpenAlexW4213014474MaRDI QIDQ2131276
Fabio Pasquali, Giuseppe Rosolini, Jacopo Emmenegger
Publication date: 25 April 2022
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2007.16180
Categorical logic, topoi (03G30) Fibered categories (18D30) Categorical semantics of formal languages (18C50) Internal categories and groupoids (18D40) Structured objects in a category (group objects, etc.) (18C40) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quotient completion for the foundation of constructive mathematics
- Algebraic weak factorisation systems. I: Accessible AWFS.
- The identity type weak factorisation system
- Classification theory and the number of non-isomorphic models.
- Categorical logic and type theory
- Exact completion of path categories and algebraic set theory. I: Exact completion of path categories
- The Frobenius condition, right properness, and uniform fibrations
- The simplicial model of univalent foundations (after Voevodsky)
- Elementary doctrines as coalgebras
- Homotopical algebra
- Elementary quotient completion
- Topological and Simplicial Models of Identity Types
- Une théorie de Galois imaginaire
- Homotopy theoretic models of identity types
- Adjointness in Foundations
- Path Categories and Propositional Identity Types
- Homotopy Type Theory: Univalent Foundations of Mathematics
- Univalence for inverse diagrams and homotopy canonicity
- Understanding the small object argument
This page was built for publication: A characterisation of elementary fibrations
