show/hide this revision's text 1 [made Community Wiki]

Freyd-Mitchell and Gabriel-Popescu theorems, and also the characterization of co-Grothendieck cats.