1 citations
- Centre National de la Recherche ScientifiqueFR3 papers
- University of BirminghamGB2 papers
- University of OxfordGB2 papers
- Aalborg UniversityDK1 paper
- Aarhus UniversityDK1 paper
- Bar-Ilan UniversityIL1 paper
- Chalmers University of TechnologySE1 paper
- École Normale Supérieure de RennesFR1 paper
- Film IndependentUS1 paper
- IMDEA Software InstituteES1 paper
- Institut de Recherche en Informatique FondamentaleFR1 paper
- Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"IT1 paper
Showing math.CTShow all
2 papers · 1 filter
math.CT2026
Hofmann-Streicher lifting of fibred categories
Andrew Slattery, Jonathan Sterling
In 1997, Hofmann and Streicher introduced an explicit construction to lift a Grothendieck universe from the category of sets into the category of set-valued presheaves on a small c…
math.CT2026
Homotopy type theory as a language for diagrams of -logoses
Taichi Uemura
We show that certain diagrams of -logoses are reconstructed in homotopy type theory extended with some lex, accessible modalities, which enables us to use plain homotopy ty…