Wiki. 横向复合 [横向复合]
Wiki. 横向复合 [横向复合]
观念
高阶范畴中, $1$-态射的复合 $$ \operatorname{Hom}(y,z)\times \operatorname{Hom}(x,y) \to\operatorname{Hom}(x,z) $$ 有函子性; 左边两个 Hom 范畴中的态射 (即原范畴中的 $2$-态射) 在这一函子下的像称为横向复合 (horizontal composition).
高阶范畴中, $1$-态射的复合 $$ \operatorname{Hom}(y,z)\times \operatorname{Hom}(x,y) \to\operatorname{Hom}(x,z) $$ 有函子性; 左边两个 Hom 范畴中的态射 (即原范畴中的 $2$-态射) 在这一函子下的像称为横向复合 (horizontal composition).