Category Theory
Zulip Server
Archive

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.


Stream: theory: category theory

Topic: Hinich enriched category theory


view this post on Zulip Adrian Clough (Oct 02 2025 at 11:46):

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 M\mathcal{M} to categories tensored over M\mathcal{M}, where M\mathcal{M} 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

- M\mathcal{M}-enriched categories and functors 

- M\mathcal{M}-tensored categories and functors 

- functors from M\mathcal{M}-enriched categories to M\mathcal{M}-tensored categories

as well as weighted/enriched colimits?

view this post on Zulip Nathanael Arkor (Oct 02 2025 at 12:13):

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.

view this post on Zulip Nathanael Arkor (Oct 02 2025 at 12:14):

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.

view this post on Zulip Adrian Clough (Oct 02 2025 at 13:06):

Cool, thanks, I'll take a look!