>>699
ついでに聞くが、解析で圏論使うメリットは何があるの?