Bourbaki and foundations

[martdowd at aol.com]

 FOM:
Joe Shipman writes:

The explanations why you might want to use category theory as a basis for formal proof assistant systems are fine, and the explanations why you might want to LEARN category theory because it is closer to mathematics practice in many areas of mathematics are fine
 
 For another example. see https://web.science.mq.edu.au/~street/MitchB.pdf
Martin Dowd
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220513/4ce70c6b/attachment-0001.html>