Category Theory Using Haskell An Introduction with Moggi and Yoneda /

This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created. Offering excellent use of helpful examples in Haskell, the work covers...

Повний опис

Бібліографічні деталі

Автор:	Yukita, Shuichi (Автор)
Співавтор:	SpringerLink (Online service)
Формат:	Електронний ресурс eКнига
Мова:	Англійська
Опубліковано:	Cham : Springer Nature Switzerland : Imprint: Birkhäuser, 2025.
Редагування:	1st ed. 2025.
Серія:	Computer Science Foundations and Applied Logic,
Предмети:	Computer science. Algebra, Homological. Computer programming. Algebraic topology. Computer Science Logic and Foundations of Programming. Category Theory, Homological Algebra. Programming Techniques. Algebraic Topology.
Онлайн доступ:	https://doi.org/10.1007/978-3-031-68538-5
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!