I mis-remembered the history a little: Corollary 5.2.2 of the
following paper of Toën and Vezzozi, from 2002, also gives a
proof of a lifting of the hypothèse inspiratrice.
As one would expect, the paper 'La théorie de l'homotopie de
Grothendieck' of Maltsiniotis also briefly discusses the original
hypothèse inspiratrice, early on in the introduction (see especially
I don't think that I know of other direct references beyond these,
except possibly in other writings of these authors; though the
quasi-categorical literature also, as one would expect, has a proof of
the same theorem as in the papers of Cisinski and Toën-Vezzosi.
I think that the Cisinski's paper gives a very clear reason to
expect the result to be true when formulated in the language of a
sufficiently rich 'homotopical category theory', whether the
language be that of derivators, (∞,1)-categories, or whatever.
It is remarkable that the result can be proven relatively easily
when formulated in a certain language, but if one insists on the
original version at the level of homotopy categories, then there seems
to be no way to approach it. This is the aspect of the hypothesis that
I am most interested in. A proof that the original hypothesis is
independent of ZFC would no doubt shed some very interesting light on
> > an email to HomotopyTypeThe...@googlegroups.com
> You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeThe...@googlegroups.com