I recently discovered what I call subatomic product of funcoids. Today I proved a simple theorem about subatomic product: Theorem $latex \prod^{\left( A \right)}_{i \in n} \left( g_i \circ f_i \right) = \prod^{\left( A \right)} g \circ \prod^{\left( A \right)} f$ for…
read moreI’ve discovered a new kind of product of funcoids, which I call subatomic product. Definition Let $latex f : A_0 \rightarrow A_1$ and $latex g : B_0 \rightarrow B_1$ are funcoids. Then $latex f \times^{\left( A \right)} g$ (subatomic product) is a…
read moreI’ve uploaded a little errata for Filters on Posets and Generalizations article published in IJPAM.
read moreI propose the following way to introduce filters on sets to beginning students. (I am writing a book which contains this intro now.) You are welcomed to comment whether this is a good exposition and how to make it even better. We…
read moreI am attempting to define direct products in the category cont(mepfFcd) (the category of monovalued, entirely defined continuous pointfree funcoids), see this draft article for a definition of this category. A direct product of objects may possibly be defined as the cross-composition…
read moreI started to write a new article Categories related with funcoids. It is now a very preliminary partial draft.
read moreFrom this Math.SE post: It would be helpful to have a standard term XXX for “a category without the requirement of Hom-sets to be disjoint” and “category got from XXX by adding source and destination object to every morphism”. This would greatly…
read moreThe following is an important question related with categories related with funcoids: Question Is every isomorphisms of the category of funcoids a discrete funcoid?
read moreIn my draft article Multifuncoids there was a serious error. I defined funcoidal product wrongly. Now a new version of the article (with corrected error) is online.
read more