English

A note on split extension classifiers of perfect objects

Category Theory 2022-08-03 v1

Abstract

We show that for a pointed protomodular category C\mathbb{C} satisfying a certain condition on those Huq commutators which exist, if XX is a perfect object in C\mathbb{C} such that the split extension classifier [X][X] exists, then the centralizer of the \emph{conjugation} morphism cX:X[X]c_X : X\to [X] is trivial and hence [X][X] has trivial center.

Cite

@article{arxiv.2208.01133,
  title  = {A note on split extension classifiers of perfect objects},
  author = {James R. A. Gray},
  journal= {arXiv preprint arXiv:2208.01133},
  year   = {2022}
}
R2 v1 2026-06-25T01:23:48.813Z