ВходРегистрация
Например: Научное мнение
О консорциуме Подписка Контакты
(812) 923 41 97 Некоммерческое партнерство
Санкт-Петербургский
университетский
консорциум
Ваш заказ
0
На сумму:
0
руб.
Очистить
Посмотреть

Статьи

Журнал "Научное мнение" №11 (Педагогические, психологические и философские науки), 2018

СОПРЯЖЕНИЯ, МОНАДЫ И ЭЙДОСЫ ВЫЧИСЛЕНИЙ

И. Э. Егорычев
Цена: 50 руб.
 DOI: https://doi.org/10.25807/PBH.22224378.2018.11.11.20
Любая пара сопряженных функторов позволяет в конечном счете определить такой
весьма специфический объект, как монада. Этот объект, являясь сам по себе довольно изящной, хоть и сложно устроенной теоретико-категорной конструкцией,
обнаруживает в свою очередь теснейшую связь с компьютерными программами.
Логико-философскому анализу данной связи автор посвящает свою статью.
Ключевые слова: теория категорий, компьютерные науки, сопряженные функторы, монада, эндофунктор, категория Клейсли.

Список литературы
1. Awodey S. Category theory. N.Y. Oxford, 2010. 311 p.
2.
Goldblatt R. Topoi. The categorial analysis of logic. N.Y. Dover Publications Inc. 2006. 552 p.
3.
Heinrich Kleisli. URL: https://en.wikipedia.org/wiki/Heinrich_Kleisli (дата обращения: 23.10.2018).
4.
Lawvere F. W. & Schanuel S. 1997. Conceptual Mathematics: A First Introduction to Categories. Cambridge: Cambridge University Press. 390 p.
5.
Leinster T. Basic Category Theory. UK, Cambridge University Press, 1994. 183 p.
6.
Mac Lane, Saunders. Categories for the Working Mathematician. N. Y., Springer, 1978. 317 p.
7.
Milewski B. Category Theory for Programmers. 2017. URL: https://github.com/hmemcpy/milewskictfp-pdf (дата обращения: 23.10.2018).
8.
Moggi Eugenio. Notions of computation and monads. Information and Computation. Vol. 93. № 1. 1991. P. 55–92.

Цена: 50 рублей
Заказать
• Этические принципы научных публикаций