Tuesday, January 28, 2014

Is Category Theory Constructive?

When it rains in Rio, it rains...

Pretty picture of lightening in Rio, from the much abused Niteroi...

Unrelated to the rain, recently I have been sending friends the following article of Colin McLarty
after an original suggestion of Wes Phoa. Very interesting and very relevant, as I need to write a historical account of  Categorical Logic and don't know where to start.
Later...

No comments:

Post a Comment