Grothendieck extended the notion of topology by using category theory.
Garner’s ionad [ ? ] is closer to usual topology.
