多项式双范畴的泛性质
范畴论
2018-12-27 v2
摘要
我们建立了多项式双范畴的泛性质，同时考虑了这些多项式之间的笛卡尔态射与一般态射。由于多项式复合所产生的复杂 coherence 条件，对这些泛性质的直接证明将不切实际；然而，在本文中我们利用泛双范畴的性质避免了大多数此类 coherence 条件。此外，我们给出了 span 双范畴泛性质的一个新证明，并建立了具有可逆 2-胞的 span 双范畴的泛性质；展示了如何运用这些性质来描述多项式的泛性质。
引用
@article{arxiv.1806.10477,
title = {Universal properties of bicategories of polynomials},
author = {Charles Walker},
journal= {arXiv preprint arXiv:1806.10477},
year = {2018}
}
备注
48 pages; final author version incorporating the suggestions of the anonymous referee; to appear in the Journal of Pure and Applied Algebra