论文标题
跨越跨度作为通用生物的生物学
Bicategories of spans as generic bicategories
论文作者
论文摘要
在跨越跨度的生物（一个“通用bicategory”的一个示例）中，跨度（s，t）作为跨度（s，1）的分解，然后（1，t）满足了关于通用生物学结构的所有因素化的简单通用属性。在这里，我们表明这种通用属性实际上可以用来表征跨度的生物。跨度的这种特征与其他跨度大不相同，因为它没有提及生物体内的任何伴随条件。
In a bicategory of spans (an example of a 'generic bicategory') the factorization of a span (s,t) as the span (s,1) followed by (1,t) satisfies a simple universal property with respect to all factorizations in terms of the generic bicategory structure. Here we show that this universal property can in fact be used to characterize bicategories of spans. This characterization of spans is very different from the others in that it does not mention any adjointness conditions within the bicategory.
