いわゆる幾何学では、多様体が微分可能であって、その上に可換環がある(そうだ) 可換環の幾何学的な理解が多様体うんぬんだ、とも言える じゃあ、非可換環があったとき、それに対応する幾何学的な何かというものがあってもよい 「微分形式の環と、外微分の概…