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.

Wednesday, January 8, 2014

(Belated) Happy New Year!

We had a great time in Berlin, where the fireworks were spectacular. Very different from the ones in Rio in the beautiful picture, from Guido in Facebook.

In Rio they're big business organized by the City or the big hotels, who knows... while in Berlin, we saw families and groups of retirees putting out an incredible show that lasted more than 45 min with extremely impressive effects. But anyway the reason for the post is to add somewhere our new papers on OpenWordNet-PT for the Global WordNet Conference. One is progress report  and the other, the work with Livy Real on the integration of the nominalizations/deverbals into the OpenWN-PT.