How protomodular is your favourite category?
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.09739
curl -X POST /api/v1/records/arxiv/2610.09739/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.09739/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'