Topos theory is a form of geometric sheaf theory , with pointless origins , and leads to ideas such as abstract topology .
Topos theory is a form of abstract sheaf theory , with geometric origins , and leads to ideas such as pointless topology .