Forro' Logico: A blog to keep things.
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
Two Constructivist Aspects of CategoryTheory
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.
Share to Twitter
Share to Facebook
Share to Pinterest
Post a Comment
Post Comments (Atom)