“Categories related with funcoids”, a new draft
I started to write a new article Categories related with funcoids. It is now a very preliminary partial draft.
Category without the requirement of Hom-sets to be disjoint
From 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 help to simplify at least 50% of routine definitions of particular categories. Why […]
Is every isomorphisms of the category of funcoids a discrete funcoid?
The following is an important question related with categories related with funcoids: Question Is every isomorphisms of the category of funcoids a discrete funcoid?
Error corrected
In 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.
I’ve solved two yesterday problems, one yet remains unsolved
I have solved the first two of these three open problems I proposed, but have no clue how to solve the third. (Actually, I’ve solved only a special case of the second problem, but that’s OK, this special case is enough for all practical needs.) The solutions are in this article. I asked about the […]
Three new conjectures
See here (especially this draft article) for definition of cross-composition product and quasi-cartesian functions. Conjecture 1 Cross-composition product (for small indexed families of relations) is a quasi-cartesian function (with injective aggregation) from the quasi-cartesian situation $latex {\mathfrak{S}_0}&fg=000000$ of binary relations to the quasi-cartesian situation $latex {\mathfrak{S}_1}&fg=000000$ of pointfree funcoids over posets with least elements. Conjecture […]
Abrupt categories induced by categories with star-morphisms
In this blog post I introduced the notion of category with star-morphisms, a generalization of categories which have aroused in my research. Each star category gives rise to a category (abrupt category, see a remark below why I call it “abrupt”), as described below. Below for simplicity I assume that the set $latex {M}&fg=000000$ and […]
Categories with star-morphisms, a generalization of categories
In my research aroused a new kind of structures which I call categories with star-morphisms. In this blog post I define categories with star-morphisms. For sample usages of star categories see this draft article. Definition 1 A pre-category with star-morphisms consists of a pre-category $latex {C}&fg=000000$ (the base pre-category); a set $latex {M}&fg=000000$ (star-morphisms); a […]
Multidimensional Funcoids – draft available
The status of the article “Multidimensional Funcoids” is raised from “very rough partial draft” to “rough partial draft”. It means that now you probably can understand this my writing. See my research in general topology.
A difficulty on the way of my research
The following conjecture seems trivial but I have a hard hour trying to prove it. I suspect I have a big difficulty on the course of my research. Conjecture $latex \prod^{\mathsf{FCD}} a \not\asymp\prod^{\mathsf{FCD}} b \Leftrightarrow \forall i\in n : a_i \not\asymp b_i$ for every $latex n$-indexed (where $latex n$ is an arbitrary index set) families […]