3 papers
math.GN2021
Synthetic Topology and Constructive Metric Spaces
Davorin Lešnik
The thesis presents the subject of synthetic topology, especially with relation to metric spaces. A model of synthetic topology is a categorical model in which objects possess an i…
math.GM2014
Unified Approach to Real Numbers in Various Mathematical Settings
Davorin Lešnik
We provide a setting-independent definition of reals by introducing the notion of a streak. We show that various standard constructions of reals satisfy our definition. We study th…
math.MG2012
Continuity and Algebraic Structure of the Urysohn space
Davorin Lešnik
The Urysohn space is a complete separable metric space, universal among separable metric spaces for extending finite partial isometries into it. We present an alternative construct…