La teoría de Topos se ha considerado desde hace tiempo, como una posible teoría base en esta área.