Enriched model categories and an application to additive endomorphism spectra

Representations are adjoint to endomorphisms

The functor that takes a ring to its category of modules has an adjoint if one remembers the forgetful functor to abelian groups: the endomorphism ring of linear natural transformations. This uses the self-enrichment of the category of abelian groups. If one considers enrichments into symmetric sequences or even bisymmetric sequences, one can produce an endomorphism operad or an endomorphism prop. In this note, we show that more generally, given an category C enriched in a monoidal category V, the functor that associates to a monoid in V its category of representations in C is adjoint to the f…

Morita theory in enriched context

We develop a homotopy theoretical version of classical Morita theory using the notion of a strong monad. It was Anders Kock who proved that a monad T in a monoidal category E is strong if and only if T is enriched in E. We prove that this correspondence between strength and enrichment follows from a 2-isomorphism of 2-categories. Under certain conditions on T, we prove that the category of T-algebras is Quillen equivalent to the category of modules over the endomorphism monoid of the T-algebra T(I) freely generated by the unit I of E. In the special case where E is the category of Gamma-spaces…

有理富集动机空间

Rational Enriched Motivic Spaces

本文引入并研究了富集动机$\mathcal A$-空间，证明了有理特殊富集动机$\widetilde{\mathrm{Cor}}$-空间能够恢复带有有理系数的连通动机双谱。

Koszul duality for categories with a fixed object set

We define a notion of Koszul dual of a monoid object in a monoidal biclosed model category. Our construction generalizes the classic Yoneda algebra $Ext_A(k,k)$. We apply this general construction to define the Koszul dual of a category enriched over spectra or chain complexes. This example relies on the classical observation that enriched categories are monoid objects in a category of enriched graphs. We observe that the category of enriched graphs is biclosed, meaning that it comes with both left and right internal hom objects. Given a category $R$ (which plays the role of the ground field $…

Secondary derived functors and the Adams spectral sequence

Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of ``additive groupoid enriched categories'', in which a secondary analog of homological algebra can be performed. We introduce secondary chain complexes and secondary resolutions leading to the concept of secondary derived functors. As a main result we show that the E_3-term of the Adams spectral sequence can be expressed as a secondary derived functor. This result can be used to compute the E_3-term explicitly by an algorithm.

加权余极限的高阶代数

The higher algebra of weighted colimits

本文在弱双充实∞-范畴框架下建立加权余极限理论，证明存在性、余端表达、自由余完备化等结果，并构造了多种高阶范畴的张量积结构。