Skip to search formSkip to main contentSkip to account menu

Lawvere theory

Known as: Lawvere theories 
In category theory, a Lawvere theory (named after American mathematician William Lawvere) is a category which can be considered a categorical… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations

Broader (1)

Categorical logic
Category theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2019
Review
2019
A Universal Algebraic Survey of $\mathcal{C}^{\infty}-$Rings
In this paper we present some basic results of the Universal Algebra of $\mathcal{C}^\infty$-rings which were nowhere to be found… 
2017
2017
Representing operational semantics with enriched Lawvere theories
Many term calculi, like lambda calculus or pi calculus, involve binders for names, and the mathematics of bound variable names is… 
2016
2016
Logic as a distributive law
We present an algorithm for deriving a spatial-behavioral type system from a formal presentation of a computational calculus… 
2013
2013
Category Theory Foundation For Engineering Modelling
Category theory provides a formal foundation for engineering modelling, as well as, mathematics and science. Both structure and… 
2011
2011
Nominal Lawvere Theories
Lawvere theories provide a category theoretic view of equational logic, identifying equational theories with small categories… 
2011
2011
Indexed Lawvere theories for local state
Monads for global state and local state have been used to provide semantics of programming languages for many years. There is a… 
2008
2008
RCF3: Map-Code Interpretation via Closure
For a (minimal) Arithmetical theory with higher Order Objects, i.e. a (minimal) Cartesian closed arithmetical theory -- coming as… 
2006
2006
The Universal Algebra of Computational Effects: Lawvere Theories and Monads
Lawvere theories were defined in 1963 as a category theoretic axiomatisation of the notion of a clone of an equational theory. A… 
2004
2004
A Model-Theoretic Description of Tree Adjoining Grammars
1999
1999
Higher-dimensional syntax
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)