see _[[nLab:Denis-Charles Cisinski]]_ category: people