6 citations · 14 across the 8 of their papers we have counts for
Showing 2016 · math.CTShow all
2 papers · 2 filters
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{…