Se penche sur l'application de l'homologie cellulaire pour calculer les groupes d'homologie et les caractéristiques d'Euler, démontrant ses implications pratiques.
Couvre l'homologie avec les coefficients, introduisant le concept de définition des groupes d'homologie par rapport aux groupes abélisques arbitraires.
Présente deux exemples fondamentaux d'ensembles simpliciaux: le nerf d'une petite catégorie et l'ensemble simplicial singulier d'un espace topologique.
Introduit la construction de quasi-catégories à partir de catégories enrichies de Kan en définissant des catégories simplifiées et en construisant le foncteur nerveux simplicial.
Explore l'influence de la complexité sur les propriétés ergonomiques des systèmes symboliques, présentant le théorème Curtis-Hedlund-Lyndon et les constructions de sous-postes minimaux.
