hiratara https://blog.hatena.ne.jp/hiratara/ Pixel Pedals of Tomakomai https://hiratara.hatenadiary.jp/ 技術 数学 木曜日なので圏論勉強会ではない方の圏論勉強会 第12回に来ています。資料とustreamは公開されています。 ワークスアプリケーションズさんに感謝 ついに三脚が貸してもらえなくなった 第12回: 自然性・米田の補題 / 講師 @9_ties さん 圏論は自然性の記述のために生まれた 自然変換は射の集合 射をcomponentという 圏論は「構成」に興味がある。個別の対象や射ではない 「構成」は関手で扱う。自然変換は構成の間の関係 例: F X = X × B と G X = Xについてπ_1Xを集めると、自然変換π_1:F→Gが作れる 自然同型: すべてのcomponentが同型射 例: A×… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhiratara.hatenadiary.jp%2Fentry%2F20130801%2F1375354606" title="今日は 圏論勉強会 第12回 の日です - Pixel Pedals of Tomakomai" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2013-08-01 19:56:46 rich https://hiratara.hatenadiary.jp/entry/20130801/1375354606 1.0 100%