本論文では、代数モジュールの安定化に関する既知の結果を双対化し、共モジュールが協代数の costabilization に等しいことを示している。
まず、オペラードと代数、および共オペラードと共代数について概説する。特に、多色オペラードと多色共オペラードの定義、それらの間の円積演算子の定義を行う。
次に、共代数の接線複合体の構成を説明し、共代数と共モジュールの間の忘却-余自由アジャンクションを示す。
最終的に、与えられた協代数 C の共モジュールが C 上の共代数の costabilization に等しいことを証明する。この証明には、共代数の pushout の理解と接線複合体の構成およびその左随伴関手の理解が必要となる。
Na inny język
z treści źródłowej
arxiv.org
Głębsze pytania