objects theory interested groups used describe certain invariants topological spaces called invariants defined way change space subjected deformation example fundamental group counts many paths space essentially different poincar conjecture proved grigori perelman prominent application idea influence unidirectional though example algebraic topology makes use eilenberg maclane spaces spaces prescribed homotopy groups similarly algebraic k theory relies
Formal science Mathematics Pure mathematics Algebra Group theory