Se define homología, complejo simplicial, se dan ejemplos representados en espacios topológicos y se hacen ejemplos de cálculo de homología en sage, en objetos como variedades topológicas, conjuntos parcialmente ordenados, cliques de grafos, entre otros.