A Yoneda-Style Embedding for Virtual Equipments
Category Theory
2020-03-05 v1
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.
Cite
@article{arxiv.2003.02124,
title = {A Yoneda-Style Embedding for Virtual Equipments},
author = {David Jaz Myers},
journal= {arXiv preprint arXiv:2003.02124},
year = {2020}
}
Comments
21 pages. arXiv admin note: text overlap with arXiv:1612.02762