Groups
Sign in
Groups
cats.info
Conversations
About
Send feedback
Help
cats.info
Contact owners and managers
1–30 of 86
Mark all as read
Report group
0 selected
Alain Simon
11/26/19
La représentation du Sujet
Bonjour, Je m'essaie à utiliser la théorie des catégories pour représenter les modes de penser du
unread,
La représentation du Sujet
Bonjour, Je m'essaie à utiliser la théorie des catégories pour représenter les modes de penser du
11/26/19
QUATRINI Myriam
6/4/13
Postdoc position in proof theory in Marseille-IML, second-call
The team Logique de la Programmation (LDP) of the Institut de Mathématiques de Luminy (IML) in
unread,
Postdoc position in proof theory in Marseille-IML, second-call
The team Logique de la Programmation (LDP) of the Institut de Mathématiques de Luminy (IML) in
6/4/13
QUATRINI Myriam
5/7/13
Postdoc position in proof theory in Marseille, IML
The team Logique de la Programmation (LDP) of the Institut de Mathématiques de Luminy (IML) in
unread,
Postdoc position in proof theory in Marseille, IML
The team Logique de la Programmation (LDP) of the Institut de Mathématiques de Luminy (IML) in
5/7/13
QUATRINI Myriam
6/12/12
Postdoc position in proof theory in Marseille, IML
[Apologies for multiple posting] SECOND announcement: The French ANR project LOGOI is inviting
unread,
Postdoc position in proof theory in Marseille, IML
[Apologies for multiple posting] SECOND announcement: The French ANR project LOGOI is inviting
6/12/12
quat...@iml.univ-mrs.fr
4/20/12
Postdoc position in proof theory in Marseille, IML
[Apologies for multiple posting] The French ANR project LOGOI is inviting applications for a
unread,
Postdoc position in proof theory in Marseille, IML
[Apologies for multiple posting] The French ANR project LOGOI is inviting applications for a
4/20/12
Isar Stubbe
11/29/11
SIC à Paris le 25 février 2012
Bonjour à tous, Le prochain Séminaire Itinérant de Catégories, organisé par René Guitart, Anatole
unread,
SIC à Paris le 25 février 2012
Bonjour à tous, Le prochain Séminaire Itinérant de Catégories, organisé par René Guitart, Anatole
11/29/11
Lionel Vaux
11/28/11
LI2012: second call for participation
SECOND CALL FOR PARTICIPATION LOGIC AND INTERACTIONS 2012 (LI2012) WINTER SCHOOLS and WORKSHOPS
unread,
LI2012: second call for participation
SECOND CALL FOR PARTICIPATION LOGIC AND INTERACTIONS 2012 (LI2012) WINTER SCHOOLS and WORKSHOPS
11/28/11
Tom Hirschowitz
11/21/11
une variante de la factorisation comprehensive?
Chers tous, On trouve de nombreuses references a la factorisation comprehensive d'un foncteur,
unread,
une variante de la factorisation comprehensive?
Chers tous, On trouve de nombreuses references a la factorisation comprehensive d'un foncteur,
11/21/11
Emmanuel Beffara
10/20/11
LI2012: call for participation
CALL FOR PARTICIPATION LOGIC AND INTERACTIONS 2012 (LI2012) WINTER SCHOOLS and WORKSHOPS Monday
unread,
LI2012: call for participation
CALL FOR PARTICIPATION LOGIC AND INTERACTIONS 2012 (LI2012) WINTER SCHOOLS and WORKSHOPS Monday
10/20/11
Isar Stubbe
10/17/11
SIC à Calais le vendredi 21 octobre 2011
Bonjour à tous, Voici le programme du prochain Séminaire Itinérant de Catégories, qui aura donc lieu
unread,
SIC à Calais le vendredi 21 octobre 2011
Bonjour à tous, Voici le programme du prochain Séminaire Itinérant de Catégories, qui aura donc lieu
10/17/11
Isar Stubbe
10/6/11
SIC à Calais le 21 octobre (deuxième annonce)
Bonjour à tous, Nous vous rappelons que le prochain Séminaire Itinérant de Catégories aura lieu le
unread,
SIC à Calais le 21 octobre (deuxième annonce)
Bonjour à tous, Nous vous rappelons que le prochain Séminaire Itinérant de Catégories aura lieu le
10/6/11
Isar Stubbe
9/14/11
SIC à Calais le 21 octobre 2011
Bonjour à tous, Nous vous invitons au prochain Séminaire Itinérant de Catégories, qui aura lieu le
unread,
SIC à Calais le 21 octobre 2011
Bonjour à tous, Nous vous invitons au prochain Séminaire Itinérant de Catégories, qui aura lieu le
9/14/11
Tom Hirschowitz
9/2/11
trouve!
Bonjour, La reponse a ma question d'hier est qu'en effet, pour toute 2- categorie K, les hom-
unread,
trouve!
Bonjour, La reponse a ma question d'hier est qu'en effet, pour toute 2- categorie K, les hom-
9/2/11
Tom Hirschowitz
9/1/11
limites laxes et prefaisceaux
Bonjour tout le monde, Il me semble que le resultat suivant est vrai: pour tout pushout lax dans Cat,
unread,
limites laxes et prefaisceaux
Bonjour tout le monde, Il me semble que le resultat suivant est vrai: pour tout pushout lax dans Cat,
9/1/11
Emmanuel Beffara
6/22/11
LI2012: first announcement
FIRST ANNOUNCEMENT LOGIC AND INTERACTIONS 2012 (LI2012) WINTER SCHOOL and WORKSHOPS Monday January 30
unread,
LI2012: first announcement
FIRST ANNOUNCEMENT LOGIC AND INTERACTIONS 2012 (LI2012) WINTER SCHOOL and WORKSHOPS Monday January 30
6/22/11
Samuel Mimram
6/21/11
Post-doc position available at CEA Saclay, France
================================================= Post-doc position available at CEA Saclay, France =
unread,
Post-doc position available at CEA Saclay, France
================================================= Post-doc position available at CEA Saclay, France =
6/21/11
Luigi Santocanale
6/20/11
TACL 2011 : Call for participation
[apologies for multiple posting] ====================================================================
unread,
TACL 2011 : Call for participation
[apologies for multiple posting] ====================================================================
6/20/11
Luigi Santocanale
4/4/11
TACL 2011, third and last call for papers (submission deadline approaching: 18/04/2011)
[Apologies for multiple copies] *Submission deadline approaching: 18/04/2011* =======================
unread,
TACL 2011, third and last call for papers (submission deadline approaching: 18/04/2011)
[Apologies for multiple copies] *Submission deadline approaching: 18/04/2011* =======================
4/4/11
Luigi Santocanale
2/18/11
TACL 2011, 2nd call for papers
[Apologies for multiple copies] =====================================================================
unread,
TACL 2011, 2nd call for papers
[Apologies for multiple copies] =====================================================================
2/18/11
bur...@math.jussieu.fr
2/15/11
Re : carboni-johnstone
Salut Tom, Je l'ai, mais je suis en transit et là où je suis je ne l'ai que sous forme papier
unread,
Re : carboni-johnstone
Salut Tom, Je l'ai, mais je suis en transit et là où je suis je ne l'ai que sous forme papier
2/15/11
Tom Hirschowitz
2/15/11
carboni-johnstone
Salut tout le monde, Est-ce que quelqu'un aurait s'il vous plait une version electronique du
unread,
carboni-johnstone
Salut tout le monde, Est-ce que quelqu'un aurait s'il vous plait une version electronique du
2/15/11
Séminaire Itinérant de Catégories
1/20/11
SIC à Paris le 12 mars 2011 (première annonce)
[Message de la part de René Guitart:] Première annonce du prochain SIC Le prochain SIC aura lieu le
unread,
SIC à Paris le 12 mars 2011 (première annonce)
[Message de la part de René Guitart:] Première annonce du prochain SIC Le prochain SIC aura lieu le
1/20/11
Très Grand Débutant
2
1/19/11
hierarchie de Levy et RLP (right lifting property)
On 18 jan, 17:49, Très Grand Débutant <granddebutantcatego...@gmail.com> wrote: > Bonjour,
unread,
hierarchie de Levy et RLP (right lifting property)
On 18 jan, 17:49, Très Grand Débutant <granddebutantcatego...@gmail.com> wrote: > Bonjour,
1/19/11
luigi.sa...@lif.univ-mrs.fr
12/26/10
TACL 2011, first call for papers
[Apologies for multiple copies] =====================================================================
unread,
TACL 2011, first call for papers
[Apologies for multiple copies] =====================================================================
12/26/10
Samuel Mimram
,
bur...@math.jussieu.fr
3
11/25/10
Préfaisceaux et monadicité
Bonjour Albert, 2010/11/24 <bur...@math.jussieu.fr> Bonjour Samuel, Supposons que j'aie
unread,
Préfaisceaux et monadicité
Bonjour Albert, 2010/11/24 <bur...@math.jussieu.fr> Bonjour Samuel, Supposons que j'aie
11/25/10
bur...@math.jussieu.fr
,
Tom Hirschowitz
3
11/23/10
Re : logique combinatoire typée
[Tom, j'ai un problème avec la liste : chaque fois que je réponds sur "répondre à la liste
unread,
Re : logique combinatoire typée
[Tom, j'ai un problème avec la liste : chaque fois que je réponds sur "répondre à la liste
11/23/10
bur...@math.jussieu.fr
11/22/10
complétude fonctionnelle de la LC
Encore moi ..., Si quelqu'un saurait me renseigner sur ce point technique : En logique
unread,
complétude fonctionnelle de la LC
Encore moi ..., Si quelqu'un saurait me renseigner sur ce point technique : En logique
11/22/10
bur...@math.jussieu.fr
,
Tom Hirschowitz
2
11/22/10
logique combinatoire typée
Salut Albert, Je suis pas sur de bien comprendre ta question, mais est-ce que par hasard la logique
unread,
logique combinatoire typée
Salut Albert, Je suis pas sur de bien comprendre ta question, mais est-ce que par hasard la logique
11/22/10
Isar Stubbe
10/28/10
SIC à Calais le 5 novembre 2010 (troisième et dernière annonce)
Bonjour à tous, Voici le programme du prochain Séminaire Itinérant de Catégories, qui aura lieu le
unread,
SIC à Calais le 5 novembre 2010 (troisième et dernière annonce)
Bonjour à tous, Voici le programme du prochain Séminaire Itinérant de Catégories, qui aura lieu le
10/28/10
Isar Stubbe
10/20/10
SIC à Calais le 5 novembre 2010 (deuxième annonce)
Bonjour à tous, Nous vous rappelons que le prochain Séminaire Itinérant de Catégories aura lieu le
unread,
SIC à Calais le 5 novembre 2010 (deuxième annonce)
Bonjour à tous, Nous vous rappelons que le prochain Séminaire Itinérant de Catégories aura lieu le
10/20/10