Demo site

Showing 40 results

Archival description

Awodey, Steve

Print preview

Card view Table view

01/06/05 Topos Theory Summer School, Haute Bodeux: Steve Awodey: Algebraic set theory / FW Lawvere: Topos theory, algebraic geometry, categories

michael-wright-collection-MW0000820 · Item

Part of Michael Wright Collection

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

michael-wright-collection-MW0000821 · Item

Part of Michael Wright Collection

02/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: chit-chat pre- FW Lawvere talk / Hartry Field: Saving the truth schema from paradox (last part) / discussion / lunch conversations: FW Lawvere & S Awodey

michael-wright-collection-MW0001813 · Item

Part of Michael Wright Collection

02/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: MW visit Musée de Lorraine / bar conversations: FW Lawvere / lunch conversations: S Awodey

michael-wright-collection-MW0001814 · Item

Part of Michael Wright Collection

02/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: MW visit Musée de Lorraine / bar conversations: FW Lawvere / lunch conversations: S Awodey

michael-wright-collection-MW0001814 · Item

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

michael-wright-collection-MW0000861 · Item

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

michael-wright-collection-MW0000861 · Item

Part of Michael Wright Collection

03/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: dinner conversations: FW Lawvere, S Awodey

michael-wright-collection-MW0001819 · Item

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

michael-wright-collection-MW0001817 · Item

Part of Michael Wright Collection

03/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: Steve Awodey: Continuity & logical completeness in topos theoretic perspective / Karine Chemla: A conception of the foundations of maths in ancient Chinese commentators C1st - C13th / lunch conversations: FW Lawvere, S Awodey, E Landry & others

michael-wright-collection-MW0001818 · Item

Part of Michael Wright Collection