Timeline for Lawvere theories versus classical universal algebra
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 10, 2012 at 10:28 | comment | added | Doctor Gibarian | Related to this discussion:I've found the concept of "standard model of a Lawvere Theory".What is it commonly referred to?Is it just the product preserving functor from a Lawvere Theory to Set in the original definition of a Lawvere Theory? | |
| Jan 8, 2012 at 22:20 | history | edited | Niemi | CC BY-SA 3.0 |
deleted 3 characters in body
|
| Jan 8, 2012 at 15:10 | history | edited | Niemi | CC BY-SA 3.0 |
added 161 characters in body; added 11 characters in body
|
| Jan 8, 2012 at 14:32 | history | edited | Niemi | CC BY-SA 3.0 |
added 195 characters in body; added 1 characters in body
|
| Jan 8, 2012 at 14:22 | history | answered | Niemi | CC BY-SA 3.0 |