12/11/04 10:22:17.47
>>190
米田の補題より、関数＝射。
190より、モナド⊂プログラム＝Kleisli圏の射⊂射。
したがって、モナド⊂関数。
これでOK?
12/11/04 10:22:17.47
>>190
米田の補題より、関数＝射。
190より、モナド⊂プログラム＝Kleisli圏の射⊂射。
したがって、モナド⊂関数。
これでOK?
12/11/04 10:22:17.47
>>190
米田の補題より、関数＝射。
190より、モナド⊂プログラム＝Kleisli圏の射⊂射。
したがって、モナド⊂関数。
これでOK?