论文标题
丰富的辅助剂简介
An introduction to enriched cofunctors
论文作者
论文摘要
联合函数是一种沿对象分配的类别之间的地图。在本文中，我们在富含分布单体类别的类别之间介绍了辅助因子。我们定义了富集的类别，丰富的函子和富集的辅助因子的双重类别，其水平和垂直2类别分别由功能函数和联合函数之间的自然变换给出了2个细胞。富集的镜头被定义为兼容的富集函子和富集的联合函数。由Perrone引入的加权镜头精确地富含加权组。还详细研究了其他几个示例。
Cofunctors are a kind of map between categories which lift morphisms along an object assignment. In this paper, we introduce cofunctors between categories enriched in a distributive monoidal category. We define a double category of enriched categories, enriched functors, and enriched cofunctors, whose horizontal and vertical 2-categories have 2-cells given by enriched natural transformations between functors and cofunctors, respectively. Enriched lenses are defined as a compatible enriched functor and enriched cofunctor pair; weighted lenses, which were introduced by Perrone, are precisely lenses enriched in weighted sets. Several other examples are also studied in detail.
