The aim of this talk is to briefly present an example in which homotopy theory, in the form of model categories, aids in obtaining a result of equivalence invariance in formal category theory.
Links:
[1] http://www.mpim-bonn.mpg.de/taxonomy/term/39
[2] http://www.mpim-bonn.mpg.de/node/3444
[3] http://www.mpim-bonn.mpg.de/TopologySeminar