abelian 2-category

Abelian categories are a common generalization of the category of abelian groups, categories of $R$-modules where $R$ is a ring, and the categories of sheaves of $\mathcal{O}_X$-modules where $\mathcal{O}_X$ is a sheaf of rings on a topological space $X$. Similarly, in the categorical dimension 2, one wants to define an **abelian 2-category** as a generalization of symmetric 2-groups and possibly some 2-related categories. There is a couple of different proposals in the literature.

- Mathieu Dupont,
*Abelian categories in dimension 2*, arxiv/0809.1760 - Hiroyuki Nakaoka,
*Comparison of the definitions of Abelian 2-categories*, arxiv/0904.0078

Created on June 7, 2011 13:24:32
by Zoran Škoda
(161.53.130.104)