DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=sender:message-id:date:from:user-agent:mime-version:to:subject
         :content-type:content-transfer-encoding;
        b=bWPjtFDxegjzwMay1eU2f4LdhmfaBMrs4xRT4qym/7gzVHbZrQnoYiS2HeSwA74ACA
         jk2SFSs4HxfIKPNU7udOAE8v27iO7UqEF1xsn+iy8r4D4vOwiEyZRBZg/kWptp5pAU+Y
         zjHDiICZSzWKvLe4OL2SrQxfc6fvkr/zy8QpA=
Sender: Damiano Mazza <damio314@gmail.com>
Message-ID: <4B16A24C.4050506@lipn.univ-paris13.fr>
Date: Wed, 02 Dec 2009 18:22:20 +0100
From: Damiano Mazza <damiano.mazza@lipn.univ-paris13.fr>
User-Agent: Thunderbird 2.0.0.23 (Macintosh/20090812)
MIME-Version: 1.0
To: lipn@lipn.univ-paris13.fr
Subject: =?ISO-8859-15?Q?=5BS=E9minaire_LCR=5D_14/12/2009=2C_15h30=2C?=
 =?ISO-8859-15?Q?_B311_=3A_Laurent_Poinsot?=
Content-Type: text/plain; charset="iso-8859-15"; format="flowed"
Content-Transfer-Encoding: quoted-printable

Bonjour,

Le 14 d=E9cembre prochain, Laurent Poinsot (que peut-=EAtre quelqu'un=20
d'entre vous conna=EEt d=E9j=E0) nous fera un expos=E9 au s=E9minaire LCR :

Le mono=EFde partiel libre
_______________________________________________________________

*R=E9sum=E9 :* La structure de mono=EFde est fondamentale en=20
informatique th=E9orique, et plus pr=E9cis=E9ment en combinatoire=20
alg=E9brique, puisqu'elle est reli=E9e aux concepts de langages,=20
d'automates, de s=E9ries formelles et d'alg=E8bres de Lie=20
combinatoires par exemple. Un mono=EFde est un ensemble non vide=20
muni d'une loi de composition interne associative et d'un =E9l=E9ment=20
neutre bilat=E8re. De fa=E7on informelle, un mono=EFde partiel est un=20
mono=EFde dont la loi de composition n'est que partiellement d=E9fini.=20
Un mono=EFde =E0 z=E9ro est un mono=EFde (total) pourvu d'un =E9l=E9ment=20
distingu=E9, le z=E9ro, qui est absorbant pour sa loi de composition=20
interne. Dans cet expos=E9, apr=E8s avoir effectu=E9 des rappels=20
concernant ces diff=E9rentes structures ainsi que des notions de=20
th=E9orie des cat=E9gories, je montre que les cat=E9gories des mono=EFdes=20
=E0 z=E9ro et des mono=EFdes partiels sont essentiellement identiques=20
(le z=E9ro marque l'erreur d'un produit non d=E9fini), et qu'elles=20
diposent d'un objet libre, =E0 savoir, le mono=EFde partiel libre,=20
g=E9n=E9ralisant en cela le r=E9sultat classique concernant l'existence=20
du mono=EFde (total) libre.
_______________________________________________________________


Bien cordialement,
Damiano


--=20
Damiano Mazza
Charg=E9 de recherche CNRS
Laboratoire d'Informatique de Paris Nord
http://www-lipn.univ-paris13.fr/~mazza
________________________________________________________
The best evidence of intelligent life out there is that
none of them have contacted us.
-- John Fistere, from the National Geographic Forum