Bicategory

Definition

A bicategory $\mathcal{B}$ consists of:

1. a class of objects;
2. for each pair of objects $a, b$, a category $\mathcal{B}(a, b)$ of 1-morphisms $f \colon a \to b$ and 2-morphisms $\theta \colon f \Rightarrow g$;
3. for each triple $a, b, c$, a functor $\circ \colon \mathcal{B}(b, c) \times \mathcal{B}(a, b) \to \mathcal{B}(a, c)$, called horizontal composition;
4. for each object $a$, an identity 1-morphism $1_a \in \mathcal{B}(a, a)$;
5. invertible 2-morphisms $\alpha_{h,g,f} \colon (h \circ g) \circ f \Rightarrow h \circ (g \circ f)$, $\lambda_f \colon 1_b \circ f \Rightarrow f$ and $\rho_f \colon f \circ 1_a \Rightarrow f$, natural in $f$, $g$, $h$.

These data satisfy, for all composable $f \colon a \to b$, $g \colon b \to c$, $h \colon c \to d$, $k \colon d \to e$:

1. pentagon: $(1_k \circ \alpha_{h,g,f}) \cdot \alpha_{k, h \circ g, f} \cdot (\alpha_{k,h,g} \circ 1_f) = \alpha_{k,h,g \circ f} \cdot \alpha_{k \circ h, g, f}$;
2. triangle: $(1_g \circ \lambda_f) \cdot \alpha_{g, 1_b, f} = \rho_g \circ 1_f$.

Here $\cdot$ is vertical composition in the hom-categories, and $1_f$ also denotes the identity 2-morphism of $f$.