Showing 37 results

Archivistische beschrijving

Kock, Anders

Print preview

Card view Table view

14/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Francis William Lawvere: The relationship of foundations & applications (contd.) / A Kock remarks / discussion

MW0002161 · Stuk

Part of Michael Wright Collection

14/11/00 Discussions incl. FW Lawvere & A Kock following geometric structures in logic, physics & computer science, É.N.S. Paris meeting

MW0002163 · Stuk

Part of Michael Wright Collection

18/07/00 CT 2000, The International Summer Conference in Category Theory, Villa Olmo, Como, Italy: Further talks / lunchtime conversations incl. A Kock & A Peruzzi

MW0002128 · Stuk

Part of Michael Wright Collection

18/07/00 CT 2000, The International Summer Conference in Category Theory, Villa Olmo, Como, Italy: Further talks / lunchtime conversations incl. A Kock & A Peruzzi (contd.)

MW0002128 · Stuk

Part of Michael Wright Collection

26/07/90 Discussions incl. M Wright, FW Lawvere & A Kock re objects & subobjects

MW0003336 · Stuk

Part of Michael Wright Collection

21/03/08 PSSL 87, Patras: Anders Kock talk

MW0000358 · Stuk

Part of Michael Wright Collection

31/03/09 AM Session (Part I): Foundations of Mathematics Workshop, Bristol: Discussion Jed by FWL with Anders Kock, and others of Proposed Mathematical Model for Leibnizian notion of Monad. Discussion of Parmenides and Zeno and emergence of Dialectics.

MW0000886 · Stuk

Part of Michael Wright Collection

31/03/09 AM Session (Part II): Foundations of Mathematics Workshop, Bristol: Further discussion berween FWL and Anders Kock on Cohomology in the Simplicial and Cubical senings. Discussion of Differential Fonns and Structure in Tangent Bundles from the SDG Viewpoint.

MW0000886 · Stuk

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

MW0000886 · Stuk

Part of Michael Wright Collection

22/07/90 CT90 category theory conference, Como, Italy: Evening conversations incl M Wright, G Khatcherian, FW Lawvere & A Kock (contd.)

MW0003332 · Stuk

Part of Michael Wright Collection