IsomorphismClass

Prebicategory

Bicategory

Coherence

CanonicalIsos

Subbicategory

InternalEquivalence

Pseudofunctor

Strictness

InternalAdjunction

PseudonaturalTransformation

EquivalenceOfBicategories

SpanBicategory

Tabulation

BicategoryOfSpans

Modification

ConcreteBicategory

CatBicat