bonotakeのｱﾝﾃﾅ - はてなｱﾝﾃﾅ

▽檜山正幸のｷﾏｲﾗ飼育記
●11/22 08:33
2024-11-21等式の二種類の使用法：選別条件と同一視宣言雑記／備忘ひとつ前の記事｢圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ｣において､“連立方程式系の解空間”と“関係族の同値閉包による商集合”が双対的だという話をしました｡この双対性はちょっと不思議な感じがします｡最終的には､写像（集合圏の射）の並行ﾍﾟｱ（両端が…2024-11-20圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ雑記／備忘ｴﾝﾄﾞとｺｴﾝﾄﾞは､その名前から双対なんだろうとは誰でも思うでしょう｡しかし､定義の仕方によっては双対性が見えにくいこともあります｡この記事では､ｴﾝﾄﾞとｺｴﾝﾄﾞの双対性が出来るだけ見えやすくなるような定義と記法を提示します｡$`\newcommand…等式の二種類の使用法：選別条件と同一視宣言圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ

▽The n-Category Café
●11/16 03:58
November 15, 2024Axiomatic Set Theory 9: The Axiom of ChoicePosted by Tom LeinsterPreviously: Part 8.It’s the penultimate week of the course, and up until now we’veabstained from using the axiom of choice. But this week we gorgedon it.We proved that all the usual things are equivalent to the axiom of choice: Zorn’s lemma, thewell ordering principle, cardinal comparability (given two sets,