О-хо-хо. Другое было время 14 лѣтъ назадъ, очень даже болѣе другое.
Функторы (правда, лишь въ категорiи множествъ), коварiантные по однимъ аргументамъ и контраварiантные по другимъ, являются чуть ли не главнымъ предметомъ изученiя для всѣй моей околоматематической дѣятельности въ послѣднiе 5-7 лѣтъ. Эти функторы оказались основнымъ средствомъ для математическаго описанiя структуръ данныхъ и методовъ функцiональнаго программированiя. Про нихъ оказалось можно формулировать и доказывать содержательныя и полезныя для программированiя теоремы. Но, скорѣе всего, для математики это не очень интересно, это прикладная область, вродѣ детальной проработки методовъ рѣшенiя дифуровъ. Это полезно только для инженерныхъ задачъ.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2023-09-17 08:15 am (UTC)Функторы (правда, лишь въ категорiи множествъ), коварiантные по однимъ аргументамъ и контраварiантные по другимъ, являются чуть ли не главнымъ предметомъ изученiя для всѣй моей околоматематической дѣятельности въ послѣднiе 5-7 лѣтъ. Эти функторы оказались основнымъ средствомъ для математическаго описанiя структуръ данныхъ и методовъ функцiональнаго программированiя. Про нихъ оказалось можно формулировать и доказывать содержательныя и полезныя для программированiя теоремы. Но, скорѣе всего, для математики это не очень интересно, это прикладная область, вродѣ детальной проработки методовъ рѣшенiя дифуровъ. Это полезно только для инженерныхъ задачъ.