Skip to main content
    • Aa
    • Aa

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

  • STEPHEN LACK (a1) and JOHN POWER (a2)

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 an 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.

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

M. Barr & C. Wells (1985) Toposes, Triples and Theories. Springer.

M. Barr & C. Wells (1990) Category Theory for Computing Science. Prentice Hall.

M. Hyland , P. B. Levy , G. Plotkin & J. Power (2007) Combining algebraic effects with continuations, Theor. Comput. Sci., 375 (1–3): 2040.

M. Hyland , G. Plotkin & J. Power (2006) Combining computational effects: sum and tensor, Theor. Comput. Sci., 357 (1–3): 7099.

M. Hyland & J. Power (2006) Discrete Lawvere theories and computational effects, Theor. Comput. Sci., 366 (1–2): 144162.

F. W. Lawvere (1963) Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. USA, 50 (5): 869872.

E. Moggi (1991) Notions of computation and monads, Inform. Comput., 93 (1): 5592.

K. Nishizawa & J. Power (2009) Lawvere theories enriched over a general base, J. Pure Appl. Algebra, 213 (3): 377386.

P. W. O'Hearn & R. D. Tennent (1997) Algol-Like Languages. Birkhäuser.

G. Plotkin & J. Power (2003) Algebraic operations and generic effects, Appl. Categ. Struct., 11 (1): 6994.

J. Power (1995) Why tricategories? Inform. Comput., 120 (2): 251262.

E. Robinson (2002) Variations on algebra: monadicity and generalisations of equational theories, Formal Aspects Comput., 13 (3–5): 308326.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Journal of Functional Programming
  • ISSN: 0956-7968
  • EISSN: 1469-7653
  • URL: /core/journals/journal-of-functional-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *