Take the 2-minute tour ×
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.

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?

share|improve this question
1  
AFAIK it just sends $1$ to the underlying set of a group, and $\pi: 1 \times 1 \to 1$ - to the group operation. –  Alexei Averchenko Sep 3 '11 at 15:10
    
Ah that makes sense, I think that's the answer. –  Joe Sep 3 '11 at 15:22

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.