Open mappings between endo-funcoids
Let $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 are open) by the following formula (where $latex x$ is a variable which […]