圏論で考えよう、というスクリーンキャストを作りました - 南よ! 海の見える方!作成中のアプリ、WhiteBoard Castのドッグフードとして、「圏論で考えよう」というのを作ってみました。 単射と全射を中心に圏論と集合論の違いを説明する、という話をします。可換を使って射を中心に考える、という事を説明する事が目標です。 序盤はアプリのバグにより音が飛んだりずれたり、後半は音飛びが酷かったりしますね(^^; 扇風機がこっち向くと音が小さくなる… 再生リスト: https://www.youtube.com/playlist?list=PL3J_mLcl4YCc-CsND9NwaHpKu3Ir-hsni 第一回: はじめに このシリーズの目的と前提です。 練習問題を中心にやっていくので、ちゃんと練習問題やって欲しいなぁ、という話。 https://www.youtube.com/watch?v=YzSAo-EvhfA&list=PL3J_mLcl4YCc-CsND9Nw
