My article was accepted for publication in European Journal of Pure and Applied Mathematics, but it didn’t compile with their LaTeX templates. After waiting a reasonable time until they would tackle the problem, I have withdrawn my article and sent it to another journal.

I would search for the bug in their LaTeX template myself, but I was a great LaTeX expert in the past, I have forgotten much of LaTeX tricks, as now I use TeXmacs to write my manuscript, I convert them to simple LaTeX only to send it to a publisher. So I have chosen not to attempt to resolve the problem with LaTeX but just to send it to an other journal.

I’ve introduced another version of cross-composition of funcoids. This forms a category with star-morphisms. It is conjectured that this category is quasi-invertible, because I have failed to prove it.

This should be included in the next version of my book.

A mathematician named Todd Trimble has helped me to prove that the set of funcoids between two given sets (and more generally certain pointfree funcoids) is always a co-frame. (I knew this for funcoids but my proof required axiom of choice, while Todd’s does not require axiom of choice.)

He initially published his proof here but because his proof relies on advanced category theory I didn’t understood his proof. However Todd was so kind that he preserved me a longer more elementary version of the proof in email correspondence.

I wrote my own version of this proof in this short article which I am going to incorporate into my book.

This my proof needs some revision. Possibly I confused just join-semilattices and join-semilattices with least element are confused with each other.

I’ve found today earlier stated conjecture that lattices $\mathrm{Compl}\mathsf{FCD}(A;B)$ and $\mathrm{Compl}\mathsf{RLD}(A;B)$ are co-brouwerian.

Exercise: Prove this fact.

I’ve proved the following conjecture:

Theorem Let $f$ be a staroid such that $(\mathrm{form}\, f)_i$ is an atomic lattice for
each $i \in \mathrm{arity}\, f$. We have

$\displaystyle L \in \mathrm{GR}\, f \Leftrightarrow \mathrm{GR}\, f \cap \prod_{i \in \mathrm{dom}\, \mathfrak{A}} \mathrm{atoms}\, L_i \neq \emptyset$

for every $L \in \prod_{i \in \mathrm{arity}\, f} (\mathrm{form}\, f)_i$ (where upgrading is taken on the primary filtrator).

The proof is based on transfinite recursion. See this online article for the proof.

The above proof was with an error. Now there is a counter-example in the same article.

Let $\mathfrak{A}$ be an indexed family of sets.

Products are $\prod A$ for $A \in \prod \mathfrak{A}$.

Hyperfuncoids are filters $\mathfrak{F} \Gamma$ on the lattice $\Gamma$ of all finite unions of products.

Problem
Is $\bigsqcap^{\mathsf{FCD}}$ a bijection from hyperfuncoids $\mathfrak{F} \Gamma$ to:

1. prestaroids on $\mathfrak{A}$;
2. staroids on $\mathfrak{A}$;
3. completary staroids on $\mathfrak{A}$?

If yes, is $\mathrm{up}^{\Gamma}$ defining the inverse bijection?

If not, characterize the image of the function $\bigsqcap^{\mathsf{FCD}}$ defined on $\mathfrak{F} \Gamma$.

I have completed preliminary error checking for my online article Funcoids are Filters.