位相空間で考えると頭がこんがらがるから圏論使ってるんですよね