Gabriel-Ulmer duality and Lawvere theories enriched over a general base

S Lack, J Power

Research output: Contribution to journalArticle

6 Citations (Scopus)
139 Downloads (Pure)

Abstract

Motivated by the search for a body of mathematical theory to support the semantics of computational effects, we first recall the relationship between Lawvere theories and monads on Set. We generalise that relationship from Set to all arbitrary locally presentable category Such as Poset and ωCpo or functor categories such as [Inj,Set] and [Inj,ωCpo]. That involves allowing the arities of Lawvere theories to be extended to being size-restricted objects of the locally presentable category. We develop a body of theory at this level of generality, in particular explaining how the relationship between generalised Lawvere theories and monads extends Gabriel-Ulmer duality.
Original languageEnglish
Pages (from-to)265-286
Number of pages22
JournalJournal of Functional Programming
Volume19
Issue number3-4
DOIs
Publication statusPublished - Jul 2009
EventWorkshop on Mathematically Structured Functional Programming - Kuressaare, Estonia
Duration: 1 Jul 2009 → …

Fingerprint Dive into the research topics of 'Gabriel-Ulmer duality and Lawvere theories enriched over a general base'. Together they form a unique fingerprint.

  • Cite this