Michael Wright Collection

Mostrando 37 resultados

Descripción archivística

Kock, Anders

Imprimir vista previa

Card view Table view

21/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: FW Lawvere: Some open problems concerning Cartesian closed categories / breaktime conversations: FW Lawvere, A Kock re. differential geometry in a topos & objective number theory

MWC-MW0001750 · Unidad documental simple

Parte de 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

MWC-MW0000797 · Unidad documental simple

Parte de Michael Wright Collection

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

MWC-MW0003332 · Unidad documental simple

Parte de Michael Wright Collection

25/07/90 CT90 Category Theory conference, Como, Italy: Dicussions re future development of categoery theory and related topics incl. FW Lawvere, P Freyd, A Kock, S Eilenberg, J Benabou, G Janelidze, P Johnstone

MWC-MW0003338 · Unidad documental simple

Parte de 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.)

MWC-MW0002128 · Unidad documental simple

Parte de Michael Wright Collection

22/07/00 CT 2000, The International Summer Conference in Category Theory, Villa Olmo, Como, Italy: Last session of conference / conversations incl. P Freyd, FW Lawvere, A Kock

MWC-MW0002137 · Unidad documental simple

Parte de Michael Wright Collection

20/03/08 Memorandum re. impressions of Athens en route to Patras noontime 20/03/08 evening conversations: A Kock re. Vinogradov School & archive

MWC-MW0000357 · Unidad documental simple

Parte de Michael Wright Collection

22/03/08 Seminar on Sheaves and Logic in honour of Anders Kock 70th Birthday, PATRAS Greece PSSL 87: Conversations incl. G Raptis & P Karazeris: 23/03/08 Tom Leinster: The cardinality of a metric space / George Raptis: Homotopy theory of posets; model cateogories and Quillen homotopy theory / Anders Kock: The stack of quotient of a groupoid

MWC-MW0002335 · Unidad documental simple

Parte de 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.)

MWC-MW0002129 · Unidad documental simple

Parte de Michael Wright Collection

22/07/ Final exchanges with A Kock at Basel station

MWC-MW0002139 · Unidad documental simple

Parte de Michael Wright Collection