New Edition of the Book “Algebraic General Topology. Book 1: Basics”
I’ve published a new edition of my book Algebraic General Topology. The new edition features “unfixed morphisms” a way to turn a category into a semigroup. (Certain additional structure on the category is needed.) The book features a wide generalization of general topology done in an algebraic way. Now we can operate on general topological […]
New results about categories with restricted identities
I have rewritten the section “More results on restricted identities” of this draft. Now it contains some new (easy but important) formulas.
New concept in category theory: “unfixed morphisms”
I have developed my little addition to category theory, definition and research of properties of unfixed morphisms. Unfixed morphisms is a tool for turning a category (with certain extra structure) into a semigroup, that is abstracting away objects. Currently this research is available in this draft. I am going to rewrite my online book using […]
Removed some sections from my draft
I removed from my draft sections about “categories under Rel”. The removal happened because I developed a more general and more beautiful theory. The old version is preserved in Git history.
Restricted identity axioms changed
I announced that I have introduces axioms for “restricted identities”, a structure on a category which allows to turn the category into a semigroup (abstracting away objects). But I noticed that these axioms do not fit into concrete examples which I am going to research. So I have rewritten the text about restricted identities with […]
Categories with restricted identities
In this draft (to be moved into the online book in the future, but the draft is nearing finishing this topic, not including functors between categories with restricted identities) I described axioms and properties of categories with restricted identities. Basically, a category with restricted identities is a category $latex \mathcal{C}$ together with morphisms $latex \mathrm{id}^{\mathcal{C}(A,B)}_X$ […]
Math volunteer job
I welcome you to the following math research volunteer job: Participate in writing my math research book (volumes 1 and 2), a groundbreaking general topology research published in the form of a freely downloadable book: implement existing ideas, propose new ideas develop new theories solve open problems write and rewrite the book and other files […]
A theorem with a diagram about unfixed filters
I’ve added to my book a theorem with a triangular diagram of isomorphisms about representing filters on a set as unfixed filters or as filters on the poset of all small (belonging to a Grothendieck universe) sets. The theorem is in the subsection “The diagram for unfixed filters”.
I proved that certain functors between topological spaces and endofuncoid are adjoint
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 proof is not yet enough checked for errors.
Mappings between endofuncoids and topological spaces
I 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 induced by a topological space. The formula is $latex f\mapsto 1\sqcup\mathrm{Compl}\, f\sqcup(\mathrm{Compl}\, f)^2\sqcup […]