Models for Lawvere theories are functors that preserve products. I'm a little confused about this detail: suppose you have a Lawvere theory for groups. If you have a specific group in mind, is there an obvious way to pick the functor so that it represents that group?
Choosing a specific model of a Lawvere Theory
2
$\begingroup$
category-theory
-
0Ah that makes sense, I think that's the answer. – 2011-09-03