范畴的商

从维基百科,自由的百科全书
跳转到导航 跳转到搜索

进入代数几何,给予多类别 C,一个范畴的商一个对象X行动一个群组 G是一个态射 那个

(我)是不变的;即,哪里是这组动作P是投影。
(ii)满足通用性:任何态射满足(我)唯一因素

人的发展的主要动机几何不变量理论是一个范畴的商建设品种计划

笔记不需要满射另外,如果存在的话,绝对是唯一的一个典型的商同构在实践中,以C是品种或在一个固定的方案,方案的分类。一个范畴的商是一个环球范畴的商如果在基地的变化是稳定的:任何是一个绝对的商。

一个基本的结论是:几何参数(例如,)和Git的商数(例如,)是绝对的商。

推荐信编辑]

参见编辑]