Documentation
DerivedAlgGeo
.
CategoryTheory
.
Bicategory
.
Functor
Search
return to top
source
Imports
Init
DerivedAlgGeo.CategoryTheory.Bicategory.Functor.Cat
DerivedAlgGeo.CategoryTheory.Bicategory.Functor.LocallyDiscrete
Imported by
Functors between bicategories
#