一种Yoneda式的虚拟设备嵌入方法
A Yoneda-Style Embedding for Virtual Equipments
摘要:
在本文中,我们展示了一个“米田”式的嵌入任何虚拟设备到虚拟设备的类别丰富。我们表明,这种嵌入保持组成,是满的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.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。