Showing changes from revision #2 to #3:
Added | Removed | Changed
Show that the < interpretation of type theory is independent of the model category invariance problem chosen to present an (infinity,1)-category. Of course, the details depend on the chosen type theory.