[過去ログ] Inter-universal geometry と ABC予想 31 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
359
(2): 2018/09/29(土)00:39 ID:xyC+oPpk(2/3) AAS
>>348
>By replacing discussion of psychology and suggestive metaphors by rigorous definitions of all the categories in which objects live,
>and keeping track of forgetful functors, communication about IUTT can focus on the difficult mathematical content, rather than about whether or not objects need specific labels.

圏論で定義できるかは知らんけど比喩ばっかりなのは確かになんとかしてほしい
581: 2018/09/30(日)22:56 ID:Fsmn78dZ(3/3) AAS
はあー

>>359
592: 2018/10/01(月)01:12 ID:D4zwnz6i(1/3) AAS
>>588
ほれ
>>359
査読は終了したんだよな?
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.024s