加载中…
Let be a -operad that exhibits an -category as weakly bitensored over non-symmetric -operads and a -enriched -precategory. We construct an equivalence of -categories weakly right tensored over between two different models of -categories of -enriched functors, one introduced by Hinich and one constructed by us.

生成讲解博客的中文版本

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