categories - Category Theory list
 help / color / mirror / Atom feed
From: Tom Leinster <Tom.Leinster@ed.ac.uk>
To: categories@mta.ca
Subject: This Friday: Scottish Category Theory Seminar
Date: Tue, 5 Feb 2013 16:41:24 +0000 (GMT)	[thread overview]
Message-ID: <E1U3Fbr-0008TV-HD@mlist.mta.ca> (raw)

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


                 reply	other threads:[~2013-02-05 16:41 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1U3Fbr-0008TV-HD@mlist.mta.ca \
    --to=tom.leinster@ed.ac.uk \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).