From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=AWL,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 40B2FBBCA for ; Thu, 28 Feb 2008 09:58:05 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAN8GxkeZYAEcg2dsb2JhbACQcQEBAQgEBhEWnF4 X-IronPort-AV: E=Sophos;i="4.25,418,1199660400"; d="scan'208";a="8705878" Received: from mailgw2-out.fraunhofer.de (HELO mailgw12.noc.fraunhofer.de) ([153.96.1.28]) by mail1-smtp-roc.national.inria.fr with ESMTP; 28 Feb 2008 09:58:04 +0100 Received: from mailgw12.noc.fraunhofer.de (localhost [127.0.0.1]) by mailgw12.noc.fraunhofer.de (8.13.5+/8.13.4) with ESMTP id m1S8vw8O012738; Thu, 28 Feb 2008 09:57:58 +0100 (CET) Received: from kso.iais.fraunhofer.de (mail-gw.iais.fraunhofer.de [193.175.162.66]) by mailgw12.noc.fraunhofer.de (8.13.5+/8.13.4) with ESMTP id m1S8vvwY012724 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Thu, 28 Feb 2008 09:57:58 +0100 (CET) Received: from ksi.iais.fraunhofer.de (ksi.iais.fraunhofer.de [129.26.64.2]) by kso.iais.fraunhofer.de (8.13.5+/8.13.5) with ESMTP id m1S8vvod022754 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Thu, 28 Feb 2008 09:57:57 +0100 (CET) X-Received: iais.fraunhofer.de-policy from ksi.iais.fraunhofer.de (localhost [127.0.0.1]) by ksi.iais.fraunhofer.de (8.13.5+/8.13.5) with ESMTP id m1S8vpYU007507; Thu, 28 Feb 2008 09:57:51 +0100 (CET) Received: from macbook-axel.ais.fraunhofer.de (macbook-axel.ais.fraunhofer.de [129.26.149.197]) by ksi.iais.fraunhofer.de (8.13.5+/8.13.5) with ESMTP id m1S8vpI4007504; Thu, 28 Feb 2008 09:57:51 +0100 (CET) Cc: Pierre-Evariste Dagand , caml-list@yquem.inria.fr Message-Id: <5991B852-4FBF-482A-9CA5-06FC9652F6C9@iais.fraunhofer.de> From: =?ISO-8859-1?Q?Axel_Poign=E9?= To: =?ISO-8859-1?Q?Micha=EBl_Gr=FCnewald?= In-Reply-To: <1204143364.1724.6.camel@Llea.celt.neu> Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v919.2) Subject: Re: [Caml-list] Categories for types Date: Thu, 28 Feb 2008 09:57:16 +0100 References: <1204103280.10964.16.camel@Llea.celt.neu> <6cb897b30802270619p44a07d7bpefb081eaf14ea4d2@mail.gmail.com> <1204143364.1724.6.camel@Llea.celt.neu> X-Mailer: Apple Mail (2.919.2) X-Fraunhofer-Email-Policy: accepted X-Spam: no; 0.00; fraunhofer:01 eds:98 wrote:01 caml-list:01 linear:02 functional:02 automata:02 programming:03 viewpoint:03 chapter:04 chapter:04 logic:04 logic:04 types:05 somewhat:05 Hello 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 (http://categorieslogicphysics.wikidot.com/video ), 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). Regards Axel PS. Mildly ignore the mistakes.