そのうち（or 既に）objectにあたるものが存在しないが圏みたいなものとみなせるような概念が使われるようになるのだろうか
点の集合ではないが幾何的な空間とみなせる非可換空間が今使われてるように
ただ上記の圏もどきを考えて何になるのか想像もつかないが