Freyd-Mitchell and Gabriel-Popescu theorems, and also the characterization of co-Grothendieck cats.
fosco
- 13.6k
- 2
- 28
- 77
Freyd-Mitchell and Gabriel-Popescu theorems, and also the characterization of co-Grothendieck cats.