We investigate -enriched -categories, where is an -ring in a presentable -monoidal -category , using -enriched -category theory. We prove the equivalence of (the -category of -enriched -categories) and (left -modules in ). For an -ring in a presentable -monoidal -category, they are also equivalent to , where is the “-delooping”. This result generalizes: if is an -ring in a presentable -monoidal -category, -categories enriched in are equivalent to -modules in -enriched -categories, where is the “-delooping”. A notable case is and , the Eilenberg-MacLane spectrum of a commutative ring . In this case, the results provide two new descriptions of the -category of dg-categories over , a key object in derived algebraic geometry.

生成讲解博客的中文版本

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