[007F] 索引
- -\(A\)上のスパン → [007N]
- -\(B\)上\(C\)下の余錐 → [007O]
- -\(G\)-局所的 → [0080]
- -\(n\)切り詰め → [0050]
- -\(\mathord {\textnormal {\textsf {id}}}\) (関数) → [0010]
- -\(n\)型 → [003Y]
- -\(n\)次元球面 → [003M]
- -\(n\)連結 → [005U]
- -\(n\)連結関数 → [005V]
- -\(p\)上の同一視 → [003L]
- -暗黙的引数 → [000Q]
- -一価性 → [000Y]
- -一価性公理 → [000Z]
- -宇宙 → [000E]
- -埋め込み → [005Y]
- -階数 → [000D]
- -可縮 → [000T]
- -型の族 → [000I]
- -カリー化 → [0014]
- -カルテシアンスパン → [007R]
- -カルテシアン余錐 → [007S]
- -環 → [004Y]
- -関手 → [005K]
- -関数 → [000H]
- -関数外延性 → [001Z]
- -関数外延性公理 → [0020]
- -関数型 → [000H]
- -関数適用 → [000H]
- -環同型 → [004Y]
- -局所化 → [0084]
- -局所生成系 → [007Z]
- -逆カリー化 → [0014]
- -空型 → [0030]
- -群 → [004W]
- -群同型 → [004W]
- -圏 → [005I]
- -懸垂 → [007V]
- -原始再帰 → [002X]
- -恒等関数 → [0010]
- -恒等自然変換 → [0067]
- -恒等射 → [005C]
- -コファイバー → [007W]
- -合成 → [005C]
- -合成関数 → [0011]
- -合成自然変換 → [0067]
- -自然数 → [002V]
- -自然数型 → [002V]
- -自然性 → [0066]
- -自然変換 → [0066]
- -射 → [005C]
- -射影 → [000L]
- -集合 → [004C]
- -真 → [005A]
- -弱局所化 → [0081]
- -弱圏同値 → [005O]
- -充満忠実 → [005O]
- -スパン → [007J]
- -スパン下の普遍余錐 → [007M]
- -スパン下の余錐 → [007K]
- -前圏 → [005C]
- -前圏の同型 → [005M]
- -全射 → [005Z]
- -前層 → [006E]
- -前層の射 → [006G]
- -双関手 → [006Q]
- -対象 → [005C]
- -単位型 → [000K]
- -対 → [000L]
- -対型 → [000L]
- -点付き型 → [008A]
- -同一視 → [000P]
- -同一視型 → [000P]
- -同一視型の基本定理 → [001S]
- -同型 → [005E]
- -同値 → [001Q]
- -排中律 → [0059]
- -反射的グラフ → [008C]
- -半随伴同値 → [004L]
- -表現可能 → [0070]
- -ファイバー余積 → [003R]
- -普遍要素 → [0070]
- -ホモトピー → [002I]
- -本質的全射 → [005O]
- -マグマ → [008B]
- -命題 → [0040]
- -輸送関数 → [001C]
- -余積 → [002Z]
- -米田埋め込み → [006P]
- -ラムダ抽象 → [000H]
- -両側可逆 → [004J]
- -レコード型 → [000O]
- -レトラクト → [001J]
- -論理的に同値 → [001T]