A Note on Weak Algebraic Theories - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2008

A Note on Weak Algebraic Theories

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : inria-00320983 , version 1

Citer

Daniel de Carvalho. A Note on Weak Algebraic Theories. [Research Report] RR-6643, INRIA. 2008, pp.37. ⟨inria-00320983⟩
129 Consultations
122 Téléchargements

Partager

Gmail Facebook X LinkedIn More