🚀 go-pugleaf

jrx napisał(a):

 > Jest może jakiś podręcznik do
> matematyki zajmujący się tą tematyką? (Głównie interesuje mnie rachunek
> lambda i monady)

Tak.

Podstawowy (wciąż) podręcznik to:

"Categories for the Working Mathematician" - Saunders Mac Lane

wprowadzający fundamentalne pojęcia i dający podstawowe intuicje 
kategoryjne.

Dalej książka Lambeka i Scott'a:

"Introduction to Higher Order Categorical Logic"

pokazująca kategorie od strony logiki i teorii typów (związek pewnych 
specjalnych kategorii z rachunkami lambda o typach prostych, fragmentami 
  logik intuicjonistycznych i teorii typów Martina-Lofa).

W końcu:

"Categorical Logic and Type Theory" - Bart Jacobs

która jest już dość zaawansowaną monografią nt. kategoryjnych uchatków, 
w których naturalnie żyją modele dla bardziej skomplikowanych rachunków 
(i logik) niż te z typami prostymi (np. polimorfizm wyższego rzędu czy 
typy zależne).

***

Samą koncepcję kategoryjnych monad, do języków programowania, wprowadził 
Eugenio Moggi przy opisywaniu semantyki języków funkcyjncyh w 
kategoriach Kleislego. Praca jest gdzieś dostępna on-line, ale nie mam 
teraz czasu szukać.


mp