Both my definition and description of properties of regular funcoids were erroneous. (The definition was not compatible with the customary definition of regular topological spaces due an error in the definition, and its properties included mathematical errors.)

I have rewritten the erroneous section of my book.

Now it is shown that being regular for a funcoid $f$ is equivalent to each of the following formulas:

1. $\mathrm{Compl}\,(f \circ f^{-1} \circ f) \sqsubseteq \mathrm{Compl}\,f$.
2. $\mathrm{Compl}\,(f \circ f^{-1} \circ f) \sqsubseteq f$.

These formulas seem not being an example of math beautify. So I suspect that the traditional definition of regular topospaces should be amended (or rather not to produce a terminology conflict, replaced with an other algebraically more elegant concept).

Today I’ve took the bold decision to put my math research book online free (under Creative Commons license), with LaTeX source available for editing by anyone at a Git hosting.

Because of conflict of licensing, it seems not that my book will be never published officially.

However publishing in Git has some advantages:

1. If I want to add to the books something new, it is easy; no need for official edition-2.
2. It is easy to correct errors as soon as they are found and reported.

In previous post I stated that pointfree reloids can be defined as filters on pointfree funcoids.

Now I suggest also an alternative definition of pointfree reloids: Pointfree reloids can be defined as filters on products $\mathrm{atoms}\,\mathfrak{A} \times \mathrm{atoms}\,\mathfrak{B}$ of atoms of posets $\mathfrak{A}$ and $\mathfrak{B}$.

In the case if $\mathfrak{A}$ and $\mathfrak{B}$ are powerset lattices, this definition coincides with the definition of reloids (and with the definition of pointfree reloids given in the previous post).

After I defined pointfree funcoids which generalize funcoids (see my draft book) I sought for pointfree reloids (a suitable generalization of reloids, see my book) long time.

Today I have finally discovered pointfree reloids. The idea is as follows:

Funcoids between sets $A$ and $B$ denoted $\mathsf{FCD}(A;B)$ are essentially the same as pointfree funcoids $\mathsf{pFCD}(\mathfrak{F}(A);\mathfrak{F}(B))$ (where $\mathfrak{F}(A)$ denotes filters on a set $A$).

Reloids between sets $A$ and $B$ denoted $\mathsf{RLD}(A;B)$ are essentially the same as filters $\mathfrak{F}(\mathbf{Rel}(A;B))$ (where $\mathbf{Rel}$ is the category of binary relations between sets.)

But, as I’ve recently discovered (see my book), $\mathbf{Rel}(A;B)$ is essentially the same as $\mathsf{pFCD}(\mathscr{P}A;\mathscr{P}B)$. So $\mathsf{RLD}(A;B) = \mathfrak{F}(\mathbf{pFCD}(\mathscr{P}A;\mathscr{P}B))$.

This way (for every posets $\mathfrak{A}$, $\mathfrak{A}$) $\mathfrak{F}\mathbf{pFCD}(\mathscr{A};\mathscr{B})$ corresponds to $\mathbf{pFCD}(\mathfrak{F}(\mathscr{A});\mathfrak{F}(\mathscr{B}))$ in the same way as $\mathsf{RLD}(A;B)$ corresponds to $\mathsf{FCD}(A;B)$. In other words, $\mathfrak{F}\mathbf{pFCD}(\mathscr{A};\mathscr{B})$ are the pointfree reloids corresponding to pointfree funcoids $\mathbf{pFCD}(\mathfrak{F}(\mathscr{A});\mathfrak{F}(\mathscr{B}))$.

Yeah!

After this Math.StackExchange question I have proved that binary relations are essentially the same as pointfree funcoids between powersets.

Full proof is available in my draft book.

The most interesting aspect of this is that is that we can construct filtrator with core being pointfree funcoids from $\mathfrak{A}$ to $\mathfrak{B}$ for every poset of pointfree funcoids between filters on $\mathfrak{A}$ and filters on $\mathfrak{B}$, by analogy with the filtrator of funcoids whose core is a set of binary relations (the same as a pointfree funcoids, by the above bijective correspondence). This way the theory of filtrators of funcoids generalizes for pointfree funcoids.

By the way, this bijective correspondence is a functor.

I wrote a section on ideals, free stars, and mixers in my book.

Now free stars (among with ideals and mixers) are studied as first class objects, being shown isomorphic to filters on posets.

In (not so far) future it should allow to extend our research of pointfree funcoids and staroids/multifuncoids, using now comprehensive theory of free stars (as now we know that they are isomorphic to filters and so their properties are quite clear).

See the development version of my book.

Previously I wrote my research monograph with TeXmacs word processors.

TeXmacs is a very good program. However annoying bugs of TeXmacs (incorrect file “saved” status, failure to work well when multiple windows with the same document are opened, etc.) and also its slowness when working with a long (300 pages) document, forced me to switch to another software.

So I have rewritten my draft book with LyX word processor (based on LaTeX).

There are also small changes which I accomplished due rewriting:

1. notatiton change $0 \rightarrow \bot$ and $1 \rightarrow \top$ for the least and the greatest element of a poset
2. notatiton change $\langle f \rangle X \rightarrow \langle f \rangle^\ast X$ for applying a function $f$ to a set $X$; $X \mathrel{[f]} Y \rightarrow X \mathrel{[f]^\ast} Y$ for existence of a point $(x;y)\in X\times Y$ such that $x \mathrel{f} y$.
3. other small changes

Now I am going to start the boring process of checking if I rewrite the book correctly, paragraph by pragraph.