infinito-categorie e Omotopia Simpliciale

Vengono trattati argomenti di teoria delle categorie e topologica algebrica da un punto di vista combinatorio. A tal fine, sono presentati gli insiemi simpliciali come uno strumento che permettono da una parte di modellizzare gli spazi topologici e dall'altra di generalizzare il concetto di categoria estendendo all'infinito la nozione di morfismo. Infine, viene accennato lo studio dei gruppi di omotopia di complessi di Kan e viene introdotto l'infinito-gruppoide fondamentale di uno spazio topologico.