![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Сегодняшняя Agda-рассылка принесла...
Oct. 29th, 2011 02:59 pm...мем, готовый сменить "монада в категории - это моноид в категории ее эндофункторов".
Is that the glorious Yoneda lemma? Trivial in the language of types.
Just subtract the categorical waffle and every programmer understands it...
Is that the glorious Yoneda lemma? Trivial in the language of types.
Just subtract the categorical waffle and every programmer understands it...
