The Stacks project

92 Artin's axioms