All.lean
Nyll.SchemeTheory.CategoryTheory.All
0 declarations indexed from sourceView source ↗
Module documentation
Categorical tools for scheme descent
This aggregate exposes descent comparisons, module tensor extensions, over-category pullback, and total presheaves over a base.
Imports7
- Nyll.SchemeTheory.CategoryTheory.DescentComparison
- Nyll.SchemeTheory.CategoryTheory.ModuleCatTensorExtension
- Nyll.SchemeTheory.CategoryTheory.OverPullbackLeft
- Nyll.SchemeTheory.CategoryTheory.OverTotalPresheaf
- Nyll.SchemeTheory.CategoryTheory.PresheafModulePushforward
- Nyll.SchemeTheory.CategoryTheory.Pullback
- Nyll.SchemeTheory.CategoryTheory.CommAlgRingMap
Imported by1
This module has no indexed declarations. Its imports and full source are available here.