nLab
Author — Guillaume Brunerie

Overview

Guillaume Brunerie has contributed to 4 nLab pages.

Most recent contributions

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

All pages contributed to