2 research outputs found
Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories
A categorical model of the multiplicative and exponential fragments of intuitionistic linear logic (IMELL), known as a linear category, is a symmetric monoidal closed category with a monoidal coalgebra modality (also known as a linear exponential comonad). Inspired by R. Blute and P. Scott\u27s work on categories of modules of Hopf algebras as models of linear logic, we study Eilenberg-Moore categories of monads as models of IMELL. We define an IMELL lifting monad on a linear category as a Hopf monad - in the Bruguieres, Lack, and Virelizier sense - with a mixed distributive law over the monoidal coalgebra modality. As our main result, we show that the linear category structure lifts to Eilenberg-Moore categories of IMELL lifting monads. We explain how monoids in the Eilenberg-Moore category of the monoidal coalgebra modality can induce IMELL lifting monads and provide sources for such monoids. Along the way, we also define mixed distributive laws of bimonads over coalgebra modalities and lifting differential category structure to Eilenberg-Moore categories of exponential lifting monads
Lifting Coalgebra Modalities and Model Structure to Eilenberg-Moore Categories
A categorical model of the multiplicative and exponential fragments of
intuitionistic linear logic (), known as a \emph{linear
category}, is a symmetric monoidal closed category with a monoidal coalgebra
modality (also known as a linear exponential comonad). Inspired by Blute and
Scott's work on categories of modules of Hopf algebras as models of linear
logic, we study categories of algebras of monads (also known as Eilenberg-Moore
categories) as models of . We define a lifting
monad on a linear category as a Hopf monad -- in the Brugui{\`e}res, Lack, and
Virelizier sense -- with a special kind of mixed distributive law over the
monoidal coalgebra modality. As our main result, we show that the linear
category structure lifts to the category of algebras of lifting
monads. We explain how groups in the category of coalgebras of the monoidal
coalgebra modality induce lifting monads and provide a source
for such groups from enrichment over abelian groups. Along the way we also
define mixed distributive laws of symmetric comonoidal monads over symmetric
monoidal comonads and lifting differential category structure.Comment: An extend abstract version of this paper appears in the conference
proceedings of the 3rd International Conference on Formal Structures for
Computation and Deduction (FSCD 2018), under the title "Lifting Coalgebra
Modalities and Model Structure to Eilenberg-Moore Categories