A Yoneda-Style Embedding for Virtual Equipments
David Jaz Myers
TL;DR
This paper introduces a Yoneda-style embedding for virtual equipments, demonstrating how any such structure can be embedded into categories enriched in it, preserving key properties like composition and 2-cell fullness.
Contribution
It presents a novel Yoneda-style embedding for virtual equipments, extending the classical Yoneda lemma to enriched categorical structures.
Findings
Embedding preserves composition
Embedding is full on 2-cells and arrows
Embedding is coreflective on proarrows
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsTeleoperation and Haptic Systems · Logic, programming, and type systems · Model-Driven Software Engineering Techniques