nLab
Author — Peter LeFanu Lumsdaine

Overview

Peter Le Fanu Lumsdaine has contributed to 20 nLab pages.

Most recent contributions

excellent model category 10:07:28, February 19 2019
axiom of multiple choice 10:41:48, March 02 2018
Peter LeFanu Lumsdaine 05:13:02, September 27 2015
locally cartesian closed (infinity,1)-category 08:37:05, May 27 2015
categorical model of dependent types 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

All pages contributed to