Mostrando 40 resultados

Descripción archivística
Awodey, Steve
Imprimir vista previa
Card view Table view
24/08/07 Discussions incl. FW Lawvere re plans for Boston colloquium / 8/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Introductory remarks / Steve Awodey: Homotopy type theory / Philippe Gaucher: Homotopical semantics of parallel composition in CC / Kryzysztof Worytkievicz: The folk-model structure for omega-categories / Nicola Gambino: The associated sheaf factor in algebraic set theory / Peter Johnstone: Quadrangle clubs / Paul Andre Mellies: First-order logical duality / 09/09/07: Mark Weber: Parametric right adjoints theorem for simplicial resolutions / Dusko Pavlovic: The geometry of abstraction (and/or authentication)
michael-wright-collection-MW0002560 · Unidad documental simple
Parte de Michael Wright Collection
16/02/09 Category theory and related fields; history & prospects, MFOberwolfach, Germany: AM preliminary discussions between participants / Futer discussions re planning of meeting / Pierre Cartier: Bourbaki's approaches to foundations revisited in the light of the development of category theory / subsequent discussion / futher short discussion of planning for rest of meeting / 17/02/09 Klaus Volkert: How category theory came to Germany / subsequent discussion / Renaud Chorlay: Devising mixed structres / subsequent discussion / Pierre Schapira: Motives in analysis; the case of hyperfunctions / General panel discussions / Dinner conversations incl S Awodey & C McLarty / 18/02/09 Pierre Ageron: The mathematical work and legacy of Charles Ehresmann / Ralf Kroemer: The role of the theory of groupoids in category theory through the groupoidification viewpoint of Moerdijk et al / Evening conversations / 19/02/09 Jean-Pierre Marquis: The interactions bewteen homotopy theory and category theory / subsequent discus...
michael-wright-collection-MW0002272 · Unidad documental simple
Parte de Michael Wright Collection