Showing 37 results

Archival description

Kock, Anders

Print preview

Card view Table view

02/04/09 Foundations of Mathematics Workshop, Bristol: Discussions: A Kock & M Menni / discussions: A Rodin & M Wright

MW0000294 · Item

Part of Michael Wright Collection

08/10/05 Colloque International "Charles Ehresmann: 100 Ans", Amiens: Categories, Topology, Geometry (SIC & PSSL): Jean Pradines: Pre-ordered sets, granular topologies & foliations / Anders Kock: A synthetic theory of envelopes of families of curves & surfaces

MW0000797 · Item

Part of Michael Wright Collection

14/11/00 conversations: FW Lawvere & A Kock following geometric structures in logic, physics & computer science, É.N.S. Paris meeting (contd.)

MW0002163 · Item

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 · Item

Part of Michael Wright Collection

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 · Item

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 · Item

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 · Item

Part of Michael Wright Collection

19/07/00 CT 2000, The International Summer Conference in Category Theory, Villa Olmo, Como, Italy: Dinner Conversations incl. A Kock on sustainable development goals

MW0002129 · Item

Part of Michael Wright Collection

19/07/00 CT 2000, The International Summer Conference in Category Theory, Villa Olmo, Como, Italy: Dinner Conversations incl. A Kock on sustainable development goals (contd.)

MW0002129 · Item

Part of Michael Wright Collection

19-22/03/08 Notes & reflections / 21/03/08 PSSL 87 Patras Meeting in Honour of Anders Kock's 70th Birthday: Conversations incl. A Kock & R Koste+F266cki / Andre Joyal: Homotopy algebra / Anders Kock: A theory of geometric distributions / 22/03/08 Gonzalo Reyes: The derivation of Einstein's equations of GR from the viewpoint of SDG / coffee break conversations / Marek Zawadowski: Odered face structures; globularity and a new approach to n-categories / Joachim Kock: Polynomial functors and trees / Panagis Karazeris: Toposes of self-seminar systems / Eugenia Chieng: Terminal coalgebras / conversations incl. A Joyal & G Raptis / 23/03/08 Tom Leinster: The cardinality of a metric space / George Raptis: Homotopy theory of posets / Anders Kock: The stack quotient of a groupoid

MW0002286 · Item

Part of Michael Wright Collection