18/01/21 16:38:29.58 7jnxWoM9.net
還を分解するという時にモノイドが指標になっているのだから
せめてFrobenioidと言えばまだ良かったのにw
分子と言われてもよくわからんしな
>>430>>431に大まかな正解が書いてあるが
Frobenioidを定義するモチベーションというのがある
ただ、IUTTの場合、個々の圏や集合よりはそれらの相互作用を重視した
構成になっているので
下手に細かい話をするよりは「分解して復元するんだ」程度の理解のほうが健全かもな
18/01/21 16:38:29.58 7jnxWoM9.net
還を分解するという時にモノイドが指標になっているのだから
せめてFrobenioidと言えばまだ良かったのにw
分子と言われてもよくわからんしな
>>430>>431に大まかな正解が書いてあるが
Frobenioidを定義するモチベーションというのがある
ただ、IUTTの場合、個々の圏や集合よりはそれらの相互作用を重視した
構成になっているので
下手に細かい話をするよりは「分解して復元するんだ」程度の理解のほうが健全かもな