2
$\begingroup$

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?

  • 1
    AFAIK it just sends $1$ to the underlying set of a group, and $\pi: 1 \times 1 \to 1$ - to the group operation.2011-09-03
  • 0
    Ah that makes sense, I think that's the answer.2011-09-03

0 Answers 0