The Stacks project

88 Algebraization of Formal Spaces