02/06/05 Topos Theory Summer School, Haute Bodeux: Steve Awodey: 2nd talk / Peter Freyd: 2nd talk (incomplete) Adicionar à área de transferência MW0000821 · 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 Adicionar à área de transferência MW0000824 · Item Parte de 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.) Adicionar à área de transferência MW0000862 · Item Parte de 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 Adicionar à área de transferência MW0000881 · Item Parte de Michael Wright Collection
01/06/05 Topos Theory Summer School, Haute Bodeux: Iekke Moerdijk: 2nd talk / Matias Menni: contributed paper / Jonathan Funk: contributed paper Adicionar à área de transferência MW0000821 · Item Parte de 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 Adicionar à área de transferência MW0000822 · Item Parte de Michael Wright Collection
30/05/05 Topos Theory Summer School, Haute Bodeux: coffee break conversations / Thomas Noll: Topos of triads, music / Toby Kenney: Co-power objects / evening conversations (chit-chat) Adicionar à área de transferência MW0000823 · Item Parte de Michael Wright Collection
30/05/05 Topos Theory Summer School, Haute Bodeux: coffee break conversations / Thomas Noll: Topos of triads, music / Toby Kenney: Co-power objects / evening conversations (chit-chat) (contd.) Adicionar à área de transferência MW0000823 · 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.) Adicionar à área de transferência MW0000825 · Item Parte de Michael Wright Collection
03/06/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: 3rd talk / 04/06/05 Peter Freyd: 3rd talk / Miles Tierney: 3rd talk / Steve Awodey: 3rd talk Adicionar à área de transferência MW0000861 · Item Parte de Michael Wright Collection