Peter Le Fanu Lumsdaine has contributed to 25 nLab pages.
| HoTT in Bonn2018 | 13:03:47, December 05 2025 |
| list of theses in category theory | 10:29:30, October 28 2024 |
| Makkai duality | 10:23:50, October 28 2024 |
| ultracategory | 10:22:55, October 28 2024 |
| Francisco Marmolejo | 10:07:43, October 28 2024 |
| excellent model category | 15:07:28, February 19 2019 |
| axiom of multiple choice | 15:41:48, March 02 2018 |
| Peter LeFanu Lumsdaine | 09:13:02, September 27 2015 |
| locally cartesian closed (infinity,1)-category | 12:37:05, May 27 2015 |
| categorical semantics of dependent type theory | 12:39:27, September 04 2014 |
| factorization lemma | 10:32:50, August 31 2014 |
| chain complex | 10:32:31, August 31 2014 |
| meaning explanation | 10:32:25, August 31 2014 |
| homotopy limit | 10:31:53, August 31 2014 |
| enriched derivator | 10:30:08, August 31 2014 |
| monoid object > history | 10:29:42, August 31 2014 |
| monoid | 10:29:42, August 31 2014 |
| monoidal category | 10:29:42, August 31 2014 |
| monad | 10:29:41, August 31 2014 |
| monad | 10:29:41, August 31 2014 |
| monad | 10:29:41, August 31 2014 |
| string diagram | 10:29:40, August 31 2014 |
| triangle identities | 10:29:40, August 31 2014 |
| adjunction | 10:29:40, August 31 2014 |
| Sandbox | 10:29:40, August 31 2014 |
| flat functor | 10:29:25, August 31 2014 |
| flat module | 10:29:25, August 31 2014 |