Representations are adjoint to endomorphisms (Q777246): Difference between revisions

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.