BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Diana Rodelo contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In the context of regular unital categories we introduce an intrinsic version of the notion of a Schreier split epimorphism, originally considered for monoids. We show that such split epimorphisms satisfy the same homological properties as Schreier split epimorphisms of monoids do. This gives rise to new examples of S-protomodular categories, and allows us to better understand the homological behaviour of monoids from a categorical perspective.
We investigate unital, subtractive and strongly unital regular categories with enough projectives and give characterizations of their projective covers. The categorical equation "strongly unital = unital + subtractive" is explored: this leads to proofs of their varietal characterizations in terms of the categorical properties of the corresponding algebraic theories.
We extend some properties of pullbacks which are known to hold in a Mal'tsev context to the more general context of Gumm categories. The varieties of universal algebras which are Gumm categories are precisely the congruence modular ones. These properties lead to a simple alternative proof of the known property that central extensions and normal extensions coincide for any Galois structure associated with a Birkhoff subcategory of an exact Goursat category.
We prove that a regular category $\mathcal C$ is a Mal'tsev category if and only if a strong form of the denormalised $3 \times 3$ Lemma holds true in $\mathcal C$. In this version of the $3 \times 3$ Lemma, the vertical exact forks are replaced by pullbacks of regular epimorphisms along arbitrary morphisms. The shape of the diagram it determines suggests to call it the Cuboid Lemma. This new characterisation of regular categories that are Mal'tsev categories (= $2$-permutable) is similar to the one previously obtained for Goursat categories (= $3$-permutable). We also analyse the "relative" version of the Cuboid Lemma and extend our results to that context.
We prove that in a regular category all reflexive and transitive relations are symmetric if and only if every internal category is an internal groupoid. In particular, these conditions hold when the category is n-permutable for some n.