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