Lemme de Yoneda pour les foncteurs à valeurs monoidales

Fethi Kadhi

2024-10-10

Abstract:We consider a closed symmetric monoidal category $\mathcal{M}$. We show that if $I$ is a small category then $\mathcal{M}^I$ is a closed $\mathcal{M}$-module. We rewrite the Yoneda Lemma in the case of monoidal valued functors. We derive an adjoint functor theorem and we show that $\mathcal{M}^I$ is a closed symmetric monoidal category

Category Theory

What problem does this paper attempt to address?

Nilpotent Category of Monoidal Category and Tensor–Hom Adjunction

Yan’en Ni,Yunfei Tan,Yunfei Yi,Yuehui Zhang

DOI: https://doi.org/10.1007/s41980-023-00831-2

2023-01-01

Bulletin of the Iranian Mathematical Society

Abstract:Let 𝒞 be an abelian monoidal category. It is proved that the nilpotent category Nil(𝒞) of 𝒞 admits almost monoidal structure except the unit axiom. As an application, it is proved that Hom and Tensor functors exist over Nil(𝒞) and tensor–hom adjunction remains true over the nilpotent category of the category of finite-dimensional vector spaces, which develops some recent results on this topic.
Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas

Fernando Lucatelli Nunes,Matthijs Vákár

2024-05-21

Abstract:We study the categorical structure of the Grothendieck construction of an indexed category $\mathcal{L}:\mathcal{C}^{op}\to\mathbf{CAT}$ and characterise fibred limits, colimits, and monoidal structures. Next, we give sufficient conditions for the monoidal closure of the total category $\Sigma_\mathcal{C} \mathcal{L}$ of a Grothendieck construction of an indexed category $\mathcal{L}:\mathcal{C}^{op}\to\mathbf{CAT}$. Our analysis is a generalization of Gödel's Dialectica interpretation, and it relies on a novel notion of $\Sigma$-tractable monoidal structure. As we will see, $\Sigma$-tractable coproducts simultaneously generalize cocartesian coclosed structures, biproducts and extensive coproducts. We analyse when the closed structure is fibred -- usually it is not.

Category Theory,Logic in Computer Science,Programming Languages
Monoidal bicategories, differential linear logic, and analytic functors

M. Fiore,N. Gambino,M. Hyland

2024-05-23

Abstract:We develop further the theory of monoidal bicategories by introducing and studying bicategorical counterparts of the notions of a linear explonential comonad, as considered in the study of linear logic, and of a codereliction transformation, introduced to study differential linear logic via differential categories. As an application, we extend the differential calculus of Joyal's analytic functors to analytic functors between presheaf categories, just as ordinary calculus extends from a single variable to many variables.

Category Theory,Logic in Computer Science,Logic
Towards higher Frobenius functors for symmetric tensor categories

Kevin Coulembier,Johannes Flake

2024-05-30

Abstract:We develop theory and examples of monoidal functors on tensor categories in positive characteristic that generalise the Frobenius functor from \cite{Os, EOf, Tann}. The latter has proved to be a powerful tool in the ongoing classification of tensor categories of moderate growth, and we demonstrate the similar potential of the generalisations. More explicitly, we describe a new construction of the generalised Verlinde categories $Ver_{p^n}$ in terms of representation categories of elementary abelian $p$-groups. This leads to families of functors relating to $Ver_{p^n}$ that we conjecture, and partially show, to exhibit the characteristic properties of the Frobenius functor relating to $Ver_p$.

Representation Theory
Duality in Monoidal Categories

Sebastian Halbig,Tony Zorman

2024-01-16

Abstract:We compare closed and rigid monoidal categories. Closedness is defined by the tensor product having a right adjoint: the internal-hom functor. Rigidity, on the other hand, generalises the duality of finite-dimensional vector spaces. In the latter, the internal-hom functor is implemented by tensoring with the respective duals. This raises the question: can one decide whether a closed monoidal category is rigid, simply by verifying that the internal-hom is tensor-representable? We provide a counterexample in terms of finitely-generated projective objects in an abelian k-linear category. A byproduct of our work is that we obtain characterisations of the Grothendieck--Verdier duality, also called *-autonomy, and rigidity of functor categories endowed with Day convolution as their tensor product. Applied to Mackey functors, this yields a proof of a sketched argument by Bouc linking rigidity of an object to it being finitely-generated projective.

Category Theory,Quantum Algebra
Study of various categories gravitating around $(φ,Γ)$-modules

Nataniel Marquis

2024-10-12

Abstract:Functors involved in Fontaine equivalences decompose as extension of scalars and taking of invariants between full subcategories of modules over a topological ring equipped with semi-linear continuous action of a topological monoid. We give a general framework for these categories and the functors between them. We define the categories of étale projective $\mathcal{S}$-modules over $R$ to englobe categories that will correspond by Fontaine-type equivalences to finite free representations of a group. We study their preservation by base change, taking of invariants by a normal submonoid of $\mathcal{S}$ and coinduction to a bigger monoid. We define and study categories corresponding to finite type continuous representations over $\mathbb{Z}_p$ through the notions of finite projective $(r,\mu)$-dévissage and of topological étale $\mathcal{S}$-modules over $R$.

Number Theory
Lax monoidal adjunctions, two-variable fibrations and the calculus of mates

Rune Haugseng,Fabian Hebestreit,Sil Linskens,Joost Nuiten

2024-04-03

Abstract:We provide a calculus of mates for functors to the $\infty$-category of $\infty$-categories and extend Lurie's unstraightening equivalences to show that (op)lax natural transformations correspond to maps of (co)cartesian fibrations that do not necessarily preserve (co)cartesian edges. As a sample application we obtain an equivalence between lax symmetric monoidal structures on right adjoint functors and oplax symmetric monoidal structures on the left adjoint functors between symmetric monoidal $\infty$-categories that is compatible with both horizontal and vertical composition of such structures. As the technical heart of the paper we study various new types of fibrations over a product of two $\infty$-categories. In particular, we show how they can be dualised over one of the two factors and how they encode functors out of the Gray tensor product of $(\infty, 2)$-categories.

Category Theory,Algebraic Topology
La geometría de los Monoides

J. Rogelio Perez-Buendia,Ernesto Antonio Reyes-Ramirez

DOI: https://doi.org/10.48550/arXiv.2209.02110

2022-09-06

Abstract:In this article we present the basis of Monoid Theory from a categorical point of view, emphasizing the analogies and differences between the theory of modules over commutative rings. We present the generalization of afine schemes and afine monoidal schemes. We study the relationship between the former two with opic varieties and we set up the basis for the study of Fontaine-Kato-Illusie's Logaritmic Geometry, widely used in Arithmetic Geometry. En este artículo presentamos las bases de la teoría de monoides desde el punto de vista categórico, haciendo énfasis en las analogías y diferencias entre la teoría de módulos sobre anillos conmutativos. Se presenta la generalización de esquema afín a esquema afín monoidal; estudiamos la relación que éstos tienen con las variedades tóricas y sentamos las bases para el estudio de la Geometría Logarítmica de Fontaine-Kato-Illusie~\cite{kato1989logarithmic}, ampliamente usada en Geometría Aritmética.

Algebraic Geometry,Number Theory
A functorial approach to monomorphism categories II: Indecomposables

Nan Gao,Julian Külshammer,Sondre Kvamme,Chrysostomos Psaroudakis

DOI: https://doi.org/10.1112/plms.12640

2024-09-18

Proceedings of the London Mathematical Society

Abstract:Abstract We investigate the (separated) monomorphism category of a quiver over an Artin algebra . We show that there exists an epivalence (called representation equivalence in the terminology of Auslander) from to , where is the category of finitely generated ‐modules and and denote the respective injectively stable categories. Furthermore, if has at least one arrow, then we show that this is an equivalence if and only if is hereditary. In general, the epivalence induces a bijection between indecomposable objects in and noninjective indecomposable objects in , and we show that the generalized Mimo‐construction, an explicit minimal right approximation into , gives an inverse to this bijection. We apply these results to describe the indecomposables in the monomorphism category of radical square zero Nakayama algebras, and to give a bijection between the indecomposables in the monomorphism category of two artinian uniserial rings of Loewy length 3 with the same residue field. The main tool to prove these results is the language of a free monad of an exact endofunctor on an arbitrary abelian category. This allows us to avoid the technical combinatorics arising from quiver representations. The setup also specializes to more general settings, such as representations of modulations. In particular, we obtain new results on the singularity category of the algebras that were introduced by Geiss, Leclerc, and Schröer in order to extend their results relating cluster algebras and Lusztig's semicanonical basis to symmetrizable Cartan matrices. We also recover results on the algebras that were introduced by Lu and Wang to realize groups via semiderived Hall algebras.

mathematics
A monoidal Dold-Kan correspondence for comodules

Maximilien Péroux

2024-04-08

Abstract:We provide examples of inductive fibrant replacements in fibrantly generated model categories constructed as Postnikov towers. These provide new types of arguments to compute homotopy limits in model categories. We provide examples for simplicial and differential graded comodules. Our main application is to show that simplicial comodules and connective differential graded comodules are Quillen equivalent and their derived cotensor products correspond. We deduce that the rational $A$-theory of a simply connected space $X$ is equivalent to the $K$-theory of perfect chain complexes with a $C_*(X; \mathbb{Q})$-comodule structure.

Algebraic Topology,Category Theory
Almost mathematics of pointed symmetric monoidal model categories by Smith ideal theory

Yuki Kato

2024-07-29

Abstract:This article is a generalization of a result in Quillen's note ``Module theory over non-unital rings'' giving a one-to-one correspondence between bilocalization of abelian categories of modules and idempotent ideals of the base ring. Faltings; Gabber and Ramero established almost mathematics, the same as Quillen's bilocalization of a category of modules by nil modules. In this paper, by using the theory of Smith ideals mentioned in Hovey and Smith, we consider almost mathematics of symmetric monoidal pointed model categories. We prove a weak analogue of the one-to-one correspondence in Quillen.

Category Theory
Closed symmetric monoidal structure and flow

Philippe Gaucher

DOI: https://doi.org/10.48550/arXiv.math/0308064

2003-08-07

Abstract:The category of flows is not cartesian closed. We construct a closed symmetric monoidal structure which has moreover a satisfactory behavior from the computer scientific viewpoint.

Algebraic Topology,Category Theory
Yoneda lemma and representation theorem for double categories

Benedikt Fröhlich,Lyne Moser

2024-02-16

Abstract:We study (vertically) normal lax double functors valued in the weak double category $\mathbb{C}\mathrm{at}$ of small categories, functors, profunctors and natural transformations, which we refer to as lax double presheaves. We show that for the theory of double categories they play a similar role as 2-functors valued in $\mathrm{Cat}$ for 2-categories. We first introduce representable lax double presheaves and establish a Yoneda lemma. Then we build a Grothendieck construction which gives a 2-equivalence between lax double presheaves and discrete double fibrations over a fixed double category. Finally, we prove a representation theorem showing that a lax double presheaf is represented by an object if and only if its Grothendieck construction has a double terminal object.

Category Theory
Local Modules in Braided Monoidal 2-Categories

Thibault D. Décoppet,Hao Xu

DOI: https://doi.org/10.1063/5.0172042

2023-07-06

Abstract:Given an algebra in a monoidal 2-category, one can construct a 2-category of right modules. Given a braided algebra in a braided monoidal 2-category, it is possible to refine the notion of right module to that of a local module. Under mild assumptions, we prove that the 2-category of local modules admits a braided monoidal structure. In addition, if the braided monoidal 2-category has duals, we go on to show that the 2-category of local modules also has duals. Furthermore, if it is a braided fusion 2-category, we establish that the 2-category of local modules is a braided multifusion 2-category. We examine various examples. For instance, working within the 2-category of 2-vector spaces, we find that the notion of local module recovers that of braided module 1-category. Finally, we examine the concept of a Lagrangian algebra, that is a braided algebra with trivial 2-category of local modules. In particular, we completely describe Lagrangian algebras in the Drinfeld centers of fusion 2-categories, and we discuss how this result is related to the classifications of topological boundaries of (3+1)d topological phases of matter.

Category Theory,Strongly Correlated Electrons,High Energy Physics - Theory,Quantum Algebra
On unimodular module categories

Harshit Yadav

2023-08-06

Abstract:Let $\mathcal{C}$ be a finite tensor category and $\mathcal{M}$ an exact left $\mathcal{C}$-module category. We call $\mathcal{M}$ unimodular if the finite multitensor category ${\sf Rex}_{\mathcal{C}}(\mathcal{M})$ of right exact $\mathcal{C}$-module endofunctors of $\mathcal{M}$ is unimodular. In this article, we provide various characterizations, properties, and examples of unimodular module categories. As our first application, we employ unimodular module categories to construct (commutative) Frobenius algebra objects in the Drinfeld center of any finite tensor category. When $\mathcal{C}$ is a pivotal category, and $\mathcal{M}$ is a unimodular, pivotal left $\mathcal{C}$-module category, the Frobenius algebra objects are symmetric as well. Our second application is a classification of unimodular module categories over the category of finite dimensional representations of a finite dimensional Hopf algebra; this answers a question of Shimizu. Using this, we provide an example of a finite tensor category whose categorical Morita equivalence class does not contain any unimodular tensor category.

Quantum Algebra,Category Theory,Representation Theory
Enriched Morita theory of monoids in a closed symmetric monoidal category

Jaehyeok Lee,Jae-Suk Park

2024-10-22

Abstract:We develop Morita theory of monoids in a closed symmetric monoidal category, in the context of enriched category theory.

Category Theory
May's Conjecture on Bimonoidal Functors and Multiplicative Infinite Loop Space Theory

Donald Yau

2024-05-17

Abstract:A conjecture of May states that there is an up-to-adjunction strictification of symmetric bimonoidal functors between bipermutative categories. The main result of this paper proves a weaker form of May's conjecture that starts with multiplicatively strong symmetric bimonoidal functors. As the main application, for May's multiplicative infinite loop space machine from bipermutative categories to either E-infinity ring spaces or E-infinity ring spectra, multiplicatively strong symmetric bimonoidal functors can be replaced by strict symmetric bimonoidal functors.

Algebraic Topology,Category Theory,K-Theory and Homology
Asymptotics in finite monoidal categories

Abel Lacabanne,Daniel Tubbenhauer,Pedro Vaz

DOI: https://doi.org/10.1090/bproc/198

2023-11-09

Abstract:We give explicit formulas for the asymptotic growth rate of the number of summands in tensor powers in certain monoidal categories with finitely many indecomposable objects, and related structures.

Representation Theory,Category Theory,Rings and Algebras

Lemme de Yoneda pour les foncteurs à valeurs monoidales

Nilpotent Category of Monoidal Category and Tensor–Hom Adjunction

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas

Monoidal bicategories, differential linear logic, and analytic functors

Towards higher Frobenius functors for symmetric tensor categories

Duality in Monoidal Categories

Study of various categories gravitating around $(φ,Γ)$-modules

Lax monoidal adjunctions, two-variable fibrations and the calculus of mates

La geometría de los Monoides

A functorial approach to monomorphism categories II: Indecomposables

A monoidal Dold-Kan correspondence for comodules

Almost mathematics of pointed symmetric monoidal model categories by Smith ideal theory

Closed symmetric monoidal structure and flow

Yoneda lemma and representation theorem for double categories

Local Modules in Braided Monoidal 2-Categories

On unimodular module categories

Enriched Morita theory of monoids in a closed symmetric monoidal category

May's Conjecture on Bimonoidal Functors and Multiplicative Infinite Loop Space Theory

Asymptotics in finite monoidal categories