И. Э. Егорычев
Цена: 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.
