A Note on Weak Algebraic Theories

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… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics