May 2011
In May 2011 The Archive intends to record the following events
NB Recordings not yet uploaded. Links to Recordings and overheads and other documentation will become operational shortly. See “Recent News and Updates” Section of Website
Monday 2nd May – Sunday 8th May 2011
—oOo—
STOCKHOLM, Sweden
TOWARDS A SCIENCE OF CONSCIOUSNESS : International Congress
For Announcement and Preliminary Information See www.consciousness.arizona.edu
Click here for Program. Further information and links to recordings
and other records of the Congress to follow.
—oOo—
Monday 2nd May 2011
10:00 – 12:00 hrs PARIS : CNRS Research Centre, 190 Avenue de France
Seminaire “HISTOIRE DE GEOMETRIES” (Convenors Prof. Dominique Flament and Dr Marie Anglade)
Formerly held at MSH at 54 Blvd Raspail. See records and video recordings of previous years of this Seminar under earlier years 2002 – 2010 of this Archive Catalogue and also in consolidated formwithin the Section (Title and Location to be Advised)
Speaker : Daniel BENNEQUIN (Univ of Paris 7 Denis Diderot)
Title : On Motion and The Cohomological Meaning of Dynamic Spacetime Geometry
Link to recording of Talk
Link to contemporaneous Notes of Board presentation
—oOo—
Monday 2nd May 2011 17:00 hrs
PARIS : C.R.E.A. at E.N.S.T.A.
SEMINAR on THEORETICAL BIOLOGY (Convenor Prof. Guiseppe LONGO)
Speaker : Guiseppe LONGO
Title : Three 20th Century Figures illustrating Structural and Relational Approaches to Theoretical Biology
J.H. Woodger, Nicolas Rashevsky and Robert Rosen. A Comparative Study of their viewpoints.
Click here for Recording of Talk (First part missing)
—oOo—
Monday 2nd May 2011 17:30 – 19:30 hrs : PARIS, IHPST, Rue du Four
History and Philosophy of Logic Seminar :
Jan Von PLATO (Helsinki) : Bernays and Gentzen : Intuitionistic Insights
Click here for recording of Talk.
Click here for Speakers Overheads.
—oOo—
19:00 hrs ENS Paris Batiment Rataud Salle Info 5 Niveau -1
Seminaire Philosophie et Mathematique ENS
2011 Series : Variational Principles in Conceptual and Historical Perspective
Speaker : Ugo BOSCAIN (CMAP, CNRS)
Anthropomorphic Image Reconstruction via Hypoelliptic Diffusion
—oOo—
Monday 2nd May – Tuesday 3rd May 2011
University of Paris 1 Sorbonne : 54 Rue Saint Jacques Salle Des Actes
Two Day SYMPOSIUM on The History and Philosophy of Logic
La Logique en Question
LOGIC IN QUESTION / LA LOGIQUE EN QUESTION
Details of Program are at http://www.implications-philosophiques.org/actualite/events/la-logique-en-question/
SPEAKERS and TITLES of TALKS
Day 1 Monday 2nd May 2011
13h30-14h0
Accueil et Ouverture du Colloque
Click here for link to recording
14h00-14h40
Jean-Baptiste Gourinat
Le problème de l’autonomie de la logique dans l’Antiquité: Aristote et les stoïciens
Click here for link to Recording
Click here for Notes/Speakers Overheads/Handout/Other related Documentation
14h40-15h20
Maarten Bullynck
Nager dans l’océan des connaissances: Les logiques de Lambert
Click here for link to Recording
Click here for Notes/Speakers Overheads/Handout/Other related Documentation
Pause
15h40-16h20
Marie-José Durand Richard
George Boole (1815-1864) : les lois mathématiques du raisonnement et de l’esprit face à l’empirisme
Click here for link to Recording
Click here for Notes/Speakers Overheads/Handout/Other related Documentation
16h20-17h00
Jean-Marie Chevalier
Quelles relations entre la logique de Peirce et sa philosophie de la logique?
Click here for link to Recording
Click here for Notes/Speakers Overheads/Handout/Other related Documentation
Pause
17h20-18h00
Anca Pascu
La logique de la détermination des objets
Click here for link to Recording (this recording is incomplete)
Click here for Notes/Speakers Overheads/Handout/Other related Documentation
—oOo—
Day 2 Tuesday 3rd May 2011
9h00-9h40
Jean-Pierre Desclés
La logique combinatoire : sa portée philosophique et son interprétation cognitive
Click here for link to Recording
Click here for Notes/Speakers Overheads/Handout/Other related Documentation
9h40-10h20
Liesbeth De Mol
When logic faces digital circuitry. Early interactions between notation, formalism, programming and machinery
Click here for link to Recording
Click here for Notes/Speakers Overheads/Handout/Other related Documentation
Pause
1oh40h-11h20
Piotr Leśniewski
Katarzyna Gan-Krzywoszyńska
Les révolutions en logique
Click here for link to Recording
Click here for Notes/Speakers Overheads/Handout/Other related Documentation
11h20-12h00
Jean-Yves Beziau
Logic is not logic
Click here for link to Recording
Click here for Notes/Speakers Overheads/Handout/Other related Documentation
Repas
14h00-14h40
Fabien Schang
Quelle logique pour la négation?
Click here for link to Recording
Click here for Notes/Speakers Overheads/Handout/Other related Documentation
14h40-15h20
Alessio Moretti
Logic is (also) geometry
Click here for link to Recording
Click here for Notes/Speakers Overheads/Handout/Other related Documentation
Pause
15h40-16h20
Valeria Giardino
Logique et représentations: le cas des cercles pour le syllogisme
Click here for link to Recording
Click here for Notes/Speakers Overheads/Handout/Other related Documentation
16h20-17h00
Amirouche Moktefi
A. W. F. Edwards
Les diagrammes logiques pour n termes
Click here for link to Recording
Click here for Notes/Speakers Overheads/Handout/Other related Documentation
Close of the Colloquium.
—oOo—
Tuesday 3rd May 2011
University of Paris 7 Salle 646A Batiment Condorcet
SPHERE/REHSEIS Seminar in Philosophy of Math Session 4 of 2011 Program
Proof-Theoretical Semantics and The Justification of Logical Laws
Click here http://www.rehseis.cnrs.fr/spip.php?article579
for Program of Seminar
Click here for Links to Recorded Talks and Speakers Slides.
—oOo—
Wednesday 4th May 2011
17:00 – 19:00 hrs Room 7 D 01
Institut de Mathematiques de Jussieu Rue Chevalaret
Lecture 1 of A Six Part Lecture Course by Professor Andre JOYAL (UQUAM)
A SURVEY OF QUASI- CATEGORIES I
—oOo—
Thursday 5th May 2011
University of Paris 7 SPHERE/REHSEIS Seminar
“Histoire des Sciences, Histoire du Texte
Session 7 of 2011 Series. Details to be added.
—oOo—
Thursday 5th May 2011
4:00 PM : Oxford Philosophy of Physics Seminar
Frank Artzenius and C. Dorr
The Ontology of Gauge Theories and Differential Geometry
Click here for link to Recording of Talk.
Click here for link to speakers overheads and other related documentation
—oOo—
Friday 6th May 2011
Gresham College London
Joint Meeting of British Society for The History of Mathematics and Gresham College London on Early Modern Mathematics
Introduced by Robin Wilson, Emeritus Gresham Professor of Geometry
Speakers include : Alex Belos, Serafina Cuomo, Tony Mann, Jo Marchand, Reviel Netz and Dinesh Singh.
Further Information to be added.
—oOo—
Friday 6th May 2011
Bristol University Department of Philosophy 9 Woodlands Road, Bristol.
Departmental Philosophy Seminar
Speaker : Tom BALDWIN
Subject to be advised.
—oOo—
Friday 6th May 2011
Oxford Computer Science Laboratory Seminar
Jean BENABOU
On Cartesian Functors
Click here for Videorecording of Talk
Click here for audio recording. Click here for link to handout and other related documentation.
—oOo—
Saturday 7th May 2011
ENS Paris 45 Rue D’Ulm 10:30 AM
Seminaire MaMuPhi
Marco SEGALA
Schopenhauer’s Philosophy of Music
—oOo—
Saturday 7th May 2011
PM 1 Place Stravinksy Ecole MaMuPhi on Mathematics for Musicians and
Other Non- Mathematicians
Pierre CARTIER (IHES and CNRS) : Title to be Advised.
—oOo—
Monday 9th May 2011
University of Paris 7 Diderot Bat. Condorcet Salle 646A Mondrian 9:30 – 16: 30
SPHERE/REHSEIS Seminar in History and Philosophy of Mathematics
1 Day Colloquium : Demonstrations Arithmetiques
Speakers :
Norbert SCHAPPACHER
Jeremy GRAY
Marteen BULLYNCK
—oOo—
Monday 9th May 2011
19:00 hrs ENS Paris Batiment Rataud Salle Info 5 Niveau -1
Seminaire Philosophie et Mathematique ENS
2011 Series : Variational Principles in Conceptual and Historical Perspective
SPEAKER : Jean-Louis BASDEVANT
Title : How Hamilton Discovered Quantum Mechanics 100 Years Too Soon
—oOo—
Tuesday 10th May 2011
SPHERE/REHSEIS Seminar in History and Philosophy of Mathematics
Colloquium on Early Modern Mathematics
(Organisers : Karine Chemla and Ivahn Smadja)
Further Details to be advised
—oOo—
Wednesday 11th May 2011
17:00 – 19:00 Hrs Room 7D 01
Institut Mathematique de Jussieu Rue Chevalaret Paris
Lecture 1 of A Six Part Lecture Course by Professor Andre JOYAL (UQUAM)
A SURVEY OF QUASI- CATEGORIES II
—oOo—
Thursday 12th May 2011
University of Rennes
Colloquium on The Work and Influence of Tschebyschev
Details to be added.
—oOo—
Thursday 12th May 2011
Oxford Philosophy of Physics Seminar
10 Merton Street, Oxford
Speaker ; Nick Huggett (University of Illinois at Chicago)
Title : To be added
Click here for Link to Recording of Prof. Huggett’s Talk
Click here for link to overheads and other related documentation.
—-oOo—
Friday 13th May 2011
Bristol University Department of Philosophy 9 Woodlands Road, Bristol.
Departmental Philosophy Seminar
Speaker : Jonathan SCHAFFER
Subject to be advised.
—oOo—
Friday 13th May 2011
IHES (Institut des Hautes Etudes Scientifiques) Burre-sur-Yvette
14:30 hrs : Seminar Room 1 Professor Pierre Cartier on Hamiltonian Dynamics :
Symplectomorphisms and the Algebraic and Geometric Structures of Phase Space
Details to be added
—oOo—
Friday 13th – Sunday 15th May 2011
TORONTO Canada : University of Toronto
CFP Conference on Metaphysics and The Philosophy of Science
for further details see announcement at : http://www.easst.net/node/2613
Further Details also to be added here
—oOo—
Monday 16th May 2011
10:00 – 12:00 hrs : Seminar Room; CNRS Research Centre 1980 Avenue de France, Paris
Seminaire : Histoire de Geometries
(Convenors : Prof Dominique FLAMENT and Dr Marie ANGLADE)
(Formerly held at MSH, 54 Blvd. Raspail : See records and links to videorecordings of previous years Seminars 2002-2010 in respective years and in Special Section of Catalogue)
Speaker : Jean-Pierre FRIEDELMEYER (IREM Strasbourg and Archives Henri Poincare)
L’Irruption du Concept de Transformation Dans La Geometrie du XIXeme Siecle
Click here for link to Video recording of Talk
Click here for audio recording and here for Speakers overheads and related documentation
—oOo—
Monday 16th May 2011
19:00 hrs ENS Paris Batiment Rataud Salle Info 5 Niveau -1
Seminaire Philosophie et Mathematique ENS
2011 Series : Variational Principles in Conceptual and Historical Perspective
Speaker : David RABOUIN (SPHERE/REHSEIS Paris 7)
Title : The Principle of Sufficient and Leibniz’s Mathematics
—oOo—
Monday May 16th – Friday May 20th 2011
IHES (Institut des Hautes Etudes Scientifiques) Burre-sur-Yvette
THREE STRING GENERATIONS AT THE IHES
A Week of Survey and Research Talks on String Theory
Click here http://www.ihes.fr/jsp/site/Portal.jsp?page_id=62
for Program of The Meeting
Click here for Video Recordings of The Talks (link to IHES Videos by kind permission of IHES. All Videos and other material in this link is copyright of IHES)
—oOo—
May 16th – 27th 2011
XVth Latin American School of Mathematics : Cordoba Argentina
Noncommutative Algebra and Lie Theory
Details to be added.
—oOo—
Tuesday 17th May 2011
University of Paris 7 – Diderot Salle 646A Bat. Condorcet
REHSEIS/SPHERE Seminar in Philosophy of Mathematics
Session 5 of 2010-2011 Program
One day Colloquium on Algorithmic Randomness and Its ramifications
Speakers
Jean-Paul Delahaye (Lille)
Antony Eagle (Oxford)
J.W. McAllister (Leiden)
Christopher Porter (Notre Dame)
Details to be added.
—oOo—
Tuesday 17th – Wednesday 18th May 2011
FMJH : Fondation Mathematiques Jacques Hadamard
Journees D’Inauguration. Two days of Invited talks by leading Mathematicoans to mark the Inauguration of this new Foundation,
Day 1 : Campus D’Orsay
Day 2 : Ecole Polytechnique at Palaiseau
Click here for Link to Program of The Inaugural Symposium
Click here for Links to Speakers Overheads and Other related documentation.
—oOo—
Wednesday 18th May 2011
17:00 – 19:00hrs Room 7D 01
Institut Mathematique de Jussieu Rue Chevalaret Paris
Lecture 3 of A Six Part Lecture Course by Professor Andre JOYAL (UQUAM)
A SURVEY OF QUASI- CATEGORIES III
—oOo—
Thursday 19th May 2011
Oxford Philosophy of Physics Seminar
Speaker : Bryan ROBERTS (Pittsburgh)
Title : SYMMETRIES IN THE FOUNDATIONS OF QUANTUM THEORY
Link to Recording of Seminar
Link to Speakers overheads
Link to other related documentation.
—oOo—
Friday 20th May 2011
University of Paris 7
Groupe du Travail “Philosophie et Physique” (Convenors Alex Afriat Elie Duhring and Alexis de Saint-Ours)
Speaker : Jean PETITOT
Title : To be Advised
—oOo—
Friday 20th May 2011
Bristol University Department of Philosophy 9 Woodlands Road, Bristol.
Departmental Philosophy Seminar
Speaker : Kerry McKenzie (Leeds) : Title TBA
—oOo—
Saturday 21st May 2011
ENS Paris 45 Rue D’Ulm: Seminaire MaMuPhi 10:30 am
Speaker : Andrea CAVAZZINI
Title : Symbol and Diagram in The Work of Gilles Chatelet
link to recording
link to overheads
—oOo—
Saturday 21st May 2011
ENS (Amphi Rataud) MaMuPhi Ecole de Musique
(A. Bennet & F. Nicolas) : Notation 1 For Orchestra (1980) by Pierre BOULEZ
Followed by Discussion led by Antoine Bonnet.
—oOo—
Tuesday 24th and Wednesday 25thMay 2011
Louvain-La-Neuve Belgium
A Series of 4 Lectures by Professor Ross STREET marking his appointment to the Chair Vallee de Poussin Chair of Mathematics at The University of Louvain-La-Neuve and followed byAn International Conference “Category Theory Algebra and Geometry” (See below 26th – 27th MAY 2011)
LECTURE 1
Tuesday 24th MAY 2011
—oOo—
Wednesday 25th May 2011
19:00 hrs ENS Paris Salle Des Actes : Seminaire PENSER DES SCIENCES (Convenor Charles Alunni)
Series On The Work and Legacy of Giles CHATELET
Speaker : Prof. Pierre CARTIER
Title : RELATIVE ONTOLOGIES FOR THE UNDERSTANDING OF 21st CENTURY MATHEMATICS
Click Here for Recording of Talk.
Click here for detailed Notes and other related Documentation
—oOo—
Thursday 26th May 2011
University of London Senate House
SHEARMAN MEMORIAL LECTURE
Tim MAUDLIN
Details to be added.
—oOo—
Thursday 26th – Friday 27th May 2011
Catholique Universite du Louvain-La-Neuve Belgium
International Conference on Geometry, Algebra and Categories
See here : http://perso.uclouvain.be/tim.vanderlinden/ctag.html
for Details of Conference Program
—oOo—
Monday 30th May – Thursday 2nd June 2011
Ostend, Belgium
IVth International Conference on Discrete Groups and Geometric Structures and Thier
Applications. Further Details to be Added.
—oOo—
Monday 30th May – Friday 3rd June 2011
CIRM Chapelle Luminy (Marseilles) International Research Centre in Mathematics
Homotopy and Equality in Type Theory
An International Workshop organised by Yves Lafont and Laurent Regnier
See http://iml.univ-mrs.fr/~lafont/HETT.html
for Details of Program
Day 1 : May 30th 2011
10:00 hrs : Opening remarks
10:30-12:30
Thierry COQUAND : Introduction to Type Theory (Part 1)
Click here for Recording of Talk (2 hrs 10 mins 02 seconds)
12:30 : Lunch
15:00-16:30 : Informal Discussion
16:30-18:00
George MAITSINIOTIS : Introduction to Grothendieck’s Homotopy Theory
(In French) (Part 1)
Click here for Recording of Talk (1 hr 35 mins 47 seconds)
—oOo—
Day 2 : May 31st 2011
9:00-10:30
Francois METAYER : Introduction to Algebraic Homotopy (Part 1) (in French)
Click here for Recording of Talk (1 hr 23 mins 21 seconds)
10:30-12:30
Thierry COQUAND : Introduction to Type Theory (Part 2)
Click here for Recording of Talk (1 hrs 54 mins 57 seconds)
12:30 : Lunch
15:00-16:30 Informal Discussions
16:30-18:00
George MAITSINIOTIS : Introduction to Grothendieck’s Homotopy Theory (In French) (Part 2)
Click here for Recording of Talk (1 hr 52 mins 08 seconds)
—oOo—
Day 3 : June 1st 2011
9:00-10:30
Francois METAYER : Introduction to Algebraic Homotopy (Part 2) (in French)
Click here for Recording of Talk (1 hr 23 mins 40 seconds)
10:30-12:30
Steve AWODEY : Homotopy Type Theory
Click here for Recording of Talk (1 hr 46 mins 13 seconds)
14:30 : Poster Session on Order Relations and Partial Orders
16:30-18:00
Dimitri ARA : Homotopy Theory of Grothendieck Homotopy Theory of Infinity-Groupoids (Part 1)
Click here for Recording of Talk (1 hr 23 mins 47 seconds)
—oOo—
Day 4 : June 2nd 2011
9:00-10:30
Francois METAYER : Application of coinduction to homotopy of infinity-categories
Click here for Recording of Talk (1 hr 27 mins 07 seconds)
10:30-12:30
Andre JOYAL : Construction of A Universal Kan Fibration
Click here for Recording of Talk (1 hr 38 mins 38 seconds)
12:30 : Lunch
15:00-16:30 : Informal Discussions
16:30-18:00
Dimitri ARA : Homotopy Theory of Grothendieck Homotopy Theory of Infinity-Groupoids (Part 2)
Click here for Recording of Talk (2 hr 17 mins 16 seconds)
—oOo—
Day 5 : June 3rd 2011
9:00-10:30
Steve AWODEY : Higher Inductive Types
Click here for Recording of Talk (1 hr 47 mins 27 seconds)
10:30-12:30
Andre JOYAL : Homotopical Logic
Click here for Recording of Talk (1 hr 24 mins 09 seconds)
12:30 : Lunch
15:00-16:30: Informal Discussions
End of Workshop
NB See Following Associated Documents and Links provided by Speakers to assist in following their presentations :
—oOo—
Tuesday 31st May – Wednesday 1st June 2011
Institut Mathematique de Jussieu, Chevalaret Paris
Two Invited Seminars by Dr Olivia Caramello (University of Cambridge and Instituto Giorgi/ENS Pisa, Italy)
Toposes as Bridges : Topos Theory as an Instrument in the Unification of Mathematics
Talk 1 : AM Tuesday May 31st 2011
Click here for Link to Recording of Talk
Click here for scanned Notes of Presentation and other related documentation
—oOo—
Talk 2 : AM Wednesday June 1st 2011
Click here for Link to Recording of Talk
Click here for scanned Notes of Presentation and other related documentation
—oOo—
Monday 30th May – Friday 3rd June 2011
Rencontres with Jean BENABOU
Followed by
Friday 3rd June – Saturday 5th June 2011
3rd-4th JUNE 2011 ENS Paris Salle Henri CARTAN
Colloquium in Honour of Jean BENABOU
Category Theory Yesterday Today (and Tomorrow?) :
A Colloquium in Honour of Jean Benabou
A Colloquium : “Category Theory : Yesterday, Today and Tomorrow” sponsored by The Archive Trust for Mathematical Sciences and Philosophy together with The Categories en Fondements Programme of The Universite Paris 7 Denis Diderot and the Institut Mathematiques de Jussieu took place in The Salle Henri Cartan at The Ecole Normale Superieure Paris on Friday 3rd and Saturday 4th June 2011.
This event was intended to honour Professor Jean Benabou as he entered his 80th Year and to be a reflection and celebration of his many contributions, in particular to the Theory of Categories, during an active and continuing research career already spanning over 50 years.
The Colloquium was preceded by a series of Rencontres/Discussions between Professsor Benabou and a panel of his mathematical colleagues which which took place between the afternoon of Monday 30th May and the morning of Friday 3rd June. Attendance at these Rencontres was by invitation.
The Agenda for these Rencontres/Discussions will shortly be added to this page and edited Transcripts of the Discussions and extracts from the recordings will also be made available here in due course.
Important Acknowledgement : The Archive Trust and The Colloquium Organiser wish to offer particular thanks and grateful acknowledgement to The Seminaire de Logique Categorique at the Institut Mathematique Jussieu and in particular to Dr Paul-Andre MELLIES, without whose indispensable aid and support – both financial and adminsitrative – the Colloquium would not have been possible.
THE PROGRAM of The Colloquium was as follows
VENUE : Salle Henri Cartan, Department of Mathematics, Ecole Normale Superieure 45 Rue D’Ulm, Paris 75005
Links to the recordings of the Talks below and to notesof the speakers presentations (or copies of overheads where used) will be operational on this page shortly.
Further Note : Professor Francois CHARGOIS (Universite Nancy 2, Archives Henri Poincare) and Professor Christian HOUZEL (CNRS) were prevented by illness from speaking at the Colloque. The Text of Professor CHARGOIS’s Talk entitled “BOURBAKI, GROTHENDIECK ET LA THEORIE DES CATEGORIES” was read into the Record of the Colloquium and will appear in the online record of the Proceedings below in due course.
We wish both Professor Chargois and Professor Houzel a swift and complete recovery.
FRIDAY 3rd June 2011
9:30 AM : Welcome and Introductory Remarks
9:45 – 10:45 AM :
Professor Pierre CARTIER (IHES, CNRS) :
TITLE : GROUPOIDES HIER ET AUJOURD HUI
RESUME : Les groupoïdes ont été inventés par Brandt vers 1930 , à l’occasion d’un problème d’arithmétique : généralisation de la théorie des idéaux de Dedekind au cas non commutatif . Prequ’aussitôt , Reidemeister à utilisé cette notion pour introduire le “groupoïde fondamental (de Poincaré) d’un espace topologique” . Ehresmann a utilisé les groupoïdes de Lie dans sa construction des espaces fibrés , suivi peu de temps plus tard par Grothendieck dans sa théorie des espaces fibrés à faisceau structural . La définition usuelle d’un groupoïde comme une catégorie dans laquelle toutes les flèches sont inversibles est trop pauvre , à moins de considérer des groupoïdes enrichis dans une catégorie (notion due à Benabou) . Je décrirai les multiples développement récents , allant des feuilletages à la théorie de Galois , d’une théorie en plein développement .
Click here for link to Recording of Prof. CARTIER’s Talk
plus here for Notes of Presentation
—oOo—
10: 45 – 11:45 AM :
Professor Rene Guitart (Univ. Paris 7 Denis Diderot)
Title : DISTRIBUTEURS ET CARRES EXACTS, AVEC APPLICATIONS A LA COHOMOLOGIE
Abstract :
La bonne gestion du calcul des fonctions a lieu au sein du calcul des relations binaires, et le calcul de la composition des fonctions est un sous-produit de celui des relations, lui-même effectivement pratiqué par produits fibrés de spans représentants lesdites relations. De même, le calcul des foncteurs est à concevoir au sien des distributeurs et du calcul de leur composition, dans la bicatégorie ainsi constituée. Le point clé que nous voulons mettre en relief est que la composition effective de distributeurs se fera naturellement par produit exact de spans, c’est-à-dire en utilisant au lieu de carrés produits fibrés des carrés exacts.
Ainsi les carrés exacts sont à comprendre comme des présentations de compositions de distributeurs ; et, dans l’autre sens, les distributeurs apparaissent aussi comme classe d’équivalence de spans modulos des carrés exacts. Ensuite nous expliquerons comment les carrés exacts servent à définir l’homologie d’une 0-suite, comment les distributeurs et les carrés exacts servent en théorie de la forme, dans l’analyse de diverses cohomologies, pour la définition en générale des théories de cohomologie.
Click here for link to Recording of Prof. GUITART’s Talk
plus here for Notes of Presentation
—oOo—
11:45 – 12:00 : Pause
—oOo—
12:00 – 1:00 PM : Professor Dominique BOURN (Universite de Littoral, Calais)
“Protomodularité et fibration des points”
Abstract :
Dès son article princeps sur ce qui allait devenir la notion de catégorie abélienne (Duality forgroups Bull.AMS 1950), Mac-Lane soulignait la nécessité d’aller au-delà du cas additif/abélien et de trouver un axiome simple qui permettrait de conceptualiser de façon uniforme les propriétés de la catégorie des groupes, des anneaux, des K-algèbres etc. Il indiquait alors l’obtention des isomorphismes de Noether comme un bon test de réussite de ce genre de conceptualisation. C’est ce que fait précisément la notion de catégorie protomodulaire.
Une des façons de l’introduire est de le faire via la «fibration des points» qui se révèle avoir, par ailleurs, une remarquable puissance classificatrice puisqu’elle permet de caractériser les catégories additives, essentiellement affines, arithmétiques, les catégories de Mal’cev, naturellement Mal’cev, de Gumm, protomodulaires et fortement protomodulaires.
Click here for link to Recording of Prof. BOURN’s Talk
plus here for Notes of Presentation (Incomplete)
—oOo—
1.00 – 2: 30:PM : Lunch Interval
—oOo—
2:30 – 3:30 PM : Professor Thomas STREICHER (Darmstadt)
Title : FIBERED THEORY of GEOMETRIC MORPHISMS
Abstract :
Geometric morphisms were introduced originally by analogy with continuous maps and locale morphisms. But as pointed out by Jean Benabou in his Montreal lectures 1974 their definition can be motivated in terms of “good” properties of fibrations. Later in J.-L. Moens’ Thesis (1982) there was established a 1-1-correspondence between geometric morphisms and so-called geometric fibrations.
After revisiting this fibered theory of geometric morphisms we consider generalisations which allow one to formulate the theory of triposes (Hyland et.al. around 1982) in more geometric terms. This allows one to reformulate an open problem in the theory of triposes in more elementary terms.
Click here for link to Recording of Prof. STREICHER’s Talk
plus here for Notes of Presentation
—oOo—
3:30 – 4:30 PM : Professor Andree C. EHRESMANN (Amiens)
Title : DES ESPECES DE STRUCTURES LOCALES AUX DISTRUCTURES ET SYSTEMES GUIDABLES
Abstract :
Le premier article original que Jean Benabou a publié (en 1957) portait sur les treillis locaux, reflétant son intérêt pour les travaux de Charles Ehresmann sur les structures locales et les topologies sans points. Je parlerai brièvement de ces travaux de Charles, et en particulier de son important article de 1957 où il définit le cadre catégorique des espèces de structures locales ; il y démontre le “Théorème d’élargissement complet” d’une espèce de structures locales, dont la preuve unit une sorte d’extension de Kan à un théorème de faisceau associé sur une “catégorie locale”. En imitant les méthodes utilisées dans cet article, j’ai introduit (dans ma thèse en 1962) la notion de “distructure” qui donne un cadre catégorique pour l’étude des “fonctions généralisées”. Je l’exposerai en termes plus modernes et montrerai comment elle permet de retrouver les distributions de Schwartz, de manière à pouvoir définir des distributions sur des variétés de dimension infinie. Les distructures ont des applications aux problèmes de contrôle.
Click here for link to Recording of Prof. EHRESMANN’s Talk (Not yet uploaded. Link not yet active)
plus here for Overheads of Presentation
—oOo—
7:30 PM : Colloquium Dinner
—oOo—
SATURDAY 4th June 2011
9:45 – 10: 45 AM : Professor Martin HYLAND (Univerity of Cambridge)
Title : KLEISLI BICATEGORIES The importance of the notion of Bicategory is widely recognised. It has many applications and points the way to higher category theory. Kleisli Bicategories give a setting for many sophisticated mathematical notions. A survey of these examples illustrates the significance of the choices made in Jean Benabou’s Introduction to Bicategories.
Click here for link to Recording of Prof. HYLAND’s Talk (Not yet uploaded. Link not yet active)
plus here for Notes of his Presentation and related documentation
—oOo—
10 : 45 AM : Pause
—oOo—
11: 00- 11.40 : Jacques ROUBAUD : (Working) Title : REMEMBRANCE OF CATEGORIES’ PAST
Personal Recollections and reminiscences of Jean Benabou (En Francais)
Click here for link to Recording of Jacques ROUBAUD’s Talk (Not yet uploaded. Link not yet active)
—oOo—
11:45 – 1:30 PM : Lunch Interval
—oOo—
1: 30 – 2:30 PM : Professor Andre JOYAL (UQUAM)
Title : UNIVERSAL FIBRATIONS
Abstract:
A universal (minimal) Kan fibration was recently constructed by Voevodsky to model Martin-Lof type theory. We shall construct a universal left fibration and a universal Grothendieck fibration between quasi-categories.
Click here for link to Recording of Prof.JOYAL’s Talk (Not yet uploaded. Link not yet active)
plus here for Notes of his Presentation and related documentation
—oOo—
2:30 PM : Professor Jean BENABOU
Title : A NEW APPROACH TO THE NOTION OF “BEING CARTESIAN”
Abstract:
Cartesian functors and maps were introduced by Grothendieck in 1960-61 for prefibrations and fibrations. Since then they have been studied essentially only in the case of fibrations. I shall present general definitions covering many other situations, which reduce to the classical ones in the previous cases, and give important examples which do not fit in the classical setting, and shall prove many results which were not known even in the case of fibrations. Some of these results need assumptions, much weaker than fibrations or even prefibrations, namely prefoliations and foliations, which I shall introduce and study briefly, with a focus on examples and counter examples.
Followed by Discussion
Click here for link to Recording of Prof. BENABOU’s Talk (Not yet uploaded. Link not yet active)
plus here for Notes of his Presentation and related documentation
—oOo—
5:00 PM : Closure of The Colloquium.
End of May 2011 Listings
Further material to be added.