Baez

Hi,

perhaps you might be interested in John Baez popular column this 
week: <http://math.ucr.edu/home/baez/week227.html>.

He talks about the recent big event in Marseille and suggests several 
papers on categories and proof theory, including Yves Guiraud's paper 
on the three dimensions of system SKS: 
<http://iml.univ-mrs.fr/~guiraud/recherche/cos1.pdf>.

Ciao

-Alessio