Documentation
DerivedAlgGeo
.
CategoryTheory
.
Limits
.
Preserves
.
Shapes
Search
return to top
source
Imports
Init
DerivedAlgGeo.CategoryTheory.Limits.Preserves.Shapes.Products
Imported by
Preservation of limits and colimits of particular shapes
#