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

[juan_gandhi]

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

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

Comments

[juan-gandhi.livejournal.com]

Мне кажется, если вдруг КЛ вытекает из сопряженных функторов, то это дает много разных чудес, с кванторами, скажем.

[66george.livejournal.com]

Дан объект D. Есть функтор умножения на D (_xD) и функтор возведения в степень D (_^D). Если D изоморфно D^D, то эти функторы коммутируют! Выведите из этого много разных чудес немедленно.

[zeit-raffer.livejournal.com]

В Вашей книжке эти чудеса описаны?

[66george.livejournal.com]

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

[zeit-raffer.livejournal.com]

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

[66george.livejournal.com]

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