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?

  • 0
    Ah that makes sense, I think that's the answer.2011-09-03

0 Answers 0