Wiki. “双范畴” [双范畴]

定义

双范畴是 2-范畴 $\mathsf {Cat}$ 的内范畴.