Timeline for Category theory and model theory as "natural" counterparts
Current License: CC BY-SA 3.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Sep 9, 2012 at 6:55 | comment | added | Andrej Bauer | It is just an impression I got from Bill Lawvere. Read his "Down with 'Foundations'! Up with algebra!" at permalink.gmane.org/gmane.science.mathematics.categories/3167, and while you are at it you may also enjoy "Why are we concerned" at permalink.gmane.org/gmane.science.mathematics.categories/3175 and permalink.gmane.org/gmane.science.mathematics.categories/3164 | |
Sep 8, 2012 at 16:49 | comment | added | Giorgio Mossa | @AndrejBauer I completly agree about the comparison between categorical logic and model theory, but why should category theory be compared with algebra? | |
Sep 7, 2012 at 20:07 | history | answered | Andrej Bauer | CC BY-SA 3.0 |