From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7594 Path: news.gmane.org!not-for-mail From: Tom Leinster Newsgroups: gmane.science.mathematics.categories Subject: This Friday: Scottish Category Theory Seminar Date: Tue, 5 Feb 2013 16:41:24 +0000 (GMT) Message-ID: Reply-To: Tom Leinster NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: ger.gmane.org 1360198039 8371 80.91.229.3 (7 Feb 2013 00:47:19 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 7 Feb 2013 00:47:19 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Thu Feb 07 01:47:40 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.32]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1U3FeI-0008PD-MF for gsmc-categories@m.gmane.org; Thu, 07 Feb 2013 01:47:34 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:47881) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1U3Fbr-0007hL-3l; Wed, 06 Feb 2013 20:45:03 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1U3Fbr-0008TV-HD for categories-list@mlist.mta.ca; Wed, 06 Feb 2013 20:45:03 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7594 Archived-At: ******************************************************************** *** *** 7th Scottish Category Theory Seminar *** Friday 8 February 2013, 12:30-15:15 (= THIS FRIDAY!) *** International Centre for Mathematical Sciences *** 15 South College St, Edinburgh *** http://www.maths.ed.ac.uk/~tl/sct130208.html *** ******************************************************************** 12:30-13:15 Martin Escardo (School of Computer Science, Birmingham) Sheaves in type theory: a model of uniform continuity 13:45-14:30 Danny Stevenson (School of Maths & Stats, Glasgow) A generalized Eilenberg-Zilber theorem for simplicial sets 14:30-15:15 Simon Willerton (School of Maths & Stats, Sheffield) A tale of two constructions by Isbell Abstracts can be found at the web address above. An added attraction: at 16:00, there will be a colloquium: Don Zagier, "Modular forms and black holes: from Ramanujan to Hawking". Our seminar will finish in time for participants to attend Zagier's talk, which is at Edinburgh's School of Maths. Locals will be there to guide you. All are welcome! If you wish to attend, or would like to join us for dinner afterwards, please email Tom.Leinster@ed.ac.uk. Thanks to the Glasgow Mathematical Journal Trust for financial support. Best wishes, Scottish Category Theory Seminar organizers: Neil Ghani, Tom Leinster, Alex Simpson -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]