#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/#/
4
前へ 1 ・・ 3 4 ・・ 17 次へ
@usi_kro

圏①「集合」 対象:集合 射:関数 射の合成:関数合成 #kenron

2013-05-30 20:07:57
XENO @xenophobia__

え?この定義はマズくね? > 宇宙 #kenron

2013-05-30 20:09:35
XENO @xenophobia__

ああ、ここではまだU=宇宙じゃないのか。誤解してました。 #kenron

2013-05-30 20:10:29
ざぎん 𒎎𒍝𒆳@C102 2日目東ペ-22a @na4zagin3

無限降下列を持つ集合は基礎の公理で許されません #kenron

2013-05-30 20:10:33
@usi_kro

カントールのパラドックス #kenron

2013-05-30 20:10:40
XENO @xenophobia__

宇宙Uを固定して考える話。 #kenron

2013-05-30 20:11:35
しょしー @syocy

カントールのパラドックス。カントール集合の人? #kenron

2013-05-30 20:12:07
青栁 悠太 @yuuta_aoyagi

Ustream切れまくる。なんや。 #kenron

2013-05-30 20:12:39
Shun Yanaura @ya7_

遅れました!!>_<入れてもらえないでしょうか… #kenron

2013-05-30 20:13:18
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
Yutaka Matsuzawa @alumican

いつもの入り口つかえない? #kenron

2013-05-30 20:14:09
@usi_kro

準同型→準同型写像? #kenron

2013-05-30 20:14:19
XENO @xenophobia__

構造+準同型からなる圏の例:Mon, Grp #kenron

2013-05-30 20:15:09
前へ 1 ・・ 3 4 ・・ 17 次へ