Contributions de Thirs

19 octobre 2011

• 14:0619 octobre 2011 à 14:06 diff hist +48‎ Infinity-categories, symbolic dynamical systems, and mathematical physics ‎Aucun résumé des modifications
• 14:0319 octobre 2011 à 14:03 diff hist −30‎ Infinity-categories, symbolic dynamical systems, and mathematical physics ‎Aucun résumé des modifications
• 13:5719 octobre 2011 à 13:57 diff hist +443‎ Infinity-categories, symbolic dynamical systems, and mathematical physics ‎Aucun résumé des modifications
• 13:5419 octobre 2011 à 13:54 diff hist +2 013‎ Infinity-categories, symbolic dynamical systems, and mathematical physics ‎Aucun résumé des modifications
• 13:3319 octobre 2011 à 13:33 diff hist +1 949‎ Infinity-categories, symbolic dynamical systems, and mathematical physics ‎Aucun résumé des modifications
• 13:1219 octobre 2011 à 13:12 diff hist +1 007‎ Infinity-categories, symbolic dynamical systems, and mathematical physics ‎Aucun résumé des modifications
• 13:0319 octobre 2011 à 13:03 diff hist +40‎ Infinity-categories, symbolic dynamical systems, and mathematical physics ‎Aucun résumé des modifications
• 13:0119 octobre 2011 à 13:01 diff hist +87‎ N CatDyn ‎ a déplacé CatDyn vers Infinity-categories, symbolic dynamical systems, and mathematical physics: Je savais pas que c'était forcément le titre affiché en haut de la page. actuelle
• 13:0119 octobre 2011 à 13:01 diff hist 0‎ m Infinity-categories, symbolic dynamical systems, and mathematical physics ‎ a déplacé CatDyn vers Infinity-categories, symbolic dynamical systems, and mathematical physics: Je savais pas que c'était forcément le titre affiché en haut de la page.
• 12:5919 octobre 2011 à 12:59 diff hist +703‎ N Infinity-categories, symbolic dynamical systems, and mathematical physics ‎Aucun résumé des modifications

13 janvier 2011

• 11:3413 janvier 2011 à 11:34 diff hist +1‎ ANR PML ‎ →‎Context and positioning of the proposal
• 11:3313 janvier 2011 à 11:33 diff hist +407‎ ANR PML ‎ →‎Context and positioning of the proposal
• 11:1613 janvier 2011 à 11:16 diff hist +1‎ ANR PML ‎ →‎Tom Hirshowitz (LAMA, Chambéry)
• 11:1513 janvier 2011 à 11:15 diff hist +50‎ ANR PML ‎ →‎Task 5 - validation (transverse task)
• 11:0913 janvier 2011 à 11:09 diff hist +2‎ ANR PML ‎ →‎Task 5 - validation (transverse task)
• 11:0813 janvier 2011 à 11:08 diff hist +34‎ ANR PML ‎ →‎Task 5 - validation (transverse task)
• 11:0413 janvier 2011 à 11:04 diff hist −5‎ ANR PML ‎ →‎Task 1 - theoretical work, design of the language

27 novembre 2009

• 07:5227 novembre 2009 à 07:52 diff hist −2‎ Mise en ligne des calendriers ‎ →‎Autres calendriers
• 07:5227 novembre 2009 à 07:52 diff hist +432‎ Mise en ligne des calendriers ‎ →‎Calendrier séminaires et laboratoire en lecture

20 novembre 2009

• 11:1220 novembre 2009 à 11:12 diff hist +39‎ Mise en ligne des calendriers ‎Aucun résumé des modifications

31 mars 2009

• 20:5531 mars 2009 à 20:55 diff hist +400‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎ →‎Presheaves and sheaves
• 19:5731 mars 2009 à 19:57 diff hist +3‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎ →‎Yoneda

27 mars 2009

• 14:3827 mars 2009 à 14:38 diff hist −44‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎Aucun résumé des modifications
• 14:3327 mars 2009 à 14:33 diff hist +1 826‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎Aucun résumé des modifications
• 12:4927 mars 2009 à 12:49 diff hist +1 321‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎Aucun résumé des modifications

17 mars 2009

• 10:4617 mars 2009 à 10:46 diff hist +1‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎ →‎Other basic examples
• 10:2117 mars 2009 à 10:21 diff hist +1 008‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎ →‎CAT as a 2-category
• 10:1417 mars 2009 à 10:14 diff hist +1 026‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎ →‎2-categories and their diagrammatic calculus
• 10:1417 mars 2009 à 10:14 diff hist 0‎ N Fichier:Vert-comp.png ‎Aucun résumé des modifications actuelle
• 10:0717 mars 2009 à 10:07 diff hist 0‎ N Fichier:Interchange.png ‎Aucun résumé des modifications actuelle
• 09:5517 mars 2009 à 09:55 diff hist 0‎ N Fichier:Poincare.png ‎Aucun résumé des modifications actuelle
• 09:4217 mars 2009 à 09:42 diff hist 0‎ N Fichier:2-cat-inter.png ‎Aucun résumé des modifications actuelle
• 09:4117 mars 2009 à 09:41 diff hist 0‎ N Fichier:2-cat-inter.pdf ‎Aucun résumé des modifications actuelle
• 09:4017 mars 2009 à 09:40 diff hist 0‎ N Fichier:2-cat-1.png ‎Aucun résumé des modifications actuelle
• 09:2417 mars 2009 à 09:24 diff hist −2 422‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎Aucun résumé des modifications

2 mars 2009

• 13:292 mars 2009 à 13:29 diff hist +137‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎ →‎Adjunctions
• 09:072 mars 2009 à 09:07 diff hist +8‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎ →‎Monads and resolutions
• 09:062 mars 2009 à 09:06 diff hist +1 043‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎Aucun résumé des modifications

27 février 2009

• 16:0027 février 2009 à 16:00 diff hist +799‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎Aucun résumé des modifications
• 15:4827 février 2009 à 15:48 diff hist 0‎ N Fichier:Prod-iso-2.png ‎Aucun résumé des modifications actuelle
• 15:4827 février 2009 à 15:48 diff hist 0‎ N Fichier:Prod-iso.png ‎Aucun résumé des modifications actuelle
• 15:0027 février 2009 à 15:00 diff hist +1 303‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎Aucun résumé des modifications
• 14:5727 février 2009 à 14:57 diff hist 0‎ N Fichier:Prod.png ‎Aucun résumé des modifications actuelle
• 13:1527 février 2009 à 13:15 diff hist +183‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎Aucun résumé des modifications

25 février 2009

• 16:0925 février 2009 à 16:09 diff hist −4‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎Aucun résumé des modifications
• 16:0825 février 2009 à 16:08 diff hist +828‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎Aucun résumé des modifications
• 15:5825 février 2009 à 15:58 diff hist −4‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎Aucun résumé des modifications
• 15:5725 février 2009 à 15:57 diff hist −2‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎Aucun résumé des modifications

21 octobre 2008

• 12:2321 octobre 2008 à 12:23 diff hist +24‎ Reseau inverse ‎ →‎Logical rules
• 12:1221 octobre 2008 à 12:12 diff hist +1‎ Reseau inverse ‎ →‎Logical rules