数学的構造
数学的構造(すうがくてきこうぞう、mathematical structure)
中身はあるけど取り出す方法がない集まりがあって、そこに結合律だとか単位元だとかの法則が定まったものが数学的構造…？
ここが参考になる
数
自然数
有理数
実数
四元数
複素数
etc
集合
関数
幾何学的図形
etc
etc
いろいろな構造
群構造
圏論的な定義だと
圏$ 𝐒𝐞𝐭
圏$ 𝐒𝐞𝐭_*
圏$ 𝐆𝐫𝐩
圏$ 𝐕𝐞𝐜𝐭_𝑘
圏$ 𝐓𝐨𝐩
圏$ 𝐓𝐨𝐩\bf{h}
圏$ 𝐓𝐨𝐩_*
対象は基点を選んだ位相空間で、射は基点を保存する連続写像。
圏$ \mathbf{CRing}
圏$ \mathbf{Mon}
圏$ \mathbf{Ab}
アーベル圏
参考
関連