inria-00320983, version 1
A Note on Weak Algebraic Theories
N° RR-6643 (2008)
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.
- 1 : CALLIGRAMME (INRIA Lorraine - LORIA)
- INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
- Domaine : Mathématiques/Catégories et ensembles
- Mots-clés : category theory – linear logic – denotational semantics
- Référence interne : RR-6643
- inria-00320983, version 1
- http://hal.inria.fr/inria-00320983
- oai:hal.inria.fr:inria-00320983
- Contributeur : Daniel De Carvalho
- Soumis le : Jeudi 11 Septembre 2008, 23:50:09
- Dernière modification le : Mardi 23 Septembre 2008, 13:32:29
Documents associés
Exporter