alg_d「全ての概念入門」

第3回関東すうがく徒のつどいです。
6
前へ 1 ・・ 3 4 ・・ 13 次へ
れんま(休職中) @tononro

整数全体の集合Zと偶数の集合2Zは互いに順序同型である。#kantomath #kantomath1

2019-03-30 15:39:36
りす. @riss_gendarmery

•直積 •方程式の解空間 •直和 •同値関係で割る 上二つが極限、下二つが余極限 #kantomath4

2019-03-30 15:41:05
flag3 @flag3833753

直積や方程式の解空間は極限 直和や同値関係で割ることは余極限 #kantomath #kantomath4

2019-03-30 15:41:22
北海道大学 @Rumshiskii

#kantomath4 圏Cでこういう操作ができたら嬉C

2019-03-30 15:41:34
遼哉(Ryoya) @ryoya9826

#kantomath4 いろいろな普段してる操作は(余)極限

2019-03-30 15:41:41
関西すうがく徒のつどい @kansaimath

難易度Bなので皆さん各々の数学をやってきているはず… 直積、方程式の解空間 → 極限 直和、同値関係で割る → 余極限 圏Cでも上のような操作ができたら嬉しい! →極限、余極限を考えればよい! #kantomath #kantomath4

2019-03-30 15:41:56
りす. @riss_gendarmery

こいつらを圏で定義したい!→普遍性の登場 #kantomath4

2019-03-30 15:42:31
y. @waidotto

何かを「構成する」という操作はたいてい極限や余極限になっている.こういうことが圏Cでできたらうれしい. #kantomath4

2019-03-30 15:43:00
Oddie @math_elliptic

#kantomath #kantomath4 直積、方程式の解空間 ⇒極限 直和、同値関係で割る ⇒余極限 極限・余極限は普遍性で定義できる

2019-03-30 15:43:23
遼哉(Ryoya) @ryoya9826

#kantomath4 直和を普遍性で定義しよう

2019-03-30 15:44:15
Oddie @math_elliptic

#kantomath #kantomath4 aとbの直積の定義(壱大整域で見た)

2019-03-30 15:44:46
遼哉(Ryoya) @ryoya9826

#kantomath4 考えられないくらい丁寧な講義 これは本当にalg_d先生なのか?偽物ではないのか?(ぐるぐる目)

2019-03-30 15:44:57
y. @waidotto

直積を普遍性で定義する #kantomath4

2019-03-30 15:45:23
関西すうがく徒のつどい @kansaimath

極限、余極限は普遍性として理解できる。 圏Cでの直積: a, b ∈ C に対し、aとbの直積とは <u, p_0, p_1>であって (1). u ∈ C : 対象 (2). p_0 : u → a, p_1 : u → b (3). <v, q_0, q_1>も同じ条件を満たすならば、 ∃! h : v → u, p_0 ◦ h = q_0, p_1 ◦ h =q (図式略) #kantomath #kantomath4

2019-03-30 15:46:11
餅餅的饢 @iClaymore

「同じ条件を満たす時に」射が「一意に存在する」これが普遍性 #kantomath #kantomath4

2019-03-30 15:46:29
遼哉(Ryoya) @ryoya9826

#kantomath4 普遍性はめちゃくちゃすごい(壱大整域でみた)

2019-03-30 15:46:56
遼哉(Ryoya) @ryoya9826

#kantomath4 普遍性をつかうと存在すれば1個しかないことがわかる(むしろそうなるように普遍性を要求する)

2019-03-30 15:48:19
前へ 1 ・・ 3 4 ・・ 13 次へ