Date: Fri, 24 Feb 1995 00:00:10 -0400 (AST)
Subject: FinLim et FinProd ?


Date: Thu, 23 Feb 95 16:18:35 +0100
From: Monique Mathieu <momathie@mathp7.jussieu.fr>

        Lors des Journees d'Etude sur les Esquisses du 6 et 7 fevrier,
organisees a Paris 7, j'ai ete sollicitee pour parler sur le theme "
esquissabilite et monadicite ". J'ai relu differents textes a cette
occasion et j'ai notamment trouve une construction tres naturelle de
l'esquisse des categories a limites choisies, construction qui demontre de
plus la monadicite de cette categorie sur Cat. Recemment, on m'a montre le
texte de Atish Bagchi et Charles Wells : " Graph-based Logic and Sketches
I : The General Framework ". Je trouve ce texte fort bien ecrit mais
complique, notamment la construction des esquisses de categories a
produits ou limites choisis (FinProd et FinLim), sans comprendre la raison
de cette complication. Quelqu'un peut-il m'expliquer l'interet (cache) de
cette complication ?

Je peux, bien sur, envoyer a quiconque me le demandera mes references, voire
un resume, en anglais si necessaire, de la construction que j'annonce.
Cordialement.     Monique Mathieu.