Then homotopy toposes (infinity-toposes) appeared on the scene (there is another story to be told here about the philosophy of constructivism causing a fantastic breakthrough in the foundations of mathematics via homotopy type theory, but this should wait for another post) and founding fundamental physics (in particular gauge theory) in (higher) topos theory became ever more compelling.