Homotopy theory originated as a topic in algebraic topology, but is now studied as an independent discipline in its own right, and as a tool in fields including category theory and algebraic geometry.