nLab Author — Auke Booij

Overview

Auke Booij has contributed to 3 nLab pages.

Most recent contributions

homotopy type theory 12:20:05, February 11 2019
red herring principle 12:40:15, October 01 2015
geometric transformation 10:32:52, August 31 2014

All pages contributed to