私に思い浮かべられる「数理の世界(Mathematical Things Set)」といえば、せいぜい「加算直積可能な範疇(Countable and Productable Set)」、すなわちと…