Glossary of scheme theory#dimension