Michael Wright Collection

Mostrando 40 resultados

Descripción archivística

Awodey, Steve

Imprimir vista previa

Card view Table view

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

MWC-MW0001821 · 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

MWC-MW0001823 · Unidad documental simple

Parte de Michael Wright Collection

04/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: discussion: S Awodey, P Ehrlich & G Hellman / conversations: FW Lawvere, S Awodey re. A topos

MWC-MW0001823 · Unidad documental simple

Parte de Michael Wright Collection

23/11/03 Florence: breakfast conversations A Bauer & S Awodey / J Mayberry / lunch conversations FW Lawvere, D Bernardini & Silvana Lawvere

MWC-MW0001584 · Unidad documental simple

Parte de Michael Wright Collection

11/10/05 Colloque: Impact des Categories - 60 years CT, ENS, Paris: Steve Awodey: Mac Lane & Carnap's Logical Syntax of Language

MWC-MW0001019 · Unidad documental simple

Parte de Michael Wright Collection

09/09/07 PSSL 86, Nancy: breaktime conversations S Awodey & D Pavlovic re. FW Lawvere, adjoints & Leibniz / Dusko Pavlovic: Geometry of abstraction +/or authentication

MWC-MW0000113 · Unidad documental simple

Parte de Michael Wright Collection

08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Steve Awodey: Homotopy type theory / Philippe Gaucher: Homotopical semantics of parallel composition in CC

MWC-MW0002560 · Unidad documental simple

Parte de Michael Wright Collection

15/02/09 - 21/02/09 Category Theory & Related Fields; History & Prospects, MF Oberwolfach, Germany: disc 4

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

MWC-MW0001575 · Unidad documental simple

Parte de Michael Wright Collection

21/11/03 - Awodey

MWC-MW0001602 · Unidad documental simple

Parte de Michael Wright Collection