Documentation
DerivedAlgGeo
.
CategoryTheory
.
Limits
.
Preserves
Search
return to top
source
Imports
Init
DerivedAlgGeo.CategoryTheory.Limits.Preserves.Composition
DerivedAlgGeo.CategoryTheory.Limits.Preserves.Naturality
DerivedAlgGeo.CategoryTheory.Limits.Preserves.Reflective
DerivedAlgGeo.CategoryTheory.Limits.Preserves.Shapes
Imported by
Preservation of limits and colimits
#