The following is a new conjecture: If $latex f$ and $latex g$ are reloids, then $latex g \circ f = \bigcup{}^{\mathsf{RLD}} \{G \circ F | F \in \mathrm{atoms}^{\mathsf{RLD}} f, G \in \mathrm{atoms}^{\mathsf{RLD}} g \}$.
read moreIn Funcoids and Reloids online article I added two new open problems: 1. $latex \mathrm{Compl} f = f \setminus^{\ast \mathsf{FCD}} (\Omega\times^{\mathsf{FCD}} \mho)$ for every funcoid $latex f$? 2. $latex \mathrm{Compl} f = f \setminus^{\ast \mathsf{RLD}} (\Omega\times^{\mathsf{RLD}} \mho)$ for every reloid $latex f$?
read moreMy online article Funcoids and Reloids as well as my list of open problems are updated. Added two open problems: 1. $latex (\mathsf{RLD})_{\mathrm{in}}$ is not a lower adjoint (in general)? 2. $latex (\mathsf{RLD})_{\mathrm{out}}$ is neither a lower adjoint nor an upper adjoint…
read moreIn the past I overlooked the following two open problems considering them obvious. When I tried to write proofs of these statements down I noticed these are not trivial. So I added them to my list of open problems. Question $latex (\mathsf{RLD})_{\mathrm{out}}…
read moreExample There exist funcoids $latex {f}&fg=000000$ and $latex {g}&fg=000000$ such that $latex \displaystyle ( \mathsf{RLD})_{\mathrm{out}} (g \circ f) \neq ( \mathsf{RLD})_{\mathrm{out}} g \circ ( \mathsf{RLD})_{\mathrm{out}} f. &fg=000000$ Proof: Take $latex {f = {( =)} |_{\Omega}}&fg=000000$ and $latex {g = \mho \times^{\mathsf{FCD}} \left\{…
read moreI sent my article Connectors and generalized connectedness to a math journal for peer review and publication. This my article however does not address an important facet: It is well known that a set is connected if every function from it to…
read moreI put online a preliminary draft of my article Connectors and generalized connectedness. This preliminary draft is yet unreadable. The primary reason why I put this unreadable preliminary draft online is that I want to refer to it from this MathOverflow question….
read moreI generalized a theorem in the preprint article “Filters on posets and generalizations” on my Algebraic General Topology site. The new theorem is formulated as following: Theorem If $latex (\mathfrak{A}; \mathfrak{Z})$ is a join-closed filtrator and $latex \mathfrak{A}$ is a meet-semilattice and…
read moreI mistakenly used yet unproved statement that $latex \mathrm{up}\,f$ (taken on the filtrator of funcoids) is a filter for every funcoid $latex f$ in proof of a theorem. So after I found this error I downgrade this theorem to the status of…
read moreI earlier proclaimed that I positively solved this conjecture: Conjecture $latex f\cap^{\mathsf{FCD}} g = f\cap g$ for every binary relations $latex f$ and $latex g$. There were error in my proof and I deleted it. See the draft of Funcoids and Reloids…
read more