Jacques Penon is a category theorist who has worked on synthetic differential geometry and higher categories. He introduced the concept of a quasitopos in (Penon 1973) and gave a definition of weak n-category that was later proved to be too strict by Cheng and Makkai. His proposal was updated to take this particular objection into account.
J. Penon, Quasi-topos , C.R. Acad. Sci. Paris 276 Série A (1973) pp.237–240. (gallica)
J. Penon, Catégories localement internes , C.R. Acad. Sci. Paris 278 Série A (1974) pp.1577–1580. (gallica)
Jacques Penon, Infinitésimaux et intuitionnisme, Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 22 (1981) no. 1, p. 67-72 (numdam:CTGDC_1981__22_1_67_0)
(on the logical topology in synthetic differential topology)
J. Penon, Approche polygraphique des -catégories non strictes, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 40 no. 1 (1999), p. 31-80 NUMDAM
Last revised on March 15, 2019 at 08:45:31. See the history of this page for a list of all contributions to it.