6 citations · 14 across the 8 of their papers we have counts for
Showing 2018 · math.CTShow all
2 papers · 2 filters
math.CT2018
Contextually indexed contextual categories
Valery Isaev
In this paper, we define a generalization of indexed categories and contextual categories which we call contextually indexed (contextual) categories. While contextual categories ar…
math.CT2018★ 3 cited
Indexed type theories
Valery Isaev
In this paper, we define indexed type theories which are related to indexed (-)categories in the same way as (homotopy) type theories are related to (-)categories.…