Timeline for Presenting Lawvere theories?
Current License: CC BY-SA 3.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Feb 12, 2017 at 13:52 | vote | accept | Jacques Carette | ||
| Jun 14, 2014 at 16:32 | answer | added | Tim Campion | timeline score: 4 | |
| Jun 14, 2014 at 15:34 | answer | added | goblin GONE | timeline score: 4 | |
| Jan 9, 2012 at 2:55 | comment | added | Jacques Carette | @Andrej: I like that 'answer', definitely something I can work with! | |
| Jan 9, 2012 at 1:06 | comment | added | Andreas Blass | I agree with Andrej. In fact, I think the first of Lawvere's contributions here was exactly to point out what abstract entities are presented by (single-sorted) equational theories, in exactly the same sense as groups are the abstract entities presented by generators and relations. | |
| Jan 9, 2012 at 0:21 | comment | added | Andrej Bauer | You could present them as single-sorted equational theories... | |
| Jan 8, 2012 at 23:21 | history | edited | Jacques Carette | CC BY-SA 3.0 |
Try to clarify what is meant by 'present'
|
| Jan 8, 2012 at 21:14 | comment | added | Benjamin Steinberg | I am not sure exactly what you mean here by present. Is it something like to describe a monoid one needs from the point of view of universal algebra to say an associative multiplication and a nullary operation while one needs the whoe clone to describe the Lawvere theory? | |
| Jan 8, 2012 at 17:28 | comment | added | Buschi Sergio | you can make models $\Omega(\mathcal{C})$ category of a algebraic theory $\Omega$ on any cartesian category $\mathcal{C}$ (ie. with finite limits, or finite products is enought I seem), you have the 2-funtor: $\mathcal{C} \mapsto \Omega(\mathcal{C})$, THe Lawvere categry make a realization of this functor. "Categories" H. Schubert, or Theory of categories - Nicolae Popescu give a good exposition of Lawvere theory. in the general setting of classifing catgories of some type of logic, see: B. Jacobs, Categorical Logic and Type Crole, R. L.: Categories for Types. CUP | |
| Jan 8, 2012 at 16:24 | answer | added | Niemi | timeline score: 4 | |
| Jan 8, 2012 at 15:13 | history | asked | Jacques Carette | CC BY-SA 3.0 |