Homotopy Type Theory
model invariance problem (Rev #1, changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

Show that the interpretation of type theory is independent of the model category? chosen to present an (infinity,1)-category?. Of course, the details depend on the chosen type theory.

Revision on March 11, 2014 at 06:33:43 by Mike Shulman. See the history of this page for a list of all contributions to it.