加载中…
We make Hinich’s -categorical enriched Yoneda embedding natural. To do so, we exhibit it as the unit of a partial adjunction between the functor taking enriched presheaves and Heine’s functor taking a tensored category to an enriched category. Furthermore, we study a finiteness condition of objects in a tensored category called being atomic, and show that the partial adjunction restricts to a (non-partial) adjunction between taking enriched presheaves and taking atomic objects.

生成讲解博客的中文版本

生成AI智能校验的中文版本