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?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top