Documentation
DerivedAlgGeo
.
CategoryTheory
.
Bicategory
.
Adjunction
Search
return to top
source
Imports
Init
DerivedAlgGeo.CategoryTheory.Bicategory.Adjunction.Basic
DerivedAlgGeo.CategoryTheory.Bicategory.Adjunction.Cat
Imported by
Adjunctions in bicategories
#