L. Fregimus Vacerro (fregimus) wrote,
L. Fregimus Vacerro
fregimus

Проще не скажешь

«…монада — моноидальный объект в категории эндофункторов: return — единица, а join — умножение. Проще этого и объяснить нельзя! Если это кажется запутанным, посмотрите на монаду как слабый функтор из терминальной бикатегории…»
Tags: math, zany, нечитать
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 15 comments