【圏論】Grothendieck宇宙って結局なんなの?

圏を定義したいだけなのに突如出てくる謎の存在「Grothendieck宇宙」 これについてざっくり解説します。 もう一人の自分を動かすのはめんどくさいので諦めました。 選択公理の独立性 part 1: 初心者向け説明    • 選択公理の独立性 part 1: 初心者向け説明   ーーーーーーーーーーーーーーーー ↓クラスの解説    • 集合でない集まり(クラス)をどのように扱うのか【数学基礎論入門】   ↓米田の補題の解説    • 【圏論】同型だったら同一視していいの?【米田への道1】      • 【圏論】圏版「外延性公理」【米田への道2】      • 【圏論】もしかしてこれって準同型?【米田への道3】      • 【圏論】米田の補題：証明と応用例について【米田への道4】   ーーーーーーーーーーーーーーーー Vtuberのalg-d、略してV-alg-dです。 Twitter:   / alg_d   Vのデザインとか:   / waheyhey   ーーーーーーーーーーーーーーーー ↓チャプター用 00:00 はじめに 00:14 U-集合、U-圏 10:22 Grothendieck宇宙の取り換え 14:25 Grothendieck宇宙の存在 17:08 まとめ