Lawvere theory Photos:

Lawvere theory
Photo:1
Lawvere theory
Photo:2
Lawvere theory
Photo:3
Lawvere theory
Photo:4


Lawvere theory Wiki Informations:

In category theory, a Lawvere theory (named after American mathematician William Lawvere) is a category which can be considered a categorical counterpart of the notion of an equational theory.

Contents

[edit] Definition

Let \aleph_0 be a skeleton of the category FinSet of finite sets and functions. Formally, a Lawvere theory consists of a small category L with (strictly associative) finite products and a strict identity-on-objects functor I:\aleph_0^\text{op}\rightarrow L preserving finite products.

A model of a Lawvere theory in a category C with finite products is a finite-product preserving functor M : LC.

[edit] Category of Lawvere theories

A map between Lawvere theories (L,I) and (L′,I′) is a finite-product preserving functor which commutes with I and I′. Such a map is commonly seen as an interpretation of (L,I) in (L′,I′).

Lawvere theories together with maps between them form the category Law.

[edit] See also

[edit] References

  • Hyland, Martin; Power, John (2007), The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads 
  • Lawvere, William F. (1964), Functorial Semantics of Algebraic Theories (PhD Thesis) 

strawberry