I’ve published in my book’s preprint a theorem (currently numbered 6.100) which solves a former conjecture. Theorem $latex g \circ \left( \bigsqcup R \right) = \bigsqcup \left\{ g \circ f \,|\, g \in R \right\} = \bigsqcup \langle g \circ \rangle R$…
read moreLet $latex \mu$ and $latex \nu$ are endofuncoids and $latex f$ is a funcoid from $latex \mathrm{Ob}\,\mu$ to $latex \mathrm{Ob}\,\nu$. Then we can generalize Bourbaki’s notion of open mapping between topological spaces (that is a mapping for which images of open sets…
read more