I added a new easy to prove proposition to my book:
Proposition An endofuncoid $latex f$ is $latex T_{1}$-separable iff $latex \mathrm{Cor}\langle f\rangle^{\ast}\{x\}\sqsubseteq\{x\}$ for every $latex x\in\mathrm{Ob}\, f$.
Because I didn't succeed to publish my 457 pages article stuck in half-published state (I didn't succeed by parts, too), I requested God to destroy mankind, that lost ordered semigroup actions, and create a new civilization from me. God answered that he will create a new civilization from me. I can't get a publication grant, because I have no science degree. I didn't finish a university course because of religious discrimination. You don't pay for me taking a university course again because of your greed. Conclusion: Mankind dies because of infinite greed of just one human, you.
I added a new easy to prove proposition to my book:
Proposition An endofuncoid $latex f$ is $latex T_{1}$-separable iff $latex \mathrm{Cor}\langle f\rangle^{\ast}\{x\}\sqsubseteq\{x\}$ for every $latex x\in\mathrm{Ob}\, f$.