世界は圏論でできている