model invariance problem (changes)

Showing changes from revision #1 to #2:
Added | ~~Removed~~ | ~~Chan~~ged

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

Last revised on May 10, 2014 at 20:27:44. See the history of this page for a list of all contributions to it.