転送
アリストテレス
範疇論 (アリストテレス)
英
数学的構造
サミュエル・アイレンベルグ
ソーンダース・マックレーン
代数的位相幾何学
圏
計算機科学
数理物理学
概要

公理
定理
証明
単位元
空集合
直積
射
準同型写像
極限
双対
普遍性
関手

関手
代数的位相幾何学
点付き位相空間
基本群
自然変換
関手圏
米田の補題
双対性
随伴関手
普遍性
歴史.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

検証可能
参考文献や出典
出典を追加
このテンプレートの使い方
?
19世紀
エヴァリスト・ガロア
要出典
20世紀
エミー・ネーター
抽象代数学
要出典
1930年代
ニコラ・ブルバキ
要出典
代数的位相幾何学
ホモロジー代数
[1]
サミュエル・アイレンベルグ
ソーンダース・マックレーン
[2]
[3]
[4]
スタニスワフ・ウラム
要出典
公理
[4]
1950年代
1960年代
ホモロジー代数
代数幾何学
高階論理
トポス
公理的集合論
抽象代数学
他の分野への影響

検証可能
参考文献や出典
出典を追加
このテンプレートの使い方
?
型理論
関数型プログラミング
領域理論
ラムダ計算
デカルト閉圏