timelets: (Default)
[personal profile] timelets
How Lawvere got rid of sets in the Category Theory.



MacLane didn't get the idea right away:




Date: 2019-12-30 07:31 pm (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi
Bourbaki, right. I remember trying to read their "Set Theory" book. A page dedicated to proving that x = x, etc. Probably written for the people who already know stuff, not for students. Well, there's another such book, Bahrendregt. When I read it, I know that 99.99% of readers are totally clueless, because hardly anybody is familiar with e.g. Grothendieck toposes, half-implicitly used there.

Profile

timelets: (Default)
timelets

June 2025

S M T W T F S
123456 7
8 9 1011 1213 14
15 1617 18 192021
2223 242526 27 28
2930     

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 2nd, 2025 11:15 pm
Powered by Dreamwidth Studios