関西すうがく徒のつどい
@kansaimath
難易度Bなので皆さん各々の数学をやってきているはず… 直積、方程式の解空間 → 極限 直和、同値関係で割る → 余極限 圏Cでも上のような操作ができたら嬉しい! →極限、余極限を考えればよい! #kantomath #kantomath4
2019-03-30 15:41:56
Oddie
@math_elliptic
#kantomath #kantomath4 直積、方程式の解空間 ⇒極限 直和、同値関係で割る ⇒余極限 極限・余極限は普遍性で定義できる
2019-03-30 15:43:23
遼哉(Ryoya)
@ryoya9826
#kantomath4 考えられないくらい丁寧な講義 これは本当にalg_d先生なのか?偽物ではないのか?(ぐるぐる目)
2019-03-30 15:44:57
関西すうがく徒のつどい
@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