31/05/05 Topos Theory Summer School, Haute Bodeux: PJ Freyd: Realizability & independence proofs I - NNOs in topos / Miles Tierney: Homotopy theory in toposes lecture 1 Add to clipboard MW0000882 · Item Part of Michael Wright Collection
31/05/05 Topos Theory Summer School, Haute Bodeux: Peter Johnstone: Morphisms of sites / 01/06/05 Steve Awodey: Algebraic set theory part 1 Add to clipboard MW0000881 · Item Part of Michael Wright Collection
31/05/05 Topos Theory Summer School, Haute Bodeux: Discussions incl. FW Lawvere re. Freyd's natural numbers, arithmetic in topos, "bad infinity" (contd.) Add to clipboard MW0000862 · Item Part of Michael Wright Collection
31/05/05 Topos Theory Summer School, Haute Bodeux: Discussions incl. FW Lawvere re. Freyd's natural numbers, arithmetic in topos, "bad infinity" Add to clipboard MW0000862 · 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) Add to clipboard 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.) Add to clipboard 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 Add to clipboard 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. Add to clipboard 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 Add to clipboard 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 Add to clipboard MW0000822 · Item Part of Michael Wright Collection