Eilenberg-MacLane spaces and cohomology

Lecture outline:

• group unbundling operation;
• a paradigmatic example of the definition of non-set types, the Eilenberg-MacLane spaces;
• use of these types to define cohomology groups.