Just a few minutes ago I conceived a definition of generalized Fréchet filters with definition for every poset on which filters are considered (however, I have not yet calculated the class of posets for which generalized Fréchet filter is defined; it should…
read moreI’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.
read moreA 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…
read moreI’ve proved the following conjecture: Theorem Let $latex f$ be a staroid such that $latex (\mathrm{form}\, f)_i$ is an atomic lattice for each $latex i \in \mathrm{arity}\, f$. We have $latex \displaystyle L \in \mathrm{GR}\, f \Leftrightarrow \mathrm{GR}\, f \cap \prod_{i \in…
read moreWhile walking home from McDonalds I conceived the following idea how we can generalize reloids and funcoids. Let $latex C$ be a category with finite products, the set of objects of which is a complete lattice (for the case of funcoids as…
read moreWhen my book was already sent to a publisher, I decided to rewrite it. Here is my rewriting plan (what I am going to change in the book).
read moreI have corrected some errors in my book related to my definition of multifuncoids. The definition of multifuncoid was wrong and this triggered several errors along my book.
read moreAfter checking for errors I added (as a new chapter) materials of the article Identity staroids into my research monograph. I plan to “dissolve” this chapter, that is distribute its materials among other chapters and liquidate this chapter itself.
read moreI’ve mostly finished writing the article Identity Staroids which considers $latex n$-ary identity staroids (with possibly infinite $latex n$), which generalize $latex n$-ary identity relations and some related topics. (In my theory there are two kinds of identity staroids: big and small…
read moreI have rewritten my draft article Products in dagger categories with complete ordered Mor-sets. Now I denote the product of an indexed family $latex X$ of objects as $latex \prod^{(Q)} X$ (instead of old confusing $latex Z’$ and $latex Z”$ notation) and…
read more