非可換幾何
スキーム、とくに射影代数多様体上の上の(準)連接層のなすアーベル圏の変形を考えることで、非可換スキームや非可換射影代数多様体と呼ぶべき対象が得られる。