IUTってもしかすると
Synthetic Differential Geometry
からアイディア得たのかも知れないな