[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


At the meeting announced below, a well-known type theorist promises
to overturn an established mathematical definition.

--

********************************************************************
*** Scottish Category Theory Seminar
*** Second Meeting
*** Friday 21st May 2010, 2-5.30pm
*** Informatics Forum, University of Edinburgh, Scotland
*** http://homepages.inf.ed.ac.uk/als/SCT/sct100521.html
********************************************************************

We are pleased to announce the programme of the Second Scottish Category
Theory Seminar. The meetings is open, and all are welcome to attend.

     * Invited talk: Antony Maciocia (University of Edinburgh)
       Triangulated Categories in Algebraic Geometry

     * Thorsten Altenkirch (University of Nottingham)
       Monads Need Not Be Endofunctors

     * Peter Kropholler (University of Glasgow)
       My Favourite Adjunctions

     * Invited talk: Dirk Pattinson (Imperial College London)
       Category-theoretic Proof Theory of Modal Logics

For more information see webpage:

       http://homepages.inf.ed.ac.uk/als/SCT/sct100521.html

-- 
Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK
Email: alex.simp...@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.


Reply via email to