14/08/24 13:51:32.02
趣味でプログラミングやってて圏というのがでてきたのですが意味不明です
簡単にどういうものなのか教えていただけませんか？
特に、関手、モナド、自然変換、Kleisliについて教えてください
14/08/24 13:51:32.02
趣味でプログラミングやってて圏というのがでてきたのですが意味不明です
簡単にどういうものなのか教えていただけませんか？
特に、関手、モナド、自然変換、Kleisliについて教えてください
14/08/24 13:51:32.02
趣味でプログラミングやってて圏というのがでてきたのですが意味不明です
簡単にどういうものなのか教えていただけませんか？
特に、関手、モナド、自然変換、Kleisliについて教えてください