Homological Algebra in Abelian Framed Bicategories: Exact Sequences and Embedding Theorems

Augustin Albert, Jérémy Dubut, Eric Goubault

We introduce abelian framed bicategories, which are particular framed bicategories that are locally abelian, and show that they are suitable for developing homology and cohomology…