The notion of (Grothendieck) topos is coming right from algebraic geometry, yet they are very useful in homotopy theory, see for example Lurie’s book "Higher Topos Theory".
In particular, the homotopy category is the archetypal example of $(\infty,1)$-topos.