Documentation
DerivedAlgGeo
.
CategoryTheory
.
Limits
.
Shapes
Search
return to top
source
Imports
Init
DerivedAlgGeo.CategoryTheory.Limits.Shapes.FiniteProducts
DerivedAlgGeo.CategoryTheory.Limits.Shapes.ZeroMorphisms
Imported by
Limit and colimit shape extensions
#