Peter Le Fanu Lumsdaine has contributed to 20 nLab pages.
| 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 |
| Sandbox | 10:29:40, August 31 2014 |
| adjunction | 10:29:40, August 31 2014 |
| triangle identities | 10:29:40, August 31 2014 |
| string diagram | 10:29:40, August 31 2014 |
| flat functor | 10:29:25, August 31 2014 |
| flat module | 10:29:25, August 31 2014 |