Category theory in Mons (Belgium) 30 October 2013