Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Categories for types
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-02-28 (08:58)
From: Axel_Poigné <axel.poigne@i...>
Subject: Re: [Caml-list] Categories for types

Well, maybe one should not advertise oneself but a long time ago I  
wrote a chapter on "Basic Category Theory" in the Handbook of Logic in  
Computer Science" (Eds. S. Abramsky, D.Gabbay, T.S.E. Maibaum). Basic  
notions of category theory (and somewhat more) are introduced from the  
viewpoint of functional programming (and other applications in  
computer science).
Maybe a bit outdated if you consider developments in linear logic,  
coalbras, and applications of categories in particular in physics ( 
), but the chapter still may help to understand some of the basic  
concepts from a programmers point of view (for adjunctions some  
familiarity with automata theory is assumed, though - in former times  
standard knowledge in CS).



PS. Mildly ignore the mistakes.