Nel mondo della topologia la relazione di uguaglianza è spesso sostituita da relazioni più deboli. Un esempio è l'equivalenza omotopica, che permette di sviluppare una teoria notevole. Nel seminario cercheremo di capire cosa accade se si vuole descrivere una struttura algebrica in questo nuovo "contesto omotopico".