nLab Jacques Penon

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.

• Publications in NUMDAM

Related entries

• n-category

• quasitopos

selected writings

• 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 $\infty$-catégories non strictes, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 40 no. 1 (1999), p. 31-80 NUMDAM

References

• Eugenia Cheng, Michael Makkai, A note on the Penon definition of $n$-category Cahiers de Topologie et Geometrie Differentielle Categoriques 50 (2009) p. 83-101, arXiv:0907.3961

category: people