查看“︁模板:序范畴”︁的源代码

{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%'
|-
! colspan=6 style='border-bottom-width:2px' | 预序集 <math>(P,\preceq)</math> 上的序范畴
|-
! colspan=6 style="font-size:small" | 对应数学对象
|-
! 对象
| 元素
! <math>\mathrm{Obj}()</math>
| <math>P</math>
! 小范畴？
| 是
|-
! 态射
| [[有序对]] <math>(a,b)</math>
! <math>\mathrm{Hom}(A,B)</math>
| <math>\begin{cases} \{(a,b)\} &, a \preceq b \\ \varnothing &, \lnot (a \preceq b)\end{cases}</math>
! 局部小范畴？
| 是，[[骨架范畴]]
|-
! 自同态 <math>\mathrm{End}(A)</math>
| [[自反关系|自反性]]保证 <math>\{(a,a)\}</math>
! 复合法则 <math>\circ</math>
| [[传递关系|传递性]]保证 <math>((a,b), (b,c)) \mapsto (a,c)</math>
! 单位态射 <math>i_A</math>
| [[自反关系|自反性]]保证 <math>(a,a)</math>
|-
! colspan=6 style="font-size:small" | 态射类型
|-
! 单态射
| 任意态射
! 满态射
| 任意态射
! 双态射
| 任意态射
|-
! 分裂单态射
| -
! 分裂满态射
| -
! 同构 <math>\mathrm{Iso}(A,B)</math>
| -
|-
! colspan=6 style="font-size:small" | 泛在结构
|-
! 始对象<br>态射
| [[最小元]] <math>\operatorname{min}P</math> <br> （若存在）
! 终对象<br>态射
| [[最大元]] <math>\operatorname{max}P</math> <br> （若存在）
! 是零对象？
| 仅 <math>P</math> 为单元素集时
|-
! 积 <math>\times</math> <br>积态射
| 有任意积 <br> [[下确界]] <math>\operatorname{sup}\{a,b\}</math>
! 余积 <math>\coprod</math> <br>余积态射
| 有任意余积 <br> [[上确界]] <math>\operatorname{inf}\{a,b\}</math>
! colspan=2 |
|-
! 极限 <math>\times</math>
| 有任意极限 <br> [[下确界]] <math>\operatorname{sup}\{a,b\}</math>
! 余极限 <math>\coprod</math>
| 有任意余极限 <br> [[上确界]] <math>\operatorname{inf}\{a,b\}</math>
! colspan=2 |
|}