Michael Wright Collection

Mostrar 28 resultados

Descrição arquivística

Johnstone, Peter

Previsualizar a impressão

Visualização em ficha Visualização em tabela

?//07/90 CT90 category theory conference, Como, Italy: Peter Johnstone: ??

MWC-MW0003330 · Item

Parte de Michael Wright Collection

19/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: FW Lawvere: 2nd lecture (2 parts) / Peter Johnstone: A survey of realizability toposes / lunch conversations

MWC-MW0001559 · Item

Parte de Michael Wright Collection

30/05/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: Examples of toposes / Tutorial session & discussions FW Lawvere, Freyd, Johnstone, Tierney et al.

MWC-MW0000883 · Item

Parte de Michael Wright Collection

21/06/07 CT 2007, Carveilho, Portugal: Marcus Menni: Lauchli's completeness from a topos theoretic perspective / Eduardo J Dubucs: 2-preobjects / Peter Johnstone: Bill Lawvere;; the search for cohesion / 22/06/07: Thorsten Palm: A geometry for diagrammatic computads

MWC-MW0002527 · Item

Parte de Michael Wright Collection

14/05/08 Second International Workshop on Categories Logic and The Foundations of Physics, Imperial College London: Fay Dowker: Dynamical Logic / Basil Hiley: Towards a Quantum Geometry: Groupoids, Clifford algebras and shadow manifolds / lunch conversations / Peter Johnstone: Topos-theoretic models of the continuum / Bruce Bartlett: Aspects of duality in 2-categories / discussion / Paul-Andre Mellies: Qunatum groupoids and logical dualities / Paolo Bertozzini: Categories of spectral geometries

MWC-MW0002373 · Item

Parte de Michael Wright Collection

30/05/05 Topos Theory Summer School, Haute Bodeux: Peter T Johnstone: Sites & coverages / Iekke Moerdijk: classifying toposes, descent. groupoid representations 1 / coffeebreak conversations

MWC-MW0000824 · Item

Parte de Michael Wright Collection

02/06/05 Topos Theory Summer School, Haute Bodeux: Miles Tierney: 2nd talk / 03/06/05 Iekke Moerdijk: 3rd talk / Peter T Johnstone: 3rd talk (contd.)

MWC-MW0000825 · Item

Parte de Michael Wright Collection

19/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: Peter Johnstone: A survey of realizability toposes / lunch conversations

MWC-MW0001560 · Item

Parte de Michael Wright Collection

19/11/03 - Johnstone

MWC-MW0001609 · Item

Parte de Michael Wright Collection

08/09/07 PSSL 86, Nancy: Peter Johnstone: Quadrangle clubs (part 2) / breaktime conversations / Paul-Andre Mellies: Towards an algebra of duality

MWC-MW0000114 · Item

Parte de Michael Wright Collection