2012/自主ゼミ/圏論
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
[[2012/自主ゼミ]]
* 圏論 [#c876f9f2]
#contents
* 概要 [#c9471355]
:代表者 | [[あらたけ]]
:分類 | 数学
:形式 | 読書会
:内容 | 圏論
:日程 | 金曜4限
:教室 | 理学部6号館207
:参加人数 | %%多数%% 結局6人ぐらいに落ち着いた
* 報告 [#s8f12a68]
** 第1回 2012/10/19(金) [#rcd88c6b]
圏の定義,圏の例,isomorphism,free monoid
** 第2回 2012/10/26(金) [#x7aeebdf]
monomorphism/epimorphism, product, representable functor
** 第3回 2012/11/02(金) [#i2c5336e]
duality, coproduct, equalizer/coequalizer
** 第4回 2012/11/09(金) [#o49f036f]
subobject, pullback
** 第5回 2012/11/16(金) [#bab117b0]
limit, colimit
** 第6回 2012/11/30(金) [#qba109c1]
natural transformation, functor category
** 第7回 2012/12/07(金) [#dd63fbc7]
bifunctor lemma, functor category is CCC
** 第8回 2012/12/14(金) [#sf42cae8]
equivalence of categories, Yoneda embedding
** 第9回 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/
終了行:
[[2012/自主ゼミ]]
* 圏論 [#c876f9f2]
#contents
* 概要 [#c9471355]
:代表者 | [[あらたけ]]
:分類 | 数学
:形式 | 読書会
:内容 | 圏論
:日程 | 金曜4限
:教室 | 理学部6号館207
:参加人数 | %%多数%% 結局6人ぐらいに落ち着いた
* 報告 [#s8f12a68]
** 第1回 2012/10/19(金) [#rcd88c6b]
圏の定義,圏の例,isomorphism,free monoid
** 第2回 2012/10/26(金) [#x7aeebdf]
monomorphism/epimorphism, product, representable functor
** 第3回 2012/11/02(金) [#i2c5336e]
duality, coproduct, equalizer/coequalizer
** 第4回 2012/11/09(金) [#o49f036f]
subobject, pullback
** 第5回 2012/11/16(金) [#bab117b0]
limit, colimit
** 第6回 2012/11/30(金) [#qba109c1]
natural transformation, functor category
** 第7回 2012/12/07(金) [#dd63fbc7]
bifunctor lemma, functor category is CCC
** 第8回 2012/12/14(金) [#sf42cae8]
equivalence of categories, Yoneda embedding
** 第9回 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/
ページ名: