{"id":"arxiv/2610.09739","url":"https://arxiv.org/abs/2610.09739","tags":["math.CT"],"score":0,"title":"How protomodular is your favourite category?","domain":"math.CT","source":"arxiv","authors":["Maria Manuel Clementino","Diana Rodelo"],"reviews":0,"subject":"math.CT","summary":"In this work we investigate a relative notion of protomodularity. We say that a finitely complete category $\\mathsf{C}$ satisfies the \\defn{$\\mathscr{M}$-version of protomodularity} when the change-of-base functors (concerning the fibration of points) are conservative with respect to a class of morphisms $\\mathscr{M}$ of $\\mathsf{C}$. If $\\mathscr{M}$ is the class of all morphisms or the class of all monomorphisms of $\\mathsf{C}$, then this notion is precisely that of an ``ordinary'' protomodular category. We analyse what conditions the class $\\mathscr{M}$ should have to obtain the relative…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-07","reactions":{}}