[PT] 5th Scottish Category Theory Seminar: Programme

This meeting may be of interest to some proof theorists

SCOTTISH CATEGORY THEORY SEMINAR
http://personal.cis.strath.ac.uk/~ng/sct.html

***  Fifth Meeting ***
***  Informatics Forum, University of Edinburgh  ***
***  Friday 25 November 2011, 2.00-5.40pm  ***

The programme for the fifth Scottish Category Theory Seminar has now  
been finalized.

  * Invited talk: Anders Kock (Aarhus University)
      "Introduction to Synthetic Differential Geometry,
       and some arithmetic with nilpotents"

  * Invited talk: Paul-Andre Mellies (CNRS, Paris 7)
      "Braided notions of dialogue categories"

  * Tom Leinster (University of Glasgow)
      "Measuring an enriched category"

  * Invited talk: Anders Kock (Aarhus University)
      "Commutative monads, and distributions (in a broad sense)"

The meeting is open to all. There is no registration, but, if you  
intend to come please let us know by email: [email protected]

For more information, see webpage.

This meeting is generously supported by the Glasgow Mathematical  
Journal Trust.

Alex Simpson (local organizer)

(ScotCats organizers: Neil Ghani, Tom Leinster, AS)

-- 
Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK
Email: [email protected]             Tel: +44 (0)131 650 5113
Web: http://homepages.inf.ed.ac.uk/als   Fax: +44 (0)131 651 1426


-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.