From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7596 Path: news.gmane.org!not-for-mail From: John Power Newsgroups: gmane.science.mathematics.categories Subject: Workshop on Algebra, Coalgebra and Topology: 1 March in Bath Date: Sat, 09 Feb 2013 08:24:57 +0000 Message-ID: Reply-To: John Power NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed; DelSp=Yes X-Trace: ger.gmane.org 1360461900 24136 80.91.229.3 (10 Feb 2013 02:05:00 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 10 Feb 2013 02:05:00 +0000 (UTC) To: categories@mta.ca, mathfound@cs.bath.ac.uk, wessex-theory@cs.bath.ac.uk Original-X-From: majordomo@mlist.mta.ca Sun Feb 10 03:05:15 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 1U4MI1-0008Gl-Si for gsmc-categories@m.gmane.org; Sun, 10 Feb 2013 03:05:10 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:52199) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1U4MFA-0002Pk-NL; Sat, 09 Feb 2013 22:02:12 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1U4MFB-0006Sj-Mw for categories-list@mlist.mta.ca; Sat, 09 Feb 2013 22:02:13 -0400 Content-Disposition: inline Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7596 Archived-At: ******************************************************************** Workshop on Algebra, Coalgebra and Topology (part of the Wessex Theory Seminar) University of Bath Friday 1 March 2013 ******************************************************************* The Technische Universitaet Dresden is one of the world's leading centres in clone theory. An abstract clone, with nullary operations, is a mild rephrasing of what category theorists call a Lawvere theory. They are also equivalent to finitary monads, but the equivalence with the latter is far more than mild rephrasing. The notions of abstract clone and Lawvere theory have been developed for several decades largely independently of each other. Much of the development of Lawvere theories has been done in the UK, in recent years primarily in association with the University of Cambridge. Duality has been studied for both, with notions such as coclone, comodel and coalgebra prominent. Both have interacted with computer science, and both have involved relationships with topology. Several of the key researchers in the two fields will meet for a workshop at the University of Bath on Friday 1 March. Sebastian Kerkhoff, Martin Schneider, Mike Behrisch and Cynthia Glodeanu will join us from Dresden, Martin Hyland will come from Cambridge, and Edmund Robinson will come from Queen Mary, University of London. Local researchers who will participate actively include Jim Laird, Guy McCusker, John Power and Cai Wingfield. We would like to invite others to participate too, and to offer talks. If you are interested in coming, perhaps also offering to give a talk, please contact Cai Wingfield (C.A.J.Wingfield@bath.ac.uk). VENUE: The meeting will be held in the (very pleasant) department lounge of the Department of Computer Science, East Building, University of Bath http://www.bath.ac.uk/about/gettinghere/maps/index.html. PROGRAMME: We will determine a programme based upon talks offered. We anticipate starting late morning and going until the end of the afternoon. REGISTRATION FEE: There is no registration fee, but the meeting will be held on a pay-your-own-everything basis. We will show you suitable places for morning and afternoon teas and for lunch, either sit-down or take-away. TRAVEL FUNDING: The workshop will be part of the Wessex Theory Seminar, so there is a (very) small amount of travel funding available to those people working at Wessex sites https://wiki.bath.ac.uk/display/wessex/Wessex+Theory+Seminar. If you would like to apply for it, please email Guy McCusker (G.A.McCuskker@bath.ac.uk). ACCOMMODATION: Few people are likely to need accommodation for a one-day meeting, but if you do and need help, please contact us, although you can probably find it as easily on the web as we can, for instance via http://visitbath.co.uk/. You are strongly advised to book accommodation soon, as the Bath Literature Festival starts that day and much of the accommodation we normally recommend is already sold out. PROCEEDINGS: We plan to publish an ENTCS post-proceedings of the workshop if we receive a reasonable number of high quality submissions of relevant articles. We can discuss details at the time. The one caveat is that Elsevier now charges $50/paper for publishing in ENTCS, which we may need to pass on to successful authors. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]