A Note on Weak Algebraic Theories - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2008

A Note on Weak Algebraic Theories


In our PhD thesis, we showed that for the study of denotational semantics of Linear Logic, it is crucial to generalize the standard notion of monad on a category. An earlier generalization was already given by Hoofman : semi-monads. But it was not suitable for our problem. This is why we introduced another generalization : weak monads. In this report, we present this new notion and give some examples.
Fichier principal
Vignette du fichier
RR-6643.pdf (361.94 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00320983 , version 1 (11-09-2008)


  • HAL Id : inria-00320983 , version 1


Daniel de Carvalho. A Note on Weak Algebraic Theories. [Research Report] RR-6643, INRIA. 2008, pp.37. ⟨inria-00320983⟩
126 View
119 Download


Gmail Facebook Twitter LinkedIn More