Representations are adjoint to endomorphisms

Functor categories, comma categories (18A25) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20) Operads (general) (18M60)

Abstract: 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 functor that computes the endomorphism monoid of any functor with domain C. After describing the first results of the theory we give several examples of applications.

Review text

Cet article est une contribution, dans un cadre catégorique enrichi très général, au problème de la reconstruction d'un monoïde d'une catégorie monoïdale \(\mathcal{V}\) (non nécessairement symétrique) à partir de sa catégorie (enrichie) de représentations dans une \(\mathcal{V}\)-catégorie \(\mathcal{C}\). On a bien sûr besoin de données supplémentaires, comme l'illustre la théorie de Morita classique (où \(\mathcal{V}\) est la catégorie des groupes abéliens munie du produit tensoriel). Pour reconstruire un anneau à partir de sa catégorie de modules, la donnée du foncteur d'oubli vers les groupes abéliens suffit, l'anneau s'identifiant aux endomorphismes de ce foncteur. Les auteurs obtiennent un résultat de cette nature dans leur contexte général : leur \textit{Theorem 1} établit une adjonction entre le foncteur associant à un \(\mathcal{V}\)-monoïde sa catégorie de représentations dans \(\mathcal{C}\) \textit{munie du foncteur d'oubli vers \(\mathcal{C}\)}, et celui envoyant une \(\mathcal{V}\)-catégorie au-dessus de \(\mathcal{C}\) sur les endomorphismes du foncteur structural vers \(\mathcal{C}\). Sous une hypothèse de fidélité supplémentaire, l'unité de l'adjonction est un monomorphisme (\textit{Proposition 2}). Il faut toutefois prendre garde, dans les énoncés, aux problèmes de taille de l'univers, qu'on doit parfois agrandir. L'article aborde cette question de changement de taille de l'univers dans son appendice A. Sous une hypothèse d'\textit{accessibilité} appropriée (également traitée dans l'appendice A), on peut s'affranchir de tout agrandissement de l'univers (\textit{Proposition 1}). Les auteurs ont principalement en vue des applications de nature opéradique, notamment dans leur prépublication [``Endomorphism operads of functors, Preprint, \url{arXiv:1906.09006}], dont le \textit{Theorem 4.1} fournit des hypothèses générales sous lesquelles l'unité de l'adjonction susmentionnée est un \textit{isomorphisme} (voir aussi son \textit{Theorem 4.3}). L'article est concis et lisible, malgré le degré d'abstraction très élevé des notions utilisées et le manque d'exemples, pour lesquels la lectrice ou le lecteur pourront se reporter à la prépublication susmentionnée.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Representations are adjoint to endomorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q777246)