[TYPES/announce] 5th Scottish Category Theory Seminar: Programme

Alex Simpson Alex.Simpson at ed.ac.uk
Fri Nov 11 10:20:07 EST 2011

This meeting may be of interest to some readers of the types list.


***  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: scotcats at cis.strath.ac.uk

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: Alex.Simpson at ed.ac.uk             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.

More information about the Types-announce mailing list