Categories Logic and Physics - 30 November