Showing 2024Show all
2 papers · 1 filter
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.LO2024
(Co)condition hits the Path
Tesla Zhang, Valery Isaev
We propose an enhancement to inductive types and records in a dependent type theory, namely (co)conditions. With a primitive interval type, conditions generalize the cubical syntax…