Demo site

Showing 21 results

Archival description

Johnstone, Peter

Print preview

Card view Table view

31/05/05 Topos Theory Summer School, Haute Bodeux: Peter Johnstone: Morphisms of sites / 01/06/05 Steve Awodey: Algebraic set theory part 1

michael-wright-collection-MW0000881 · Item

Part of Michael Wright Collection

30/05/05 Topos Theory Summer School, Haute Bodeux: PeterJohnstone: Sites & coverages in toposes / Iekke Moerdijk: Classifying toposes, descent, groupoid representations (1)

michael-wright-collection-MW0000884 · Item

Part of 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.

michael-wright-collection-MW0000883 · Item

Part of Michael Wright Collection

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 · Item

Part of Michael Wright Collection

21/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: dinner conversations P Johnstone & others

michael-wright-collection-MW0001577 · Item

Part of 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

michael-wright-collection-MW0002527 · Item

Part of Michael Wright Collection

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

michael-wright-collection-MW0001560 · Item

Part of 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

michael-wright-collection-MW0001559 · Item

Part of Michael Wright Collection

19/11/03 - Johnstone

michael-wright-collection-MW0001609 · Item

Part of Michael Wright Collection

14/05/08 Second International Workshop on Categories Logic and The Foundations of Physics, Imperial College London: Peter Johnstone: Topos-theoretic models of the continuum / round table discussion / Paolo Bertozzini: Categories of spectral geometries / conversations

michael-wright-collection-MW0003370 · Item

Part of Michael Wright Collection