Model structures on categories of models of type theories
From MaRDI portal
Publication:4961720
DOI10.1017/S0960129517000202zbMath1478.03084arXiv1607.07407OpenAlexW2963249536MaRDI QIDQ4961720
Publication date: 25 October 2018
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1607.07407
Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Type theory (03B38)
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Partial Horn logic and Cartesian categories
- Generalized algebraic theories and contextual categories
- The Local Universes Model
- The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories
- Invariance de laK-Théorie par équivalences dérivées
- Internal type theory
- Homotopy limits in type theory
- Univalence for inverse diagrams and homotopy canonicity
This page was built for publication: Model structures on categories of models of type theories