3532 articles – 5253 Notices  [english version]

inria-00320983, version 1

A Note on Weak Algebraic Theories

Daniel De Carvalho () 1

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