Session Bicategory

Theories

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