nLab
Michael Warren

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

category: people

Created on November 17, 2011 17:57:00 by Urs Schreiber (131.220.133.61)
Edit | Views: Print | TeX | Source | Linked from: internal logic of an (infinity,1)-topos, identity type, power series, categorical semantics, homotopy type theory, p-adic number, categorical model of dependent types