2-category of categories

The 2-category of categories $ℭ 𝔞 𝔱$ is a 2-category 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