応用圏論コース（2018年）

応用圏論コース 応用圏論コース ジョン・ベイズ これは、FongとSpivakの著書「Seven Sketches in Compositionality: An Invitation to Applied Category Theory」に基づいたコースで、ジョン・ベイズが教え、Simon Burtonが素晴らしいウェブページにまとめました。詳細については、すぐに飛び込んで講義1をご覧ください。 第1章：順序集合 講義1 - はじめに 講義2 - 応用圏論とは何か？ 講義3 - 前順序 講義4 - ガロア接続 講義5 - ガロア接続 講義6 - 共役関手の計算 講義7 - 論理 講義8 - 部分集合の論理 講義9 - 共役関手と部分集合の論理 講義10 - 分割の論理 講義11 - 分割の半順序集合 講義12 - 生成効果 講義13 - 分割の引き戻し 講義14 - 共役関手、結び、交わり 講義15 - 結びと交わりを保存する 講義16 - 半順序集合のための共役関手定理 講義17 - 大統合 第2章：リソース理論 講義18 - リソース理論 講義19 - 化学とスケジューリング 講義20 - 製造 講義21 - モノイド的前順序 講義22 - 対称モノイド的前順序 講義23 - 可換モノイド半順序集合 講義24 - リソースの価格設定 講義25 - 反応ネットワーク 講義26 - モノイド的単調性 講義27 - モノイド的単調性の共役関手 講義28 - 外部要因の無視 講義29 - 豊かな圏 講義30 - 前順序としての豊かな圏 講義31 - ローウェル距離空間 講義32 - 豊かな関手 講義33 - 結び 第3章：データベース 講義34 - 圏 講義35 - 圏対前順序 講義36 - グラフからの圏 講義37 - 圏の表示 講義38 - 関手 講義39 - データベース 講義40 - 関係 講義41 - 関手の合成 講義42 - データベースの変換 講義43 - 自然変換 講義44 - 圏、関手、自然変換 講義45 - 自然変換の合成 講義46 - 同型 講義47 - 共役関手 講義48 - 共役関手 講義49 - カン拡張 講義50 - 左カン拡張 講義51 - 右カン拡張 講義52 - Hom関手 講義53 - 自由関手と忘却関手 講義54 - 結び 第4章：共同設計 講義55 - 豊かな関手と共同設計 講義56 - 実現可能性関係 講義57 - 実現可能性関係 講義58 - 実現可能性関係の合成 講義59 - コスト豊かな関手 講義60 - 閉じたモノイド的前順序 講義61 - 閉じたモノイド的前順序 講義62 - 豊かな関手 講義63 - 豊かな関手の合成 講義64 - 豊かな関手の圏 講義65 - 共同設計 講義66 - 共同設計 講義67 - 共同設計におけるフィードバック 講義68 - 共同設計におけるフィードバック 講義69 - 共同設計におけるフィードバック 講義70 - 豊かな関手のテンソル化 講義71 - 豊かな関手のキャップとカップ 講義72 - モノイド圏 講義73 - 文字列図と厳密化 講義74 - コンパクト閉じた圏 講義75 - 大統合 講義76 - 大統合 講義77 - 終わりか？いいえ、始まりです！ © 2018 John Baez