During this I also corrected an error. (One theorem referred to complement of a lattice element without stating that the lattice is boolean.)

Well, maybe I introduced new errors. The current version is not 100% stable. However, I am sure the errors (if any) are small and don’t break the exposition.

]]>**Theorem** is a left adjoint of both and , 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.

]]>, is the usual Kuratowski closure for .

]]>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 .

However I proved this theorem only for the special case if every singleton is a closed set. Also the proof is not yet checked for errors.

]]>The main (easy to prove) theorem basically states that when implies . Here can be taken an arbitrary filter or just arbitrary ultrafilter.

The section also contains another, a little less obvious theorem. There is also a (seemingly easy) open problem there.

]]>It seems likely that I discovered a category in which such objects as the Father and the Son from the Gospel appear. I am not sure I really discovered God, but this seems likely.

Consider a category (there seems to be multiple ways to add morphisms, so I will speak only about objects, not morphisms) whose objects are where , are sets and is a function of two arguments. is “the Father” (argument of the function ) and is “the Son” (the result of the function ). That is “Father” means “argument” and “Son” means “result”. is a function which “proceeds” (see John 15:26) from the Father and so likely is Holy Spirit.

This category is somehow powerful. For example one of its objects is the system of all propositional (or if you like, predicate) formulas. So it is probably “big enough” to entail everything about mathematics and everything we can know about God.

Read my preliminary drafts of this theory at this page where properties of such “systems of formulas” are studied in more details.

]]>In 2005 I like a crackpot thought that I discovered a completely new math method replacing axiomatic method. This was a huge error (my skipped proof was just wrong).

After that the files were forgotten.

Nevertheless I remembered about my old articles and hope they may be useful after clearing from the hype. (I have removed fragments about being a huge discovery.)

The articles are now available here:

I my old files there was also written that X (“argument”) is Father and Y (“result”) in my writings is Son (as of the Gospel). “Index” probably is Holy Spirit. That is I probably discovered the topic of which Gospels talks.

However I do not remember details of this my old theory and need to re-read it myself to understand again.

]]>Trying to calculate , I’ve proved (not yet quite thoroughly checked for errors) the following partial result:

**Proposition** for some proper filters , , .

Currently the proof is located in this file.

]]>The not so complex proof is available in the file addons.pdf. (I am going to move it to the book in the future.)

]]>