中可換マグマの圏

数学における中可換圏（なかかかんけん、）即ち中可換マグマの圏  は、中可換な二項演算を持つ集合（中可換マグマ）を対象とし、それらの演算に関する（普遍代数学でいうところの）準同型を射とする圏である。

圏  は直積を持ち、従って中可換なマグマ対象（圏の内部演算によって定まるマグマ構造）の概念が意味を持つ。結果として、圏  はその任意の対象を中可換対象として持ち、またそのことによって特徴づけられる。

集合を、右射影  を演算とする自明なマグマと見做すことで、包含函手  が定まる。

単射自己準同型はマグマの拡大の自己同型（自己準同型の定値列の余極限）に拡張することができる。

関連項目 
 

圏 (数学)
数学に関する記事