On June 16, 2010 there will be at the University of Florence, Italy, a one day meeting on Category Theory. Location: University of Florence, via Laura 48, Florence. Program: h. 9.30 John Bell The axiom of choice in a constructive setting h. 11 Olivia Caramello The unification of mathematics via topos theory h. 12 Alberto Peruzzi Categorical philosophy h. 15 John Stachel, Structures and categories h. 16.30 Bill Lawvere: Cantor¹s lauter Einsen in the light of Galois and Grothendieck h. 17.30 Panel discussion No participation fee. Participants are kindly requested to contact alberto.peruzzi@unifi.it Many thanks for the circulation of this announcement. Alberto Peruzzi University of Florence [For admin and other information see: http://www.mta.ca/~cat-dist/ ]