English

Equ-saturating categories

Category Theory 2025-03-18 v1

Abstract

Starting from the varietal notion of syntactic equivalence relation, we generalized it to a categorical concept; namely Equ-saturating category. We produce various examples and focuse our attention on the protomodular context in which any equivalence relation is then shown to have a centralizer.

Keywords

Cite

@article{arxiv.2503.13190,
  title  = {Equ-saturating categories},
  author = {Dominique Bourn},
  journal= {arXiv preprint arXiv:2503.13190},
  year   = {2025}
}

Comments

24 pages

R2 v1 2026-06-28T22:23:37.284Z