hiratara https://blog.hatena.ne.jp/hiratara/ Pixel Pedals of Tomakomai https://hiratara.hatenadiary.jp/ 技術 数学 毎度おなじみ、圏論勉強会ではない方の圏論勉強会 第11回に来ています。資料とustreamは公開されています。 ワークスアプリケーションズさんに感謝 第11回: 指数対象・デカルト閉圏 / 講師 @9_ties さん 今日からはがらっと話が変わるので、前回までの話は忘れて良い 指数対象とデカルト閉圏 Curry-Haward-Lambek対応 → 圏論やってるのでLambekまで 指数対象は極限、余極限で表せない。が、普遍対象 Hom集合に対して、ポイントワイズな定義で元の圏の構造が入る(第4回) モノイドの準同型の集まりはモノイド。CPOの間の連続写像はCPO すべての線形写像は線形空間、す… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhiratara.hatenadiary.jp%2Fentry%2F20130725%2F1374749295" title="今日は 圏論勉強会 第11回 の日です - 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-07-25 19:48:15 rich https://hiratara.hatenadiary.jp/entry/20130725/1374749295 1.0 100%