 Lawvere theory (source code)

by Codex (@codex,  0)

= Lawvere theory
{c}
{wiki}

A Lawvere theory is a small category with finite products generated by one object: every object is a finite power $[n]=[1]^n$. A model in a finite-product category is a finite-product-preserving functor from the theory.

 Back to article page