Equational Lifting Monads

Anna Bucalo, Carsten Fuhrmann, Alexander Simpson

Research output: Contribution to journalArticlepeer-review


We introduce the notion of an “equational lifting monad” : a commutative strong monad satisfying one additional equation (valid for monads arising from partial map classifiers). We prove that any equational lifting monad has a representation by a partial map classifier such that the Kleisli category of the former fully embeds in the partial category of the latter. Thus equational lifting monads precisely capture the (partial) equational properties of partial map classifiers. The representation theorem also provides a tool for transferring non-equational properties of partial map classifiers to equational lifting monads.
Original languageEnglish
JournalElectronic Notes in Theoretical Computer Science
Publication statusPublished - 1999


Dive into the research topics of 'Equational Lifting Monads'. Together they form a unique fingerprint.

Cite this