About half of the topos theory of SGA4 is devoted to categorical generalities. They are now subsumed by the modern theory of (locally) presentable categories. I will sketch this theory, stressing the results that are important for topos theory. The category of
complete lattices and sup-preserving maps is a toy example of this theory.
2 дек 2015
