作为泛 bicategory 的 span bicategory
范畴论
2020-02-25 v1
摘要
在 span 的 bicategory（一类“泛 bicategory”的例子）中，span (s,t) 分解为 span (s,1) 后接 (1,t) 的分解，相对于所有基于泛 bicategory 结构的分解满足一个简单的泛性质。此处我们表明，该泛性质实际上可用于刻画 span 的 bicategory。这种对 span 的刻画非常不同于其他刻画，因为它不提及 bicategory 内的任何伴随条件。
引用
@article{arxiv.2002.10334,
title = {Bicategories of spans as generic bicategories},
author = {Charles Walker},
journal= {arXiv preprint arXiv:2002.10334},
year = {2020}
}
备注
13 pages