Lecture outline:
- Voevodsky model of simplicial sets and non-effectiveness of these models;
- effective models with cubic sets;
- application of a Quillen model structure definition to certain prebeam models;
- constructive definition of homotopy types of topological spaces.
