目录

想法

2态射在一个类别中$C类$（或者只是边缘在一个有向图)是平行如果他们有相同的来源和目标.相当于一对平行态射在里面$C类$由对象 $x个$、和对象$年$，和两种形态$f、 g:x\到y$.

这可以扩展到任何数量的语素族，但语素总是成对比较，以查看它们是否平行。退化情形：一个平行态射族只是一个态射；零平行态射族只是一对对象。

行走平行对

上述考虑可以在以下定义中形式化。

现在算符$P至C$正是一对平行的形态。

极限和结肠炎

这个限制成对（或家族）或语态的称为它们的均衡器; 这个上极限是他们的吗协调剂（当然，这些并不总是存在。）

相关概念

• 叉