Séminaire du 8-9 octobre 2005 à Amiens
Session du SIC partie prenante du Colloque “Charles Ehresmann, 100 ans”. Pour plus d’information, suivez ce lien: http://pagesperso-orange.fr/vbm-ehr/ChEh
Organisation: Andrée C. Ehresmann (Amiens), Elisabeth Vaugelade (Amiens), Francis Borceux (Louvain La Neuve), Georges Fare (Washington), Jean-Paul Vanbremeersch (Amiens)
Lieu: Université de Picardie Jules Verne à Amiens, Amphithéâtre Ehresmann
Programme:
Samedi 8 octobre 2005
8H45 André Joyal (Université de Montréal, Canada) : The Gödel incompleteness theorem, a categorical approach
9H30 Horst Ibisch (Université de Nantes, France) : Diagrammes d’espaces fibrés principaux et sphères d’homologie
10H30 Nishimura Hirokazu (University of Tsukuba, Japon) : Three synthetic approaches to total differentials
11H15 Jacques Penon (Université Paris VII, France) : $\infty$-catégorification de structures équationnelles
14H Paulette Libermann (Université Paris VII, France) : C. Ehresmann and Differential Geometry
14H45 Eduardo Dubuc (Buenos Aires, Argentine) : Bifiltered colimits of categories
15H30 Jean Pradines (Université de Toulouse, France) : Preordered sets, granular topologies and Štefan foliations
16H30 Anders Kock (Aarhus Universitet, Danemark) : A synthetic theory of envelopes of families of curves or surfaces
Dimanche 9 octobre:
8H45 Jean Benabou (Université Paris XIII, France) : Locally small cartesian functors
9H30 Fred Linton (Wesleyan University, Middletown, USA) : Variance vs. Volition
10H30 Albert Burroni (Université Paris VII, France) : Une autre approche des orientaux de Street
11H15 Marta Bunge (McGill University, Montréal, Canada) : On two non-discrete localic generalizations of $\pi_0$
14H Ronnie Brown (University College of N.W. Bangor, G.-B.) : Groupoid atlases: an Introduction
14H45 Dominique Bourn (Université du Littoral, France) : Action groupoids in protomodular categories
15H30 Marco Grandis (Universita de Genova, Italie) : A few points on directed Algebraic Topology