Сегодняшняя Agda-рассылка принесла...
Oct. 29th, 2011 02:59 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
deniok...мем, готовый сменить "монада в категории - это моноид в категории ее эндофункторов".
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...
