There is an error in recently added section “Equivalent filters and rebase of filters” of my math book. I uploaded a new version of the book with red font error notice. The error seems not to be serious, however. I think all…
read moreI have proved that \mathscr{S} is an order isomorphism from the poset of unfixed filters to the poset of filters on the poset of small sets. This reveals the importance of the poset of filters on the poset of small sets. See the…
read moreI have added to my book, section “Equivalent filters and rebase of filters” some new results. Particularly I added “Rebase of unfixed filters” subsection. It remains to research the properties of the lattice of unfixed filters.
read moreEquivalence of filters can be described in terms of the lattice of filters on the poset of small sets. See new subsection “Embedding into the lattice of filters on small” in my book.
read moreI defined partial order on the set of unfixed filters and researched basic properties of this poset. Also some minor results about equivalence of filters. See my book.
read moreI added a few new propositions into “Equivalent filters and rebase of filters” section (now located in the chapter “Filters and filtrators”) of my book. I also define “unfixed filters” as the equivalence classes of (small) filters on sets. This is a…
read moreI’ve added a new section “Double filtrators” to the book “Algebraic General Topology. Volume 1”. I show that it’s possible to describe $latex (\mathsf{FCD})$, $latex (\mathsf{RLD})_{\mathrm{out}}$, and $latex (\mathsf{RLD})_{\mathrm{in}}$ entirely in terms of filtrators (order). This seems not to lead to really interesting…
read moreI have added a new easy (but unnoticed before) theorem to my book: Proposition $latex (\mathsf{RLD})_{\mathrm{out}} f\sqcup (\mathsf{RLD})_{\mathrm{out}} g = (\mathsf{RLD})_{\mathrm{out}}(f\sqcup g)$ for funcoids $latex f$, $latex g$.
read moreI am attempting to find the value of the node “other” in a diagram currently located at this file, chapter “Extending Galois connections between funcoids and reloids”. By definition $latex \mathrm{other} = \Phi_{\ast}(\mathsf{RLD})_{\mathrm{out}}$. A few minutes ago I’ve proved $latex (\Phi_{\ast}(\mathsf{RLD})_{\mathrm{out}})\bot = \Omega^{\mathsf{FCD}}$, that…
read moreI’ve added a new short chapter “Generalized Cofinite Filters” to my book.
read more