Re: Isomorphism between Mereology and Boolean algebra without least element
Michel,
Thanks for the background info.
Just a couple of comments:
MH> At some time in the 70s there were rumours that
> Bourbaki was writing a volume on Category Theory, but
> it came to nothing. [I believe I have told another
> list (FOM, probably) that Chevalley was supposed to have
> written a definitive treatise on Categories that he lost
> on a trip by ship to the USA -- he had no backup: that
> did not exist at that time...
That's unfortunate. But it is just one more example of
brilliant people doing something stupid. In the 1970s
they certainly had Xerox machines, even earlier, typists
made carbon copies (note our cc list above), and thousands
of years ago, anybody who was making a long journey with
a manuscript would pay a scribe to make a copy.
MH> BTW I strongly dissent with his explanation about the
> lack of diagrams...
In my quoted part, I should have avoided copying the part
where Cartier talked about Kant and the Old Testament.
But the other remarks were interesting.
John