Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

A Lawvere theory is a small category with finite products such that every object is isomorphic to a finite product of copies of a distinguished object x. A model of the theory in a category with finite products is a product preserving functor from the theory to that category.

This notion is supposed to be the right categorical viewpoint on universal algebra. Given a classical variety of universal algebra, one gets a theory by considering the opposite of the category of finitely generated free algebras.

My question is, what are the advantages/disadvantages of theories versus classical universal algebra?

I believe that theories are more general. What are natural examples of theories that are not covered by classical universal algebra?

Does the classical equational theory of universal algebra have a nice analog for theories?

share|improve this question
3  
Well, the obvious advantage that comes to mind is that you can consider models in categories other than Set. –  Qiaochu Yuan Jun 29 '11 at 3:24
4  
From where I stand, you might as well ask what are the disadvantages of a hammer over a drill. In my not so humble opinion, a better question would be where are Lawvere theories more applicable than the equational theories of classes of algebraic structures. Part of the problem I am having is that (for me) "classical universal algebra" is not just about equational classes of models and their (deductively closed) theories. See also my request below to Todd Trimble. Gerhard "Species Gap, Not Generation Gap" Paseman, 2011.06.28 –  Gerhard Paseman Jun 29 '11 at 6:54
6  
Sorry for this offtopic-question, but I always wondered how Lawvere is pronounced correctly. Can someone explain this to me? –  Martin Brandenburg Jun 29 '11 at 9:32
    
I am not 100% one cannot define models of a classical universal algebra in categories other than sets. People like Banachewski (sp?) long considered topological universal algebras. I think for a variety of universal algebras, it is not hard to define a model in another category diagramatically, like the way group objects are defined. I.e., a map from the direct power of m copies of the object to itself for each m-ary operations such that appropriate diagrams commute. Of course this looks just like a functor from the opposite of the category of finitely generated free objects... –  Benjamin Steinberg Jun 29 '11 at 11:59
2  
Martin: it's law-VEER. I can't remember what he told me about the origin of the name, but I think it might have been Flemish or something. He himself grew up on a farm in Indiana (USA). –  Todd Trimble Jun 29 '11 at 14:45

3 Answers 3

up vote 25 down vote accepted

My own experience is that Lawvere theories help one "think outside the box" in ways that I really don't think are too likely with classical universal algebra. Qiaochu has already pointed to what is the key idea: that they enable one to consider models other than in $Set$. Actually, you could put it more strongly. Namely, in Lawvere's formulation, the theory is a model in this extended sense: it is the universal model. For example, the Lawvere theory of groups is the category with finite products where all you know about it is that it has a group object, and nothing more. You could take this philosophy further still: any category with finite products $C$ could be considered an algebraic theory in its own right, where a model of $C$ in a category with finite products $D$ is a product-preserving functor $C \to D$. And this conceptual expansion pays off.

Let me give a concrete example of this: consider the concept of Boolean algebra. Here the Lawvere theory is the category of finite sets of cardinality $2^n$, denoted $Fin_{2^\bullet}$. This is already a neat way to define a Boolean algebra: as a product-preserving functor

$$Fin_{2^\bullet} \to Set.$$

But it's even nicer when you complete $Fin_{2^\bullet}$ to its Karoubi envelope. It's not hard to see that if $C$ is a category with finite products, then the Karoubi envelope $\bar{C}$ also has finite products, and the models of $C$ are equivalent to models of $\bar{C}$. In the present case, the Karoubi envelope of $Fin_{2^\bullet}$ is $Fin_+$, the category of finite nonempty sets. Thus a Boolean algebra is equivalently a product-preserving functor

$$Fin_+ \to Set$$

This not only looks prettier, but it frees us from tendencies of thinking of Boolean algebras as having intrinsically to do with things like power sets and powers of 2: there's no power of 2 sticking out in this description. I call this an unbiased Boolean algebra -- we have removed the bias toward 2.

It also allows one to see that one could be biased in different ways, and see Boolean algebras, if we want, as having to do with powers of 3 instead. In other words, the Lawvere theory $Fin_{3^\bullet}$ has, by the same Karoubi envelope reasoning, the same models as $Fin_+$, so we could just as well think of a Boolean algebra as a product-preserving functor

$$Fin_{3^\bullet} \to Set$$

which gives a totally different way of seeing Boolean algebras as monadic over $Set$ -- here the "underlying sets" of such algebras have a tendency to look like structures on sets of cardinality $3^n$. If you are wondering what good that is for, I might recommend looking at the nLab article on Boolean algebras, and on the multiplicity of different ways of understanding the ultrafilter monad which this suggests. I personally have found this quite eye-opening.

Historically, the heyday of Lawvere theories was in the sixties, when the close connections with monads were ironed out. Lawvere theories are essentially the same things as finitary monads; one advantage of Lawvere theories is that it enabled one to more clearly see this connection, which in turn leads to a clear view of the story about infinitary theories and their equivalence with monads on $Set$ (at least for locally small theories). Nowadays these things are under good control, and they allow us to define things like "compact Hausdorff objects" as models of the infinitary Lawvere theory attached to the ultrafilter monad -- these too are useful. I don't think any of this would have been at all easy to see from the point of view of classical universal algebra.

The connection between theories and monads is worked out in this nLab article. Cf. also this MO answer, which goes into some more detail on the discussion about Boolean algebras.


Edit: In a comment below, Gerhard Paseman very kindly called my attention to the example of $n$-valued Post algebras, which I had not heard of prior to this discussion. Apparently these were introduced by the Polish logician Emil Post based on his studies of $n$-valued logic as an extension of ordinary 2-valued logic; the $n$-valued Post algebras are to $n$-valued logic as Boolean algebras are to 2-valued logic. There are a number of equational presentations of Post algebras; see for example this article by George Epstein from the Transactions of the AMS.

Perhaps I can use this very example to follow Gerhard's advice, and deliver an attempted sales pitch specifically to him. :-) I hope it's not considered off the topic; it is meant to illustrate the basic conceptual simplicity of the Lawvere-theory way of thinking.

If my suspicions are right, the Lawvere theory of $n$-valued Post algebras is nothing but $Fin_{n^\bullet}$, the category of finite sets whose cardinality is a power of $n$. Or, in other words, that such Post algebras can be identified with functors

$$Fin_{n^\bullet} \to Set$$

that preserve finite products. Certainly for anyone used to Lawvere theories, this gives a very tidy description, and this description makes it easy to see the essential equivalence between $n$-valued Post algebras and Boolean algebras, as in the Karoubi envelope analysis above (which uses nothing more complicated than idempotent functions between finite sets).

For those not used to Lawvere theories (and of course this is assuming my suspicions are correct), the more traditional syntactic descriptions given by Post and his followers can be extracted from this categorical description. The rough idea is this. If $X$ is a Boolean algebra, and if $P(n)$ is the power set of a set with $n$ elements, then the elements of the corresponding $n$-valued Post algebra are simply Boolean algebra homomorphisms $P(n) \to X$. Let $X(n)$ denote this set. The $m$-fold cartesian product $X(n)^m$ is naturally identified with $X(n^m)$, the set of Boolean algebra homomorphisms $P(n^m) \to X$. Then, we may describe the clone of Post algebra operations: the $m$-ary operations $X(n)^m \to X(n)$ in the clone are in one-to-one correspondence with functions $f: [n^m] \to [n]$ from an $n^m$-element set to an $n$-element set. Namely, each function $f: [n^m] \to [n]$ induces a Boolean algebra map $f^{-1}: P(n) \to P(n^m)$ (the inverse image $f^{-1}$ takes a subset $S \subseteq [n]$ to $f^{-1}(S) \subseteq [n^m]$); then the corresponding Post algebra operation $X(n^m) \to X(n)$ sends a Boolean algebra map $\phi: P(n^m) \to X$ to the composite

$$P(n) \stackrel{f^{-1}}{\to} P(n^m) \stackrel{\phi}{\to} X.$$

This gives the clone; giving an explicit description of a set of operations and identities for the theory in a universal algebra sense is pretty much the same thing as giving a combinatorial analysis of functions between sets of cardinality a power of $n$, in other words how to generate such functions from a smaller class using cartesian products and composition.

I think with that clue, we can figure out what is going on in Epstein's paper. The constants of the theory are given by functions $[1] \to [n]$, so there are $n$ of them. These are the $e_i$ of his paper. Next, unary operations of the clone are given by functions $[n] \to [n]$; for his purposes, Epstein selects $n$ of them, and calls them $C_i$ ($i = 0, \ldots, n-1$). From our point of view, they are uniquely specified by how they act on the constants, since a function $[n] \to [n]$ is uniquely determined by how it acts on functions $[1] \to [n]$. Epstein's $C_i$ are just the indicator or characteristic functions given by $C_i(e_j) = \delta_{ij}$ (returning the "bottom" constant $e_0 = \bot$ if $i \neq j$, and the "top" constant $e_{n-1} = \top$ if $i = j$). These together with the lattice operations $\wedge: [n]^2 = [n^2] \to [n]$ and $\vee: [n]^2 = [n^2] \to [n]$, which are again uniquely specified by how they act on constants (and defined by the expected rules if the $e_i$ are ordered by $e_i \leq e_j$ iff $i \leq j$), are shown by Epstein to generate the theory of Post algebras, but seems pretty intuitive that they generate the clone as described here by the Lawvere theory $Fin_{n^\bullet}$: it says that any finite function $[n^m] \to [n]$ can be built from a combination of meets and joins applied to the constants $e_i$ and their characteristic functions $C_j$.

Part of my point above was that all the Post algebra theories can be united under a single simple umbrella given by the category of product-preserving functors $Fin_+ \to Set$.

share|improve this answer
1  
I felt that the original question was akin to asking for advantages and disadvantages of apples versus oranges, and your answer strengthens the feeling. Lawvere theories might provide a generalization, but until there is a lot more work shown outside of Set, it is hard to see such a generalization as applicable to anything far removed from category theory. Now if your example could be turned pack to Set and say something about n-valued Post algebras or arithmetical (in the UA sense) varieties, then I might be sold. Gerhard "Ignorance Can Help Form Opinion" Paseman, 2011.06.28 –  Gerhard Paseman Jun 29 '11 at 6:37
2  
So this pair of comments should be viewed as a request. Can you expand your answer so that we can see more applications of Lawvere theories (or even monads) to other realms which are not (in appearance at least) so category-theoretical in nature? If you can produce one or two examples that are true, I am willing to take your word on something (which I am making up) like "because of the monad perspective, we can lift these properties about Boolean algebras over to a decomposition of iterated forcing over models of ZF". Gerhard "Doesn't Believe Anything Before Coffee" Paseman, 2011.06.28 –  Gerhard Paseman Jun 29 '11 at 6:47
    
@Todd, I mostly like this answer. But I would like to know if the theory viewpoint allows one to apply the equational theory concept to these more general situations. Like if I look at compact Hausdorff spaces, then I can think of an identity over the alphabet X as a formal equality between elements of the Stone-Cech compactification $\beta X$ and say that a compact Hausdorff space to $Y$ satisfies this identity if any map from $X$ to $Y$ has the property that the extension to $\beta X$ identifies these two elements. Is something like this always true for theories? –  Benjamin Steinberg Jun 29 '11 at 12:02
    
Continuing... Is there some notion for a theory that an identity is a formal equality between two coterminous arrows of the theory category? Is the collection of all models, say in Set, some natural generalzation of a variety? What closure properties does it have? –  Benjamin Steinberg Jun 29 '11 at 12:04
1  
Hi, Gerhard. Thanks for mentioning n-valued Post algebras; this helps me track down some learned allusions that I hadn't picked up on before. My general reaction here is to emphasize that despite the shortcomings of some expositors, perhaps the main practical point of category theory is to make mathematics easier to understand, not harder. Despite some jargon, I actually meant for my answer to be understandable to a wide range of mathematicians, not just category theorists, and ideally to think, "hey, that's pretty cool", and not, "ugh, not more categorical abstract nonsense". More to come... –  Todd Trimble Jun 29 '11 at 13:07

One reason that Lawvere theories might be useful is in homotopy theory: Badzioch has apparently done work on formalizing the notion of a "homotopy algebra" (over a given Lawvere theory). The idea seems to be that an algebra over a Lawvere theory is something you can make homotopyish without recourse to things like operads: given $T$, a homotopy $T$-algebra is a functor $T \to \mathrm{Spaces}$ which preserves products up to homotopy equivalence (rather than on the nose).

In general, it seems that having a categorical language rather than explicit operations is much better for making algebraic structures homotopy invariant. An earlier example is given by the $\Gamma$-spaces of Segal: one writes the axioms of an abelian monoid in terms of a suitable product-preserving functor $\mathrm{Fin}_* \to \mathbf{Sets}$ and replaces those then by weakly product-preserving functors to spaces. It turns out grouplike $\Gamma$-spaces are essentially equivalent to infinite loop spaces.

I don't understand too much of this yet, but what's a little puzzling to me is that homotopy $T$-algebras (according to Badzioch) turn out to be essentially the same as ordinary $T$-algebras. (By contrast, the homotopy-theoretic analog of an abelian group--an infinite loop space--is generally very different from an abelian group.)

share|improve this answer
    
I just looked briefly at Badzioch's paper and wondered about the exact same thing that you bring up in your last paragraph. Did you ever sort this out? –  Aaron Mazel-Gee Nov 27 '12 at 0:47
    
Hi Aaron. I never spent much time with Badzioch's paper and didn't think about it further, but your question makes me curious. I'll look at it again and see if I can figure it out. –  Akhil Mathew Nov 27 '12 at 12:46
    
Ah, so I think the point is that there's no a priori reason that up-to-homotopy models (in $\mbox{Top}$) for the abelian group Lawvere theory should give rise to $E_\infty$-spaces. And of course, this result immediately implies that not all $E_\infty$-spaces can be written as homotopy models. –  Aaron Mazel-Gee Nov 30 '12 at 15:54

The following point is of course related to the fact that you can use models different from Set, but I think it deserves to be discussed explicitly.

Every clone (in the unverisal algebra sense) can be written as a set of morphisms in a suitable category. Obviously, this category can be chosen to be the category of sets (since the functions in a clone are set-functions), but we might also very well chose another category. For instance, one can write every clone on a finite set as the set of homomorphisms over a relational structure in a variety of relational structures (understood as a category). This works since every clone on a finite set is the set of polymorphisms of a certain set of relations.

To give another example: If the clone in question is a so-called centralizer clone, then it can even be written as the set of homomorphisms in a variety of algebras (understood as a category).

Thus, in terms of Lawvere theories, you look at models in categories different from Set. The advantage of the category-theoretic setting is that you can now apply duality theory. For instance, if we take the centralizer clone of a Boolean algebra, then we can interpret it as a model in the category of Boolean algebras and use the Stone duality to dualize it to a comodel in the category of sets, which are then, if you transfer the scenario back to unviversal algebra, essentially the (well-studied and easy to understand) coclones over sets.

In the last few years, there have been a few papers that studied clones in exactly this way. In particular, this gave many new results for the centralizer clones of Boolean algebras, distributive lattices (which, via Priestley Duality, become comodels in the category of Priestley spaces) and median algebras (which, via a duality by Isbell, become comodels in the category of what I think is often called Isbell spaces). I do not see any (convenient) way to formulate such a connection without using category theory and looking at clones as Lawvere theories.

I believe this is a nice example where shifting to a category theoretic setting has some actual advantages and is not just a question of whether you personally like it or not.

share|improve this answer
    
Thanks for this info. –  Benjamin Steinberg Jan 8 '12 at 20:06
    
Related to this discussion:I've found the concept of "standard model of a Lawvere Theory".What is it commonly referred to?Is it just the product preserving functor from a Lawvere Theory to Set in the original definition of a Lawvere Theory? –  Doctor Gibarian Jan 10 '12 at 10:28

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.