この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "マグマの圏" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2012年3月)

数学の一分野、圏論におけるマグマの圏（マグマのけん、英: category of magmas）Mag は、すべてのマグマ（一つの二項演算を備えた集合）を対象とし、（普遍代数学の意味での）演算の準同型（演算を保つ写像）を射とする圏を言う。

マグマの圏 Mag は圏論的直積を持つから、直積を持つ任意の圏におけると同様に、（圏の内部演算に関する）マグマ対象 (magma object) の概念が意味を持つ^[1]。

包含函手 Set ↪ Med ↪ Mag が、集合を自明なマグマ（二項演算は射影 x ⫟ y = y  で与える）と見て与えられる。

重要な性質の一つは、単射な自己射が（ちょうど、その自己射の成す定値列の余極限として）マグマ拡大の自己同型射に拡張できることである。

単集合 ({∗}, ∗) が Mag の零対象で、かつ Mag が代数的（英語版）であるから、Mag は点付きかつ完備である^[2]。

1. ^ magma in nLab 1. Definitions 最後の段落
2. ^ Borceux, Francis; Bourn, Dominique (2004). Mal'cev, protomodular, homological and semi-abelian categories. Springer. pp. 7,19. ISBN 1-4020-1961-0. https://books.google.co.jp/books?id=olmeksCI22cC&pg=PA19 

表 話 編 歴 圏論
主要項目	圏 射 エピ モニック 図式 可換図式 自然変換 圏同値 反対圏 始対象と終対象 普遍性 米田の補題 双対 極限 帰納極限 射影極限 積 余積 像 余像 等化子 余等化子 トポス 核 余核 引き戻し モナド Kan拡張
関手	加法的 完全 充満 随伴 対角 忠実 導来 表現可能 本質的全射 Hom関手
具体的圏	関手圏 前加法圏 集合の圏 マグマの圏 群の圏 アーベル群の圏 擬環の圏 環の圏 加群の圏 ベクトル空間の圏 多元環の圏 位相空間の圏 距離空間の圏 多様体の圏
圏の類	完備圏 コンマ圏 部分圏 モノイド閉圏 デカルト閉圏 アーベル圏 導来圏 クライスリ圏 デカルトモノイド圏
一般化	豊穣圏 2-圏 圏の圏
人物	ソーンダース・マックレーン サミュエル・アイレンベルグ アレクサンドル・グロタンディーク ウィリアム・ローヴェア ハインリッヒ・クライスリ
関連分野	代数幾何学 普遍代数 ホモロジー代数
関連項目	『圏論の基礎』
カテゴリ