Duality in non-abelian algebra. II: From Isbell bicategories to Grandis exact categories (Q331950)

\textit{Z. Janelidze} and \textit{T. Weighill} [Theory Appl. Categ. 29, 315--331 (2014; Zbl 1305.18028)] developed a self-dual categorical approach to some topics in non-abelian algebra, which is based on replacing the framework of a category with that of a category equipped with a functor to it. 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 and in particular, by properties of forms of substructures of group-like structures. Also, the authors 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, they 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.