14/08/24 14:09:11.80
>>47
グーグルによる圏とプログラミングの項に差し当たってそれが何を扱う理論であるかが書いてあるので
まず読んでみたらどう。
抽象的な枠組みの話なので、最初は具体的な対象（群、環などの代数系やプログラム）を手がかりに入っていかないと
とっつき難いかも。
14/08/24 14:09:11.80
>>47
グーグルによる圏とプログラミングの項に差し当たってそれが何を扱う理論であるかが書いてあるので
まず読んでみたらどう。
抽象的な枠組みの話なので、最初は具体的な対象（群、環などの代数系やプログラム）を手がかりに入っていかないと
とっつき難いかも。