Expansion catégorielle et logique - Miéville, Denis (My University, 1999)