BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Algebraic Theories over Nominal Sets - Alexander Kurz (University 
 of Leicester)
DTSTART:20100514T130000Z
DTEND:20100514T140000Z
UID:TALK24706@talks.cam.ac.uk
CONTACT:Sam Staton
DESCRIPTION:Nominal sets were\nintroduced by Gabbay/Pitts. Two different n
 otions of equational logic\nover nominal sets were studied by Gabbay/Mathi
 jssen and Clouston/Pitts.\nIn this talk\, we introduce the general notion 
 of a based monad and show\nthat finitary based monads give rise to equatio
 nal theories in the\nstandard sense of many-sorted set-based universal alg
 ebra. We further\nshow that restricting these many-sorted equational theor
 ies to 'uniform'\nones brings us back to the equational logics of Gabbay/M
 athijssen and\nClouston/Pitts. A benefit of our approach is that it allows
  to apply\nknown results from universal algebra to algebras over nominal s
 ets.\n\n(joint work with D. Petrisan and J. Velebil) 
LOCATION:Room FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR