2-Category: AbCat

AbCat is the 2-category whose objects are Abelian categories, arrows are right exact functors, and transformations are natural transformations. Specifically, AbCat is a bicategory.

2-categories: AbCat

This data as json

name is_strict transformations_hr
AbCat 0 natural transformations