Similar to 始代数
新基礎集合論
New Foundations
数学的構造
Mathematical structureダック・タイピング
Duck typing
抽象データ型
Abstract data type
直観主義型理論
Intuitionistic type theory
データ型
Data type
変数 (プログラミング)
Variable (computer science)
ラムダ・キューブ
Lambda cube
リスコフの置換原則
Liskov substitution principle
Template:圏論
Template:Category theory圏論
Category theory
位相の特徴付け
Axiomatic foundations of topological spaces
宇宙 (数学)
Universe (mathematics)
埋め込み (数学)
Embedding
オペラド
Operad
可換図式
Commutative diagram
Kan拡張
Kan extension
関手
Functor
完全系列
Exact sequence
極限 (圏論)
Limit (category theory)
グロタンディーク位相
Grothendieck topology
グロタンディーク宇宙
Grothendieck universe
群準同型
Group homomorphism
群の直積
Direct product of groups
傾理論
Tilting theory
圏 (数学)
Category (mathematics)
圏同値
Equivalence of categories
圏論の基礎
Categories for the Working Mathematician