摘要：跨度的双范畴被描述为Cartesian双范畴，其中每个余函子都有一个Eilenberg-Moore对象，每个左伴随箭头都是余协函子。
作者：Stephen Lack, R.F.C. Walters, and R.J. Wood
论文ID：0910.2996
分类：Category Theory
分类简称：math.CT
提交时间：2010-09-10
PDF 下载： 英文版 中文版pdf翻译中