>>50
圏論使って多様体論を再構築するなら面白いと思うけど
滝沢の本は古いからまだ興味本位で出しただけのような

ただ代数多様体と違い実C^r多様体だと圏論的手法で何か見やすいか
よくわからないね(解析多様体ですらうまくいってないと思うが