juan_gandhi: (VP)
[personal profile] juan_gandhi
http://ncatlab.org/nlab/show/partial+combinatory+algebra

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

Date: 2015-05-20 07:02 pm (UTC)
From: [identity profile] zeit-raffer.livejournal.com
Но функторы хотя бы честно коммутируют?
Я не спец по фактам про бестиповую лямбду, интересно.

Date: 2015-05-20 07:25 pm (UTC)
From: [identity profile] 66george.livejournal.com
(AxD)^D=(A^D)x(D^D)=(A^D)xD
Честно коммутируют, но никаких особых чудес из этого, кажется, не получается. Это скорее пример, что при желании сопряжённый функтор можно найти везде.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

June 2025

S M T W T F S
1 234567
891011121314
15161718192021
22232425262728
2930     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 6th, 2025 01:54 am
Powered by Dreamwidth Studios