Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I created a stub for Jacques Penon. He doesn’t have a website to speak of.
Corrected link to his NUMDAM publications. The article says
“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.
The article includes a link to his 1999 definition of “non-strict $\infty$-ctegories”, which was presumably the one proved to be too strict, but not his updated proposal. If someone knows where that is, please add a reference!
1 to 2 of 2