中可換マグマの圏
数学における中可換圏(なかかかんけん、英: medial category)即ち中可換マグマの圏 Med は、中可換な二項演算を持つ集合(中可換マグマ)を対象とし、それらの演算に関する(普遍代数学でいうところの)準同型を射とする圏である。
圏 Med は直積を持ち、従って中可換なマグマ対象(圏の内部演算によって定まるマグマ構造)の概念が意味を持つ。結果として、圏 Med はその任意の対象を中可換対象として持ち、またそのことによって特徴づけられる。
集合を、右射影 (x, y) ↦ x ⫟ y = y を演算とする自明なマグマと見做すことで、包含函手 Set ↪ Med が定まる。
単射自己準同型はマグマの拡大の自己同型(自己準同型の定値列の余極限)に拡張することができる。