<p>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.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Homological Lemmas for (Non-abelian) Group-Like Structures by Diagram Chasing in a Self-Dual Context

  • Kishan Kumar Dayaram,
  • Amartya Goswami,
  • Zurab Janelidze,
  • Diana Rodelo,
  • Tim Van der Linden

摘要

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.