Bicategory of categories

The bicategory of categories $ℭ 𝔞 𝔱$ is a bicategory where an object is (small) category and the hom-category $ℭ 𝔞 𝔱 (𝖠, 𝖡)$ is the functor category $𝖡 𝖠$ . #m/def/cat The composition bifunctor is given by ordinary composition of functors, with all coherence conditions holding definitionally.

#state/tidy | #lang/en | #SemBr