Skip to main content
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