Duality in non-abelian algebra II. From Isbell bicategories to Grandis exact categories

作者：Janelidze Zurab; Weighill Thomas^*

来源：Journal of Homotopy and Related Structures, 2016, 11(3): 553-570.

DOI：10.1007/s40062-015-0116-9

• Grothendieck bifibration
• Factorization system
• Ex4-category
• Exact form
• Universalizer

This paper continues the study of self-dual axioms on forms, i.e. faithful amnestic functors, motivated by properties of subobject forms in non-abelian algebra (which in many cases are Grothendieck bifibrations), and in particular, by properties of forms of substructures of group-like structures. In this paper we explore axiomatic origins of this kind, of a hierarchy of contexts introduced by M. Grandis for his projective approach to non-abelian homological algebra. This reveals new links between those contexts and the theory of factorization systems. Among other things, we show that a Grandis exact category is the same as an Isbell bicategory whose form (fibration) of projections is isomorphic to the form (opfibration) of injections.

• 出版日期2016-9