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