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.

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


Full text views

Total number of HTML views: 0
Total number of PDF views: 6 *
Loading metrics...

Abstract views

Total abstract views: 58 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 17th October 2017. This data will be updated every 24 hours.