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=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 6F96CBBCA for ; Wed, 27 Feb 2008 15:19:09 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAJsAxUdA6ba8mGdsb2JhbACQZwEBAQEBBgQECQoYlEqIFw X-IronPort-AV: E=Sophos;i="4.25,413,1199660400"; d="scan'208";a="23108075" Received: from nf-out-0910.google.com ([64.233.182.188]) by mail4-smtp-sop.national.inria.fr with ESMTP; 27 Feb 2008 15:19:09 +0100 Received: by nf-out-0910.google.com with SMTP id e27so1627204nfd.13 for ; Wed, 27 Feb 2008 06:19:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=sKa6sSWUAMcIQltGwIiwQ73jpEnOClp/xuZxENDO0ZI=; b=wwLdaQGksL87IUNpe676RW51DL77xgq76x8XEMmuT6ATZhiDqLW+0SzUzRcioZt1OmtFXNC+a4QeqIwrG0ocCuu4LTS37+YWBeBqdu5m8/+eWu6QNqSw3BEH3Z5LehxdnT369badhKMWhmFp0CnqZfx1H8vHuRaK8ozsL6UM5s8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=Y/QqV0OyfrlZHWkHiabjmnCeL5IBGHUYhVJmgXXucCxJ+W43b6sfKeZyJ8njUU4BbXPwdttaoGovlQheDSkTL8s6xPROdVkdlqcToqglwbWwrryJTo45Ho1VQSJ7N8+UBOOIqdoucOpTMBYwVeSV2MczZwfMjQy7pBZVKEOXhKs= Received: by 10.82.160.19 with SMTP id i19mr1821211bue.14.1204121948164; Wed, 27 Feb 2008 06:19:08 -0800 (PST) Received: by 10.82.180.12 with HTTP; Wed, 27 Feb 2008 06:19:07 -0800 (PST) Message-ID: <6cb897b30802270619p44a07d7bpefb081eaf14ea4d2@mail.gmail.com> Date: Wed, 27 Feb 2008 15:19:07 +0100 From: "Pierre-Evariste Dagand" To: "=?ISO-8859-1?Q?Micha=EBl_Gr=FCnewald?=" , caml-list@yquem.inria.fr Subject: Re: [Caml-list] Categories for types In-Reply-To: <1204103280.10964.16.camel@Llea.celt.neu> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1204103280.10964.16.camel@Llea.celt.neu> X-Spam: no; 0.00; lambda:01 developping:01 anna:98 caml-list:01 benjamin:01 pierce:02 pierce:02 intuitions:03 languages:03 programming:03 logic:04 suggests:04 types:05 types:05 intermediate:05 > Maybe someone can also suggests other readings to me. /!\ Disclaimer /!\ I'm not a category theory guru, it just happened that I had one lecture on that topic, I'm still trying to understand that field. The following references come from my teacher. Feel free to comment this choice / to comment over my comments, I am eager to learn more about this topic. This book is a "classic", targeting the use of category theory for programming languages : Basic Category Theory for Computer Scientists, Benjamin C. Pierce It's "understandable", i.e: to be read with a pen and a paper. That's not a thriller... Then comes the Crole, Categories for Types. Quite hard to grasp but hey... that's category theory... Spoiler : at the end, the hyper-doctrine classify the \omega \lambda theory, I look forward Season 2 to know how she reacts. Less computer science oriented, you have : Conceptual Mathematics: A First Introduction to Categories, Lawvere & Schanuel This one is very pedestrian, it starts with stones, Anna, Joe and Richard to end with "higher universal mapping properties". I find it quite good at developping some intuitions of what all these thingy-morphisms are, among other thingysm. On the other hand, you have the H-Bomb : Categories for the Working Mathematician, Mac Lane Probably a very good book. But I can't comment it : as soon as I open it, read a line, I fall asleep. It's a very dense book. I have also heard a good review of the following : Category Theory (Oxford Logic Guides), Steve Awodey As an intermediate between Mac Lane and Pierce. Good luck and don't forget to buy a lot of coffee, -- Pierre-Evariste Dagand