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

10 Merton Street Oxford

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)

12:30 : Lunch

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

Free Time

Dinner

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.