A new easy theorem

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.

Leave a Reply