31/03/09 Foundations of Mathematics Workshop, Bristol: Main speakers: FW Lawvere & Anders Kock, also present: R Pettigrew, D Bernardini, M Menni, M Wright Add to clipboard MW0000291 · Item Part of Michael Wright Collection
31/03/09 Foundations of Mathematics Workshop, Bristol: main speakers: FW Lawvere & Anders Kock, also present: R Pettigrew, D Bernardini, M Menni, M Wright Add to clipboard MW0000291 · Item Part of Michael Wright Collection
31/03/09 Foundations of Mathematics Workshop, Bristol: Discussions post- Andrei Rodin talk A Rodin, FW Lawvere & Others Add to clipboard MW0000292 · Item Part of Michael Wright Collection
31/03/09 Foundations of Mathematics Workshop, Bristol: Discussions led by FWL: Products of derivatives and qualifications of the chain rule; straight line graphs; split co-equalisersand canonical forms and axiom of choice Add to clipboard MW0000886 · Item Part of Michael Wright Collection
31/03/09 Foundations of Mathematics Workshop, Bristol: Discussions: A Rodin, FW Lawvere & Others Add to clipboard MW0000292 · Item Part of Michael Wright Collection
31/03/09 Foundations of Mathematics Workshop, Bristol: Discussion between Anders Kock and FWL on developments in SDG since The fonnulation of the Kock-Lawvere axiom and the definition of the smooth topos. Add to clipboard MW0000886 · Item Part of Michael Wright Collection
31/03/09 Foundations of Mathematics Workshop, Bristol: Andrei Rodin: "Categories without structures; what is the real bearing of category theory on discussions of mathematical structuralism? / discussion Add to clipboard MW0000886 · Item Part of Michael Wright Collection
30/03/09 Foundations of Mathematics Workshop, Bristol: Matias Menni talk / FW Lawvere / R Pettigrew Add to clipboard MW0000290 · Item Part of Michael Wright Collection
30/03/09 Foundations of Mathematics Workshop, Bristol: FW Lawvere presentation & discussion incl. J Mayberry, R Pettigrew, D Bernardini, M Menni, M Wright (contd.) Add to clipboard MW0000289 · Item Part of Michael Wright Collection
30/03/09 Foundations of Mathematics Workshop, Bristol: Discussions: M Menni, FW Lawvere, R Pettigrew Add to clipboard MW0000290 · Item Part of Michael Wright Collection