加载中…
We show that for a pointed protomodular category satisfying a certain condition on those Huq commutators which exist, if is a perfect object in such that the split extension classifier exists, then the centralizer of the \emph{conjugation} morphism is trivial and hence has trivial center.

生成讲解博客的中文版本

生成AI智能校验的中文版本