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 02:36 am (UTC)
dmm: (Default)
From: [personal profile] dmm
Здорово!

Про молодого Ловера, вообще, много классных историй...

Date: 2019-12-30 07:21 pm (UTC)
dmm: (Default)
From: [personal profile] dmm
This interview is very interesting:

http://www.mat.uc.pt/~picado/lawvere/interview.pdf

On page 10 he comments on this story by MacLane, and on page 18-19 there is a rather remarkable political stuff, ending with him landing at Buffalo, which became his permanent place of work: "John Isbell and Jack Duskin were able to persuade the dean that (contrary to the message sent out by one of the Dalhousie deans) I was not a danger and might even be an asset".

Date: 2019-12-30 07:32 am (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi
Wow, thanks a lot for the link, and for this text. I was vaguely wondering, how come there are so many sets in MacLane's book - now I know. It was just too old-fashioned. Thank you!

Still, 50 years later, the world is stuck in that set theory mentality. Sad.

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

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 29th, 2025 08:29 am
Powered by Dreamwidth Studios