I proved: Theorem $latex T$ is a left adjoint of both $latex F_{\star}$ and $latex F^{\star}$, with bijection which preserves the “function” part of the morphism. The details and the proof is available in the draft of second volume of my online book. The…

read moreAfter proposing this conjecture I quickly found a counterexample: $latex S = \left\{ (- a ; a) \mid a \in \mathbb{R}, 0 < a < 1 \right\}$, $latex f$ is the usual Kuratowski closure for $latex \mathbb{R}$.

read moreConjecture $latex \langle f \rangle \bigsqcup S = \bigsqcup_{\mathcal{X} \in S} \langle f \rangle \mathcal{X}$ if $latex S$ is a totally ordered (generalize for a filter base) set of filters (or at least set of sets).

read moreI started research of mappings between endofuncoids and topological spaces. Currently the draft is located in volume 2 draft of my online book. I define mappings back and forth between endofuncoids and topologies. The main result is a representation of an endofuncoid…

read moreI have added to my book section “Expressing limits as implications”. The main (easy to prove) theorem basically states that $latex \lim_{x\to\alpha} f(x) = \beta$ when $latex x\to\alpha$ implies $latex f(x)\to\beta$. Here $latex x$ can be taken an arbitrary filter or just…

read more