Thin groupoids
Thin groupoid is an important but a heavily overlooked concept. When I did Google search for “thin groupid” (with quotes), I found just $latex {7}&fg=000000$ (seven) pages (and some of these pages were created by myself). It is very weird that such an important concept was overlooked by the mathematical community. By definition of thin […]
Todd Trimble’s commentary on my math research
Todd Trimble has notified me that he has written a “commentary” (notes) on my theory of funcoids presented in my monograph. His commentary is available at this nLab wiki page. I’ve started to read his notes. First I needed to lookup into Wikipedia to know what Chu space is. He uses category theory however as […]
Four sets equivalent to filters on a poset
In this short note I describe four sets (including the set of filters itself) which bijectively correspond to the set of filters on a poset. I raise the question: How to denote all these four posets and their principal elements? Please write to my email any ideas about this.
I thought it was stolen :-)
When I first saw topogenous relations at first I thought that my definition of funcoids was plagiarized (for some special case). But then I looked the year of publication. It was 1963, long before discovery of funcoids. Topogenous relations are a trivial generalization of funcoids. However, I doubt whether anyone (except of myself) has defined […]
Products in dagger categories – updated
I 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 the infimum product and supremum coproduct correspondingly as $latex \prod^{(L)} X$ and $latex […]
On a common generalization of funcoids and reloids
Just a few seconds ago I had an idea how to generalize both funcoids and reloids. Consider a precategory, whose objects are sets product $latex \times$ of filters on sets ranging in morphisms of this category operations $latex \mathrm{dom}$ and $latex \mathrm{im}$ from the morphisms of our precategory to filters on our objects (sets) This […]
Wiki to prove that certain categories are cartesian closed
I have announced that I have proved that Category of continuous maps between endofuncoids is cartesian closed. This was a fake alarm, my proof was with a crucial error. Now I have put the problem and some ideas how to prove it in a wiki. So I announce a new project akin to Polymath Project. […]
Category of continuous maps between endofuncoids is cartesian closed
I rough draft article I prove that the category of continuous maps between endofuncoids is cartesian closed. Whether the category of continuous maps between endoreloids is cartesian closed, is yet an open problem.
Changes to my article about products in certain categories
There are two changes in Products in dagger categories with complete ordered Mor-sets draft article: 1. I’ve removed the section on relation of subatomic product with categorical product saying that for funcoids they are the same. No, they are not the same. My claim that they are the same was false. 2. Added section “Special […]
A new proposition about infimum product
I’ve proved a new simple proposition about infimum product: Theorem Let $latex \pi^X_i$ be metamonovalued morphisms. If $latex S \in \mathscr{P} ( \mathsf{FCD} ( A_0 ; B_0) \times \mathsf{FCD} ( A_1 ; B_1))$ for some sets $latex A_0$, $latex B_0$, $latex A_1$, $latex B_1$ then $latex \bigsqcap \left\{ a \times b \,|\, ( a ; […]