menu

Return to entry

IsomorphismClass
Prebicategory
Bicategory
Coherence
CanonicalIsos
Subbicategory
InternalEquivalence
Pseudofunctor
Strictness
InternalAdjunction
PseudonaturalTransformation
EquivalenceOfBicategories
SpanBicategory
Tabulation
BicategoryOfSpans
Modification
ConcreteBicategory
CatBicat

Bicategory.EquivalenceOfBicategories

HTML Presentation