******************************************************************** *** *** 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/ ]