nLab model invariance problem

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.

Created on June 6, 2022 at 20:07:13. See the history of this page for a list of all contributions to it.