Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 2 of 2
How significant is Enriched ∞-categories via non-symmetric ∞-operads?
We show that Lurie’s stable ∞-categories from [Lur11a, §1.1] are all enriched in the ∞-category of spectra, and that the R-linear ∞-categories of [Lur11b, §6] are enriched in the ∞-category of R-modules, where R is an E2-ring spectrum. Moreover, we prove that every closed monoidal ∞-category is enriched in itself. This gives us, for example, the natural n-category of functors between any two n-categories, generalizing the familiar fact that the category of categories is enriched over itself.
Ah, it’s finally out. Thanks for the pointer, I had almost missed it. Added this to enriched (infinity,1)-category now.
This is as significant as ordinary enriched category theory plus -category theory together. Will be foundational stuff in the future that begins now.
1 to 2 of 2