Mostrando 40 resultados

Descripción archivística

Awodey, Steve

Imprimir vista previa

Card view Table view

02/06/05 Topos Theory Summer School, Haute Bodeux: Steve Awodey: 2nd talk / Peter Freyd: 2nd talk (incomplete)

MW0000821 · Unidad documental simple

Parte de Michael Wright Collection

03/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: Geoffrey Hellman: Does category theory provide a framework for mathematical structuralism? / Joseph Vidal-Rosset: Naturalizing mathematical existence / breaktime coversations G Hellman & S Awodey re. mereology & Godel

MW0001817 · Unidad documental simple

Parte de Michael Wright Collection

04/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: pre- dinner conversations: FW Lawvere, S Awodey, J-P Marquis & M Wright

MW0001822 · Unidad documental simple

Parte de Michael Wright Collection

04/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: Philippe Séguin: Ars combinatoria universalis (fragments of talk) / discussion: S Awodey, P Ehrlich & G Hellman / conversations: FW Lawvere, S Awodey re. A topos

MW0001823 · Unidad documental simple

Parte de Michael Wright Collection

05/10/02 Paris: evening conversation: FW Lawvere & S Awodey

MW0001826 · Unidad documental simple

Parte de Michael Wright Collection

21/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: John Mayberry: Simply infinite systems of differing lengths / Guiseppe Longo: Categories against the absolute relativising constructions & L'esprit de geometrie / Steve Awodey: Toposes of sets & categories of classes

MW0001573 · Unidad documental simple

Parte de Michael Wright Collection

21/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: Conversations Mulvey, Joyal et al post- JL Bell talk / Joyal re. Cartier & Joyal / Giuseppe Longo: talk (partial) / lunch conversations / Steve Awodey: talk (partial)

MW0001575 · Unidad documental simple

Parte de Michael Wright Collection

22/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: breakfast conversations FW Lawvere & C Mulvey re. Schanuel & objective number theory / conversations: C Mulvey / conversations: S Awodey / FW Lawvere: final lecture (partial) / Alberto Peruzzi: Meaning of category theory for C21st philiosophy / conversations post- Peruzzi

MW0001578 · Unidad documental simple

Parte de Michael Wright Collection

21/11/03 - Awodey

MW0001602 · Unidad documental simple

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

MW0000881 · Unidad documental simple

Parte de Michael Wright Collection