Skip to main content
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 1
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Lack, Stephen and Rosický, Jiří 2011. Notions of Lawvere Theory. Applied Categorical Structures, Vol. 19, Issue. 1, p. 363.


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

  • STEPHEN LACK (a1) and JOHN POWER (a2)
  • DOI:
  • Published online: 01 July 2009

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? *