Grothendieck defined the notion of "autodualité" in SGA 1 VI 11 "Exemples divers" in his formalism of fibred categories.
user234212323
- 894
- 9
- 21