18/09/29 00:39:32.71 xyC+oPpk.net
>>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.
圏論で定義できるかは知らんけど比喩ばっかりなのは確かになんとかしてほしい