2012/自主ゼミ/圏論 の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• 2012/自主ゼミ/圏論 へ行く。
• 2012/自主ゼミ/圏論 の差分を削除

[[2012/自主ゼミ]]

* 圏論 [#c876f9f2]
#contents

* 概要 [#c9471355]
:代表者   | [[あらたけ]]
:分類     | 数学
:形式     | 読書会
:内容     | 圏論
:日程     | 金曜4限
:教室     | 理学部6号館207
:参加人数 | %%多数%% 結局6人ぐらいに落ち着いた

* 報告 [#s8f12a68]
** 第１回 2012/10/19（金） [#rcd88c6b]
圏の定義，圏の例，isomorphism，free monoid

** 第２回 2012/10/26（金） [#x7aeebdf]
monomorphism/epimorphism, product, representable functor

** 第３回 2012/11/02（金） [#i2c5336e]
duality, coproduct, equalizer/coequalizer

** 第４回 2012/11/09（金） [#o49f036f]
subobject, pullback

** 第５回 2012/11/16（金） [#bab117b0]
limit, colimit

** 第６回 2012/11/30（金） [#qba109c1]
natural transformation, functor category

** 第７回 2012/12/07（金） [#dd63fbc7]
bifunctor lemma, functor category is CCC

** 第８回 2012/12/14（金） [#sf42cae8]
equivalence of categories, Yoneda embedding

** 第９回 2012/12/21（金） [#d69424a2]
Yoneda lemma, Yoneda principle

* 文献 / 関連項目 [#d5e39caf]

-Steve Awodey, "Category Theory", Oxford Logic Guides
--1st edition のpdfが以下のページにあるのでこちらを使っても構いません．
~http://www.andrew.cmu.edu/course/80-413-713/notes/