https://golem.ph.utexas.edu/category/2016/08/the_magic_of_algebraic_geometr.html

«Suppose if I told you:

1) Every group is abelian.
2) Every function between groups that preserves the identity is a homomorphism.

You’d rightly say I’m nuts. But all this is happening in the category of sets. Suppose we go to the category of connected projective algebraic varieties. Then a miracle occurs, and the analogous facts are true…»

(и дальше по направлению к многообразиям Альбанезе)