OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Lawvere theory

 Home Mathematics Fields of mathematics Applied mathematics Theoretical computer science Categorical logic
 0 By others on same topic  0 Discussions  1970-01-01  See my version
Lawvere theory is a concept in category theory and is named after the mathematician William Lawvere, who introduced it in the context of topos theory and categorical logic. A Lawvere theory is essentially a generalization of a model of a universal algebra, and it provides a framework for discussing algebraic structures in a categorical manner. ### Definition: A **Lawvere theory** is typically defined as a category \(\mathcal{L}\) that satisfies certain properties.

 Ancestors (6)

  1. Categorical logic
  2. Theoretical computer science
  3. Applied mathematics
  4. Fields of mathematics
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook