Скачать или смотреть 圏論(トポス)と論理(local set theory)の関係【数学基礎論】

前にふわっと説明していたところを解説します

しっかりした証明を読みたい人は↓からPDFをDLしてください。
https://alg-d.com/math/kan_extension/
第4章「local set theory」で読めます。

■再生リスト
   • 数学基礎論（数理論理学）  
   • 圏論(初心者向け)  
   • 圏論  

ーーーーーーーーーーーーーーーー
■動画の途中で登場する動画
サブオブジェクト・クラシファイヤー！！！
   • 【圏論】サブオブジェクト・クラシファイヤー！！！  
local set theory
   • 【数学基礎論】local set theory【直観主義】  
トポスとは集合の圏のことである（但しlocal set theory）
   • 【圏論】トポスとは集合の圏のことである（但しlocal set theory）【数学...  
群論なども扱えるようにする回
   • 【数学基礎論入門】群論なども扱えるようにする回【モデル理論】  
随伴とは「行き来ができる」ということ
   • 【圏論】随伴とは「行き来ができる」ということ  

ーーーーーーーーーーーーーーーー
alg-dチャンネル用のdiscordを作ったので良かったらどうぞ(誰でも入れます)
  / discord  
※メンバーシップの人は、discordのアカウントとyoutubeのアカウントを連携すると専用チャンネルが見れるので連携をお願いします。（今までコミュニティ等でやってたメンバー特典がまとまってます）

ーーーーーーーーーーーーーーーー
■マシュマロ(なんでも送ってください)
https://marshmallow-qa.com/79m5047j5u...

ーーーーーーーーーーーーーーーー
Vtuberのalg-d、略してV-alg-dです。
Twitter: https://x.com/alg_d
Vのデザインとか: https://x.com/waheyhey

↓チャプター用
00:00 はじめに
00:33 今回の概要
04:52 局所言語の解釈
07:50 項の解釈
14:25 例
16:21 モデル