2016/自主ゼミ/KTGU圏論セミナー の履歴(No.28)

• 履歴一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• 2016/自主ゼミ/KTGU圏論セミナー へ行く。
  • 1 (2016-05-31 (火) 21:44:25)
  • 2 (2016-06-01 (水) 16:32:08)
  • 3 (2016-06-07 (火) 21:13:05)
  • 4 (2016-06-14 (火) 20:59:11)
  • 5 (2016-06-21 (火) 21:29:23)
  • 6 (2016-06-30 (木) 20:12:45)
  • 7 (2016-07-05 (火) 20:31:23)
  • 8 (2016-07-12 (火) 21:58:23)
  • 9 (2016-08-03 (水) 08:17:41)
  • 10 (2016-08-26 (金) 22:41:53)
  • 11 (2016-09-28 (水) 11:08:39)
  • 12 (2016-10-19 (水) 07:59:20)
  • 13 (2016-11-04 (金) 10:50:07)
  • 14 (2016-11-09 (水) 00:17:57)
  • 15 (2016-11-21 (月) 09:27:43)
  • 16 (2016-12-07 (水) 08:46:41)
  • 17 (2016-12-16 (金) 08:40:21)
  • 18 (2017-01-02 (月) 17:50:08)
  • 19 (2017-02-08 (水) 09:37:08)
  • 20 (2017-02-26 (日) 08:32:51)
  • 21 (2017-03-29 (水) 21:20:37)
  • 22 (2017-05-25 (木) 14:59:34)
  • 23 (2017-06-03 (土) 09:38:32)
  • 24 (2017-06-12 (月) 09:11:04)
  • 25 (2017-06-16 (金) 23:57:40)
  • 26 (2017-07-11 (火) 08:33:29)
  • 27 (2017-07-16 (日) 15:28:15)
  • 28 (2017-10-17 (火) 09:04:03)

2016/自主ゼミ

KTGU圏論セミナー†

概要†

文部科学省プログラム・スーパーグローバル大学創成支援事業(通称KTGU)の一環として、京都大学理学研究科・数学教室および数理解析研究所が開講する、主として学部1・2回生を対象とした数学KTGU学部セミナー(2016)の一つ(A班)。2017年度も好意で見てもらえることに

教科書

Emily Riehl, Category theory in context (pdf)

予定・報告†

• 第0話 2016/5/24(火) 打ち合わせ #KTGU圏論セミナー
• 第1話 5/31(火) 圏の定義をしました
• 第2話 6/7(火) 圏の具体例をしました
• 第3話 6/14(火) 小さい圏と局所的に小さい圏、universeの話、同型
• 第4話 6/21(火) groupoid、maximal
• 第5話 6/28(火) mono射、epi射
• 第6話 7/5(火) functor
• 第7話 7/12(火) Groupoid圏、反変関手
• 第8話 8/2(火) 作用、圏のproduct
• 第9話 8/24(水) 自然変換
• 第10話 9/26(火) TAさんによるホモロジー代数の特別講義
• 第11話 10/18(火)圏同値、充満忠実本質的全射
• 第12話 10/25(火)skeleton
• 第13話 11/1(火) diagram chasing
• 第14話 11/8(火) representable functor、米田の補題
• 第15話 11/15(火)米田埋め込み、普遍性
• 第16話 11/22(火)普遍性
• 第17話 11/29(火)category of elements
• 第18話 12/6(火)limit,colimit、product、pullback、equalizer
• 第19話 12/13(火)coproduct、pushout、coequalizer、direct sum
• 第20話 12/20(火)diagram chasingの具体的な計算
• 第21話 12/27(火)
• 第22話 2017/1/10(火)
• 第23話 1/17(火)
• 第24話 2/7(火) completenessの十分条件、generalized elements、Set is cocomplete
• 第25話 2/14(火)
• 第26話 2/21(火)
• 第27話 2/28(火) 随伴
• 第28話 3/14(火) unit,counit、mutually adjoint,Cartesian closed category
• 第29話 3/21(火) adjの計算,RAPL,LAPC
• 第30話 3/28(火) reflective subcategory,reflection
• 第31話 5/25(木) 一般随伴関手定理 #Riehl圏論セミナー
• 第32話 6/1(木) 特殊随伴関手定理
• 第33話 6/8(木) monad
• 第34話 6/15(木) Kleisli cat,Eilenberg-Moore cat
• 第35話 7/6(木) 随伴の圏
• 第37話 7/13(木) monadic functor
• 第38話 10/15(日) monadicity theorem

文献 / 関連項目†

• Emily Riehl, "Category theory in context"