范畴的余极限、之字形与项链

给定小范畴图 $F : J \rightarrow \textbf{Cat}$，我们基于索引范畴 $J$ 以及图 $F$ 中的范畴与函子给出其于 $\textbf{Cat}$ 中余极限的组合描述。我们引入某些之字形的双范畴以追踪必要的等同关系。我们发现这些双范畴不仅必要，而且具有解释性。当在单纯 enrichment 设定中逐点应用时，我们的构造通过直接计算给出了 Dugger 与 Spivak 项链定理的更简短证明。