The language of a model category

Date:

Contributed talk at the Foundational methods in computer science in Kananaskis, AB.