затягивает чтение...

[juan_gandhi]

http://ncatlab.org/nlab/show/partial+combinatory+algebra

Так из нефиг делать лямбды лепятся в ССС и в топосе...

Comments

[66george.livejournal.com]

Нет. Я думаю, никаких чудес от теории категорий ждать не надо, это полезная наука вроде теории групп, но всех проблем автоматически она не решает.

[zeit-raffer.livejournal.com]

Но функторы хотя бы честно коммутируют?
Я не спец по фактам про бестиповую лямбду, интересно.

[66george.livejournal.com]

(AxD)^D=(A^D)x(D^D)=(A^D)xD
Честно коммутируют, но никаких особых чудес из этого, кажется, не получается. Это скорее пример, что при желании сопряжённый функтор можно найти везде.