Guillaume Brunerie has contributed to 4 nLab pages.
| idempotent complete (infinity,1)-category | 10:32:24, August 31 2014 |
| spectrum | 10:31:59, August 31 2014 |
| suspension spectrum | 10:31:59, August 31 2014 |
| spectrum | 10:31:59, August 31 2014 |
| homotopy type theory | 10:31:57, August 31 2014 |