Michael Wright Collection

Showing 28 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

MWC-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)

MWC-MW0000884 · Item

Part of 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 (contd.)

MWC-MW0000824 · Item

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

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.

MWC-MW0000883 · Item

Part of Michael Wright Collection

30/05/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: Example of toposes 1st talk / MW notes re. books / Peter T Johnstone, FW Lawvere, Miles Tierney & Peter Freyd: tutorials & discussions

MWC-MW0000863 · Item

Part of Michael Wright Collection

30/05/05 Topos Theory Summer School, Haute Bodeux: Discussions incl. FW Lawvere & others incl PT Johnstone post- 1st talk re. Examples of toposes

MWC-MW0000822 · Item

Part of Michael Wright Collection

30/05/05 Topos Theory Summer School, Haute Bodeux: Discussions / MW notes re. books / Peter Johnstone, FW Lawvere, Miles Tierney & Peter Freyd: tutorials & discussions (contd.)

MWC-MW0000863 · 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)

MWC-MW0002560 · Item

Part of Michael Wright Collection

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

MWC-MW0001577 · Item

Part of Michael Wright Collection