作为笛卡尔双范畴的跨范畴
范畴论
2010-09-10 v2
摘要
跨范畴被刻画为每个余单子都有艾伦伯格-摩尔对象且每个左伴随箭头都是余单子性的笛卡尔双范畴。
引用
@article{arxiv.0910.2996,
title = {Bicategories of spans as cartesian bicategories},
author = {Stephen Lack and R. F. C. Walters and R. J. Wood},
journal= {arXiv preprint arXiv:0910.2996},
year = {2010}
}