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

Abstract

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)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00320983 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More