You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
In Enriched Yoneda Lemma (https://arxiv.org/abs/1511.00857v2) Hinich presents a very slick version of the enriched Yoneda embedding. One aspect of the paper which I find intriguing is that this version of the Yoneda embeddings is expressed using functors from categories enriched in to categories tensored over , where is a (not necessarily symmetric nor closed) monoidal category. I feel like in recent years there has been quite some development of new categorical structures (e.g., virtual equipments etc.) being able to accommodate objects and morphisms “of different types” in the same setting. Does there exist some such structure which naturally captures the interplay between
- -enriched categories and functors
- -tensored categories and functors
- functors from -enriched categories to -tensored categories
as well as weighted/enriched colimits?
The general context for this result is the setting of a [[locally graded category]], which was introduced by Richard Wood as a setting in which to compare enriched categories, actegories/tensored categories, and powered categories. Wood's thesis is a good introduction, as is Rory Lucyshyn-Wright's V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric bases.
That is, rather than consider some structure with multiple kinds of objects and morphisms, it is most natural to consider all of these structures as special cases of a more general structure: the morphisms between the structures are then exactly the appropriate notion of functors between possibly different kinds of structures.
Cool, thanks, I'll take a look!