25/03/26 10:56:37.80 T8yJ6tfp.net
ホモトピー型理論について
2:１３２人目の素数さん
25/03/26 11:22:55.44 x2TbFWG2.net
_,,,, -::::::::::::- 、
,, ':::::::::::::::::::::::::::::::::::::::::ヽ
／:::::::::::::::::::::::::::::::::::::::::::::::::::::ヽ
/:::;:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::i
i:::::{ !ゞ～⌒ﾞ'~┐:::r-'~`=´ﾘｿ''}:::::i
l::::ﾘ ' ﾉﾘ' !:::::l
|::::} ノ' |::::::!
,-､:|:ﾉ二ニﾆ‐-､ , ｰ------､;::::i
l ,ﾍ!:!. '´て)`ヾ 〃´て)`ヾ￣!⌒i
!ｒ´i:! `二ﾆ- |::i -ﾆニ' 〃 !.|
ヾ（`!. |:::` i ﾉ.i/
ヽ`l !_ !//
`! 'ﾐｰ'~' /ｿ
, ﾄ、 ､......_ _......._, /!
／ |ヽ ､＿_., /;;|、
..／ !| iヽ ／;;;;!;ヽ、
' `| ヽ ヽ、 i .／;;;;;;;;;;;;;;;;;ヽ-,,,, _
! ! `ｰ---,,,´;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ヽ､
ヽ :;;;;/;;;;;;;;;;;;;;;;;;;
ｰ-、 ヽ / :::::/;;:::
ヽ ヽ ! / ヘ,,_
> ` ' ' ￣
3:poem
25/03/27 19:45:58.24 tQGjdNYj.net
幾何トポロジーは幾何同士を繫ぐ変形を研究
算学トポロジーは算学同士を繫ぐ変形を研究
ホモトピーって無知だから妄想
論理ホモトピーは論理変換を繫ぐふむを研究
算学ホモトピーはなんか群とか環とか言ってるのの内何かに関係とか？わからないけど適当
幾何ホモトピーはこれ意味あるの？無いとかない？
論理トポロジーも意味ないんじゃない？無いとかない？