A Yoneda-Style Embedding for Virtual Equipments

arXiv2003.02124MaRDI QIDQ6336128

Publication date: 2 March 2020

Abstract: 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.

Has companion code repository: https://github.com/varkor/tangle

Mathematics Subject Classification ID

This page was built for publication: A Yoneda-Style Embedding for Virtual Equipments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6336128)