Publicação
Homological lemmas for (Non-abelian) group-like structures by diagram chasing in a self-dual context
| datacite.subject.sdg | 09:Indústria, Inovação e Infraestruturas | |
| datacite.subject.sdg | 04:Educação de Qualidade | |
| datacite.subject.sdg | 17:Parcerias para a Implementação dos Objetivos | |
| dc.contributor.author | Dayaram, Kishan Kumar | |
| dc.contributor.author | Goswami, Amartya | |
| dc.contributor.author | Janelidze, Zurab | |
| dc.contributor.author | Rodelo, Diana | |
| dc.contributor.author | Linden, Tim Van der | |
| dc.date.accessioned | 2026-06-24T13:22:18Z | |
| dc.date.available | 2026-06-24T13:22:18Z | |
| dc.date.issued | 2026-05-09 | |
| dc.description.abstract | Through abelian categories, homological lemmas for modules admit a self-dual treatment, where half of the proof of a lemma is sufficient to prove the full lemma. In this paper we show how the context of a ‘noetherian form’, recently introduced by the second and third authors, allows a self-dual treatment of these lemmas even in the case of non-abelian categories of group-like structures. This context covers a wide range of examples: module categories, the category of groups, of graded abelian groups, the categories of Lie algebras, of cocommutative Hopf algebras, the category of Heyting semilattices, of loops, the dual of the category of pointed sets, the category of modular/distributive lattices and modular connections, the category of sets and partial bijections, and many others. More generally, it includes all semi-abelian and Grandis exact categories. | eng |
| dc.description.sponsorship | UID/04106/2025 | |
| dc.identifier.doi | 10.1007/s10485-026-09862-2 | |
| dc.identifier.eissn | 1572-9095 | |
| dc.identifier.issn | 0927-2852 | |
| dc.identifier.uri | http://hdl.handle.net/10400.1/29139 | |
| dc.language.iso | eng | |
| dc.peerreviewed | yes | |
| dc.publisher | Springer | |
| dc.relation.ispartof | Applied Categorical Structures | |
| dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | |
| dc.subject | 3 × 3 Lemma | |
| dc.subject | Diagram lemma | |
| dc.subject | Dragon lemma | |
| dc.subject | Five lemma | |
| dc.subject | Group-like structure | |
| dc.subject | Goursat’s lemma | |
| dc.subject | Homomorphism induction | |
| dc.subject | Noetherian form | |
| dc.subject | Semi-abelian category | |
| dc.subject | Salamander lemma | |
| dc.subject | Słominski algebra | |
| dc.subject | Snail lemma | |
| dc.subject | Snake lemma | |
| dc.subject | Spider lemma | |
| dc.subject | Weak four lemma | |
| dc.title | Homological lemmas for (Non-abelian) group-like structures by diagram chasing in a self-dual context | eng |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.awardNumber | UID/MAT/04106/2013 | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/5876/UID%2FMAT%2F04106%2F2013/PT | |
| oaire.citation.issue | 4 | |
| oaire.citation.startPage | 32 | |
| oaire.citation.title | Applied Categorical Structures | |
| oaire.citation.volume | 34 | |
| oaire.fundingStream | 5876 | |
| oaire.version | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |
| person.familyName | Rodelo | |
| person.givenName | Diana | |
| person.identifier.ciencia-id | 6C16-FCF9-64A0 | |
| person.identifier.orcid | 0000-0002-4816-3234 | |
| person.identifier.rid | AFH-8267-2022 | |
| person.identifier.scopus-author-id | 8216708900 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| relation.isAuthorOfPublication | 311bbe08-1f8a-4c84-87e7-23ddd55c89a3 | |
| relation.isAuthorOfPublication.latestForDiscovery | 311bbe08-1f8a-4c84-87e7-23ddd55c89a3 | |
| relation.isProjectOfPublication | 20b56a8a-af25-426f-8acc-3a59c9bcfd50 | |
| relation.isProjectOfPublication.latestForDiscovery | 20b56a8a-af25-426f-8acc-3a59c9bcfd50 |