categories
foundations
fields
threeimportantfunctors
spec
noetherian
graded
integrality
factorization
dedekind
dimension
completion
smoothness
various
homological
flat
homologicallocal
etale
completelocal
homotopical
license
