flag3
@flag3833753
(1) (余)極限はKan拡張である (2) 随伴はKan拡張である (3) 米田の補題はKan拡張である #kantomath #kantomath4
2019-03-30 15:33:39
関西すうがく徒のつどい
@kansaimath
1. (余)極限はKan拡張である 2. 随伴はKan拡張である 3. 米田の補題はKan拡張である 3つ目については昨日完全に理解した!!!!!!!!!! #kantomath #kantomath4
2019-03-30 15:34:00
関西すうがく徒のつどい
@kansaimath
一方nLabでは… "Kan extension is ubiquitous.'' #kantomath #kantomath4
2019-03-30 15:36:23
Oddie
@math_elliptic
#kantomath #kantomath4 CMW 「(圏論の)全ての概念はKan拡張である」 「随伴は至る所に現れる」
2019-03-30 15:38:03
関西すうがく徒のつどい
@kansaimath
さらに… " limit is ubiquitous. '' " adjoint functor is ubiquitous. '' " representable functor is ubiquitous. '' …なるほど、全ての概念は全ての概念なのか! #kantomath #kantomath4
2019-03-30 15:38:18