I have researched relations between directed topological spaces and pair of funcoids. Here the first funcoid represents topology and the second one represents direction. Results are mainly negative: Not every directed topological space can be represented as a pair of funcoids. Different…

read more

Consider funcoid $latex \mathrm{id}^{\mathsf{FCD}}_{\Omega}$ (restricted identity funcoids on Frechet filter on some infinite set). Naturally $latex 1\in\mathrm{up}\, \mathrm{id}^{\mathsf{FCD}}_{\Omega}$ (where $latex 1$ is the identity morphism). But it also holds $latex \top^{\mathsf{FCD}}\setminus 1\in\mathrm{up}\, \mathrm{id}^{\mathsf{FCD}}_{\Omega}$ (where $latex 1$ is the identity morphism). This result…

read more

First a prelude: Taras Banakh, Alex Ravsky¬†“Each regular paratopological group is completely regular” solved a 60 year old open problem. Taras Banakh introduces what he call normal uniformities (don’t confuse with normal topologies). My new result, proved with advanced funcoids theory (and…

read more