#kenron 圏論勉強会 第3回 まとめ
@9_ties さんによる圏論勉強会第三回のまとめです。
イベントサイト: http://partake.in/events/b86f9bc4-e994-4fea-84d7-278366633c0e
開催日時: 2013年5月30日(木) 20:00 - 22:00
開催場所: 株式会社ワークスアプリケーションズ1階ラウンジ
資料: http://nineties.github.io/category-seminar/#/
XENO
@xenophobia__
一般にSetsと言った場合は必ずしも小さい集合だけを相手にしているわけではないのでは?「この講義では小さい集合の圏をSetsとする」というのはあるかもしれないけど。 #kenron
2013-05-30 20:13:36
ちゅーん
@its_out_of_tune
ありとあらゆる全ての集合を集めたUを集合にしてしまうと、U∈Uとなりパラドックスになるため、集合の圏Setsでは小さな圏を扱う #kenron
2013-05-30 20:13:47