Logical manifestations of topological concepts, and other things, via the univalent point of view.
type-theory
agda
ordinal
homotopy-type-theory
univalent-foundations
constructive-mathematics
compact-type
totally-separated-type
injective-type
searchable-set
univalent-mathematics
-
Updated
Sep 5, 2024 - Agda