BibTeX
@MISC{Carvalho_anote,
author = {Daniel De Carvalho},
title = {A NOTE ON WEAK ALGEBRAIC THEORIES},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. In our PhD thesis ([4]), we showed that for the study of denotational semantics of linear logic ([6]), it is crucial to generalize the standard notion of monad on a category. An earlier generalization was already given by Hoofman ([9]): semimonads. But it was not suitable for our problem. This is why we introduced another generalization: weak monads. In this note, we present this new notion and give some examples.
Citations
| 109 | The formal theory of monads - Street - 1972 |
| 97 | Linear logic, ∗-autonomous categories and cofree coalgebras - Seely - 1989 |
| 92 | What is a Categorical Model of Intuitionistic Linear Logic - Bierman - 1995 |
| 60 | Algebraic Theories - Manes - 1976 |
| 53 | Term assignment for intuitionistic linear logic - Benton, Bierman, et al. - 1992 |
| 52 | Hopf-algebraic structure of families of trees - Grossman, Larson - 1989 |
| 39 | On Intuitionistic Linear Logic - Bierman - 1993 |
| 25 | Differential interaction nets - Ehrhard, Regnier - 2004 |
| 23 | Categorical models of linear logic revisited. Prépublication PPS n o 22 - Melliès - 2003 |
| 10 | Adjunction of semifunctors: categorical structures in nonextensional lambda calculus - Hayashi - 1985 |
| 9 | Catégories et Machines - Logiques - 1988 |
| 7 | A remark on the theory of semi-functors - Hoofman, Moerdijk - 1995 |
| 4 | Sémantiques de la logique linéaire et temps de calcul - Carvalho - 2007 |
