The language of a model category

Date:

Speed talk at the Categorical logic and higher categories conference