6 citations · 14 across the 8 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
math.CT2016★ 2 cited
Model category of marked objects
Valery Isaev
For every functor , where is a small category and is a model category which satisfies some mild hypotheses, we…
math.CT2016
Model Structures on Categories of Models of Type Theories
Valery Isaev
Models of dependent type theories are contextual categories with some additional structure. We prove that if a theory has enough structure, then the category $T\text{-}\mathbf{…
math.LO2016★ 6 cited
Algebraic Presentations of Dependent Type Theories
Valery Isaev
In this paper, we propose an abstract definition of dependent type theories as essentially algebraic theories. One of the main advantages of this definition is its composability: s…