论文标题
YONEDA风格的虚拟设备嵌入
A Yoneda-Style Embedding for Virtual Equipments
论文作者
论文摘要
在本文中，我们展示了任何虚拟设备的“ Yoneda”风格嵌入到富含类别的虚拟设备中。我们表明，这种嵌入的保留构图已满2个细胞和箭头，并在proarrows上进行了反思。
In this paper, we exhibit a "Yoneda"-style embedding of any virtual equipment into the virtual equipment of categories enriched in it. We show that this embedding preserves composition, is full on 2-cells and arrows, and coreflective on proarrows.
