{"id":"https://openalex.org/W7160700613","doi":"https://doi.org/10.1007/s10485-026-09862-2","title":"Homological Lemmas for (Non-abelian) Group-Like Structures by Diagram Chasing in a Self-Dual Context","display_name":"Homological Lemmas for (Non-abelian) Group-Like Structures by Diagram Chasing in a Self-Dual Context","publication_year":2026,"publication_date":"2026-05-09","ids":{"openalex":"https://openalex.org/W7160700613","doi":"https://doi.org/10.1007/s10485-026-09862-2"},"language":"en","primary_location":{"id":"doi:10.1007/s10485-026-09862-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10485-026-09862-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10485-026-09862-2.pdf","source":{"id":"https://openalex.org/S148906134","display_name":"Applied Categorical Structures","issn_l":"0927-2852","issn":["0927-2852","1572-9095"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Categorical Structures","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10485-026-09862-2.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064066089","display_name":"Kishan Dayaram","orcid":null},"institutions":[{"id":"https://openalex.org/I24027795","display_name":"University of Johannesburg","ror":"https://ror.org/04z6c2n17","country_code":"ZA","type":"education","lineage":["https://openalex.org/I24027795"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Kishan Kumar Dayaram","raw_affiliation_strings":["Department of Mathematics and Applied Mathematics, University of Johannesburg, Auckland Park Kingsway Campus, P.O. Box 524, Auckland Park, 2006, South Africa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Applied Mathematics, University of Johannesburg, Auckland Park Kingsway Campus, P.O. Box 524, Auckland Park, 2006, South Africa","institution_ids":["https://openalex.org/I24027795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135757199","display_name":"Amartya Goswami","orcid":null},"institutions":[{"id":"https://openalex.org/I24027795","display_name":"University of Johannesburg","ror":"https://ror.org/04z6c2n17","country_code":"ZA","type":"education","lineage":["https://openalex.org/I24027795"]},{"id":"https://openalex.org/I4210106521","display_name":"National Institute for Theoretical Physics","ror":"https://ror.org/01jgv6w72","country_code":"ZA","type":"facility","lineage":["https://openalex.org/I4210106521"]}],"countries":["ZA"],"is_corresponding":true,"raw_author_name":"Amartya Goswami","raw_affiliation_strings":["Department of Mathematics and Applied Mathematics, University of Johannesburg, Auckland Park Kingsway Campus, P.O. Box 524, Auckland Park, 2006, South Africa","National Institute for Theoretical and Computational Sciences (NITheCS), Johannesburg, South Africa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Applied Mathematics, University of Johannesburg, Auckland Park Kingsway Campus, P.O. Box 524, Auckland Park, 2006, South Africa","institution_ids":["https://openalex.org/I24027795"]},{"raw_affiliation_string":"National Institute for Theoretical and Computational Sciences (NITheCS), Johannesburg, South Africa","institution_ids":["https://openalex.org/I4210106521"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135744778","display_name":"Zurab Janelidze","orcid":null},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]},{"id":"https://openalex.org/I4210106521","display_name":"National Institute for Theoretical Physics","ror":"https://ror.org/01jgv6w72","country_code":"ZA","type":"facility","lineage":["https://openalex.org/I4210106521"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Zurab Janelidze","raw_affiliation_strings":["Department of Mathematical Sciences, Stellenbosch University, Private Bag X1, Matieland, 7602, South Africa","National Institute for Theoretical and Computational Sciences, Stellenbosch, South Africa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, Stellenbosch University, Private Bag X1, Matieland, 7602, South Africa","institution_ids":["https://openalex.org/I26092322"]},{"raw_affiliation_string":"National Institute for Theoretical and Computational Sciences, Stellenbosch, South Africa","institution_ids":["https://openalex.org/I4210106521"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039863855","display_name":"Diana Rodelo","orcid":"https://orcid.org/0000-0002-4816-3234"},"institutions":[{"id":"https://openalex.org/I60858718","display_name":"University of Aveiro","ror":"https://ror.org/00nt41z93","country_code":"PT","type":"education","lineage":["https://openalex.org/I60858718"]},{"id":"https://openalex.org/I71503853","display_name":"University of Algarve","ror":"https://ror.org/014g34x36","country_code":"PT","type":"education","lineage":["https://openalex.org/I71503853"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Diana Rodelo","raw_affiliation_strings":["Center for Research and Development in Mathematics and Applications (CIDMA), Department of Mathematics, University of Aveiro, 3810-193, Aveiro, Portugal","Department of Mathematics, University of the Algarve, 8005-139, Faro, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Research and Development in Mathematics and Applications (CIDMA), Department of Mathematics, University of Aveiro, 3810-193, Aveiro, Portugal","institution_ids":["https://openalex.org/I60858718"]},{"raw_affiliation_string":"Department of Mathematics, University of the Algarve, 8005-139, Faro, Portugal","institution_ids":["https://openalex.org/I71503853"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5135729676","display_name":"Tim Van der Linden","orcid":null},"institutions":[{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]},{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Tim Van der Linden","raw_affiliation_strings":["Institut de Recherche en Math\u00e9matique et Physique, Universit\u00e9 catholique de Louvain, chemin du cyclotron 2 bte L7.01.02, 1348, Louvain-la-Neuve, Belgium","Mathematics & Data Science, Vrije Universiteit Brussel, Pleinlaan 2, 1050, Brussel, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut de Recherche en Math\u00e9matique et Physique, Universit\u00e9 catholique de Louvain, chemin du cyclotron 2 bte L7.01.02, 1348, Louvain-la-Neuve, Belgium","institution_ids":["https://openalex.org/I95674353"]},{"raw_affiliation_string":"Mathematics & Data Science, Vrije Universiteit Brussel, Pleinlaan 2, 1050, Brussel, Belgium","institution_ids":["https://openalex.org/I13469542"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5135757199"],"corresponding_institution_ids":["https://openalex.org/I24027795","https://openalex.org/I4210106521"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":{"value":2990,"currency":"USD","value_usd":2990},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.66025569,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"34","issue":"4","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.6414999961853027,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.6414999961853027,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10287","display_name":"Algebraic structures and combinatorial models","score":0.26190000772476196,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11703","display_name":"Rings, Modules, and Algebras","score":0.02850000001490116,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/abelian-category","display_name":"Abelian category","score":0.715399980545044},{"id":"https://openalex.org/keywords/lemma","display_name":"Lemma (botany)","score":0.6858999729156494},{"id":"https://openalex.org/keywords/category-of-groups","display_name":"Category of groups","score":0.671999990940094},{"id":"https://openalex.org/keywords/abelian-group","display_name":"Abelian group","score":0.6679999828338623},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6190999746322632},{"id":"https://openalex.org/keywords/coproduct","display_name":"Coproduct","score":0.5037999749183655},{"id":"https://openalex.org/keywords/2-category","display_name":"2-category","score":0.484499990940094},{"id":"https://openalex.org/keywords/homological-algebra","display_name":"Homological algebra","score":0.4797999858856201},{"id":"https://openalex.org/keywords/dual","display_name":"Dual (grammatical number)","score":0.4417000114917755}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8273000121116638},{"id":"https://openalex.org/C186921422","wikidata":"https://www.wikidata.org/wiki/Q318737","display_name":"Abelian category","level":3,"score":0.715399980545044},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.6858999729156494},{"id":"https://openalex.org/C153491289","wikidata":"https://www.wikidata.org/wiki/Q3912012","display_name":"Category of groups","level":4,"score":0.671999990940094},{"id":"https://openalex.org/C136170076","wikidata":"https://www.wikidata.org/wiki/Q181296","display_name":"Abelian group","level":2,"score":0.6679999828338623},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6190999746322632},{"id":"https://openalex.org/C36259021","wikidata":"https://www.wikidata.org/wiki/Q692689","display_name":"Coproduct","level":2,"score":0.5037999749183655},{"id":"https://openalex.org/C46263353","wikidata":"https://www.wikidata.org/wiki/Q4596935","display_name":"2-category","level":4,"score":0.484499990940094},{"id":"https://openalex.org/C18364862","wikidata":"https://www.wikidata.org/wiki/Q579978","display_name":"Homological algebra","level":3,"score":0.4797999858856201},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4422999918460846},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.4417000114917755},{"id":"https://openalex.org/C7879355","wikidata":"https://www.wikidata.org/wiki/Q5135329","display_name":"Closed category","level":3,"score":0.4390000104904175},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4251999855041504},{"id":"https://openalex.org/C128520899","wikidata":"https://www.wikidata.org/wiki/Q1575634","display_name":"Concrete category","level":3,"score":0.42329999804496765},{"id":"https://openalex.org/C109593458","wikidata":"https://www.wikidata.org/wiki/Q5262626","display_name":"Derived category","level":3,"score":0.40220001339912415},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.385699987411499},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3815999925136566},{"id":"https://openalex.org/C11846945","wikidata":"https://www.wikidata.org/wiki/Q1082992","display_name":"Equivalence of categories","level":3,"score":0.364300012588501},{"id":"https://openalex.org/C186399060","wikidata":"https://www.wikidata.org/wiki/Q959962","display_name":"Diagram","level":2,"score":0.3617999851703644},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.35089999437332153},{"id":"https://openalex.org/C162205778","wikidata":"https://www.wikidata.org/wiki/Q4915506","display_name":"Biproduct","level":4,"score":0.33230000734329224},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.32499998807907104},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.3174999952316284},{"id":"https://openalex.org/C72727785","wikidata":"https://www.wikidata.org/wiki/Q2518298","display_name":"Category of sets","level":3,"score":0.3127000033855438},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.3068000078201294},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.30660000443458557},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.25619998574256897}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10485-026-09862-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10485-026-09862-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10485-026-09862-2.pdf","source":{"id":"https://openalex.org/S148906134","display_name":"Applied Categorical Structures","issn_l":"0927-2852","issn":["0927-2852","1572-9095"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Categorical Structures","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10485-026-09862-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10485-026-09862-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10485-026-09862-2.pdf","source":{"id":"https://openalex.org/S148906134","display_name":"Applied Categorical Structures","issn_l":"0927-2852","issn":["0927-2852","1572-9095"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Categorical Structures","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.46140989661216736,"display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G1702653269","display_name":"Center for Research and Development in Mathematics and Applications","funder_award_id":"UID/04106/2025","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G3069120617","display_name":null,"funder_award_id":"04106","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G7318052850","display_name":null,"funder_award_id":"UID/04106","funder_id":"https://openalex.org/F4320329951","funder_display_name":"Center for Research and Development in Mathematics and Applications"},{"id":"https://openalex.org/G7318643082","display_name":null,"funder_award_id":"UID/04106","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G8321563775","display_name":null,"funder_award_id":"UID/04106/2025","funder_id":"https://openalex.org/F4320329951","funder_display_name":"Center for Research and Development in Mathematics and Applications"}],"funders":[{"id":"https://openalex.org/F4320321390","display_name":"Fonds De La Recherche Scientifique - FNRS","ror":"https://ror.org/03q83t159"},{"id":"https://openalex.org/F4320322663","display_name":"Universiteit Stellenbosch","ror":"https://ror.org/05bk57929"},{"id":"https://openalex.org/F4320323959","display_name":"University of Johannesburg","ror":"https://ror.org/04z6c2n17"},{"id":"https://openalex.org/F4320324166","display_name":"African Institute for Mathematical Sciences","ror":"https://ror.org/02f9k5d27"},{"id":"https://openalex.org/F4320329951","display_name":"Center for Research and Development in Mathematics and Applications","ror":null},{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"},{"id":"https://openalex.org/F4320337380","display_name":"Division of Mathematical Sciences","ror":"https://ror.org/051fftw81"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7160700613.pdf","grobid_xml":"https://content.openalex.org/works/W7160700613.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W164648126","https://openalex.org/W259825634","https://openalex.org/W588546642","https://openalex.org/W817842574","https://openalex.org/W1481113152","https://openalex.org/W1967940958","https://openalex.org/W1993468549","https://openalex.org/W1998444599","https://openalex.org/W2002405231","https://openalex.org/W2011228778","https://openalex.org/W2053888575","https://openalex.org/W2067717199","https://openalex.org/W2161101157","https://openalex.org/W2254801619","https://openalex.org/W2329137525","https://openalex.org/W2333810581","https://openalex.org/W2435010608","https://openalex.org/W2497950051","https://openalex.org/W2579723248","https://openalex.org/W2906271288","https://openalex.org/W2951181495","https://openalex.org/W2962774929","https://openalex.org/W2963834029","https://openalex.org/W2963989585","https://openalex.org/W3189169421","https://openalex.org/W4293176479"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Through":[1],"abelian":[2,80],"categories,":[3,73],"homological":[4],"lemmas":[5,53],"for":[6],"modules":[7],"admit":[8],"a":[9,18,36,48,67],"self-dual":[10,49],"treatment,":[11],"where":[12],"half":[13],"of":[14,17,35,51,58,61,70,76,78,84,87,93,96,100,103,108,116],"the":[15,24,33,42,56,74,82,91,98,101,106,114],"proof":[16],"lemma":[19],"is":[20],"sufficient":[21],"to":[22],"prove":[23],"full":[25],"lemma.":[26],"In":[27],"this":[28],"paper":[29],"we":[30],"show":[31],"how":[32],"context":[34,65],"\u2018noetherian":[37],"form\u2019,":[38],"recently":[39],"introduced":[40],"by":[41],"second":[43],"and":[44,111,118,121,130],"third":[45],"authors,":[46],"allows":[47],"treatment":[50],"these":[52],"even":[54],"in":[55],"case":[57],"non-abelian":[59],"categories":[60,83],"group-like":[62],"structures.":[63],"This":[64],"covers":[66],"wide":[68],"range":[69],"examples:":[71],"module":[72],"category":[75,92,102,107,115],"groups,":[77,81],"graded":[79],"Lie":[85],"algebras,":[86,90],"cocommutative":[88],"Hopf":[89],"Heyting":[94],"semilattices,":[95],"loops,":[97],"dual":[99],"pointed":[104],"sets,":[105],"modular/distributive":[109],"lattices":[110],"modular":[112],"connections,":[113],"sets":[117],"partial":[119],"bijections,":[120],"many":[122],"others.":[123],"More":[124],"generally,":[125],"it":[126],"includes":[127],"all":[128],"semi-abelian":[129],"Grandis":[131],"exact":[132],"categories.":[133]},"counts_by_year":[],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2026-05-10T00:00:00"}