В математике Александр Гротендик (1957) в своей « работе Тохоку » ввел последовательность аксиом различных видов категорий, обогащенных над симметричной моноидальной категорией абелевых групп . Абелевы категории иногда называются категориями AB2 , в соответствии с аксиомой (AB2). Категории AB3 — это абелевы категории, обладающие произвольными копроизведениями (следовательно, в силу существования факторов в абелевых категориях, также всеми копределами ). Категории AB5 — это категории AB3, в которых отфильтрованные копределы точных последовательностей являются точными. Категории Гротендика — это категории AB5 с генератором .