On the implication $T_0\Rightarrow T_{3\frac{1}{2}}$ for some topological protomodular algebras

Abstract

The notion of a right-cancellable protomodular algebra is introduced. It is proved that a right-cancellable topological protomodular algebra that satisfies the separation axiom $T_0$ is completely regular.