3 papers
math.GN2024
A Constructive Approach to Complete Spaces
Valery Isaev
In this paper, we present a constructive generalization of metric and uniform spaces by introducing a new class of spaces, called cover spaces. These spaces form a topological conc…
cs.LO2020
Models of Homotopy Type Theory with an Interval Type
Valery Isaev
In this short note, we construct a class of models of an extension of homotopy type theory, which we call homotopy type theory with an interval type.
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…