Wiki. 胡须 [胡须]

观念

胡须是 $2$-态射的一种特殊的横向复合, 其中一个或多个 $2$-态射为恒等 $2$-态射.