Skip to content

I added a new easy to prove proposition to my book:

Proposition An endofuncoid $f$ is $T_{1}$-separable iff $\mathrm{Cor}\langle f\rangle^{\ast}\{x\}\sqsubseteq\{x\}$ for every $x\in\mathrm{Ob}\, f$.

Advertisements

This site uses Akismet to reduce spam. Learn how your comment data is processed.