Similar to 米田の補題
アルバネーゼ多様体
Albanese varietyKan拡張
Kan extensionグロタンディーク位相
Grothendieck topologyグロタンディーク宇宙
Grothendieck universeF余代数
F-coalgebraF代数
F-algebraアブストラクト・ナンセンス
Abstract nonsense0
0▲1 trends1
12
23
34
45
56
67
78
89
912345679
補題
Lemma (mathematics)オグデンの補題
Ogden's lemma開写像と閉写像
Open and closed mapsガウスの補題 (数論)
Gauss's lemma (number theory)擬軌道尾行性の補題
Shadowing lemma▲1 trendsケーニヒの補題
Kőnig's lemmaジグザグ補題
Zig-zag lemma正規言語の反復補題
Pumping lemma for regular languages対角化定理
Diagonal lemmaツォルンの補題
Zorn's lemma