March 2014 - Categories - categories.org.au

Partial functor
by David Leduc 16 Mar '15

16 Mar '15

Hi, A partial functor from C to D is given by a subcategory S of C and a functor from S to D. What is the appropriate notion of natural transformation between partial functors that would allow to turn small categories, partial functors and those "natural transformations" into a bicategory? The difficulty is that two partial functors from C to D might not have the same definition domain. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

7 6

Ulmer preprint
by Steve Lack 02 Apr '14

02 Apr '14

Dear Category Theorists, I have seen a few references to a 1977 manuscript by Fritz Ulmer, entitled “Bialgebras in locally presentable categories”. John Gray’s 1991 review of the Makkai-Pare book on accessible categories describes it as “never published”. If anyone has a copy of this, I’d be very interested to see it. Regards, Steve Lack. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

3 2

Kan Extension Seminar talks at CT2014
by Emily Riehl 30 Mar '14

30 Mar '14

Hi all, I am writing to announce a short series of expository talks to take place in Cambridge, England on Sunday June 29th (the arrival day for CT2014) starting no earlier than 2pm and finishing in time for the welcome reception. The exact location will be announced later. The talks will be given by members of the Kan Extension Seminar: www.math.harvard.edu/~eriehl/kan We are currently half-way through an online category theory reading course with the following syllabus. The links are to expository blog posts written by the students. * Lawvere, An elementary theory of the category of sets http://golem.ph.utexas.edu/category/2014/01/an_elementary_theory_of_the_ca.… * Street, The formal theory of monads http://golem.ph.utexas.edu/category/2014/01/formal_theory_of_monads_follow.… * Freyd-Kelly, Categories of continuous functors, I http://golem.ph.utexas.edu/category/2014/02/categories_of_continuous_funct.… * Lawvere, Metric spaces, generalized logic and closed categories http://golem.ph.utexas.edu/category/2014/02/metric_spaces_generalized_logi.… * Kelly-Street, Review of the elements of 2-categories http://golem.ph.utexas.edu/category/2014/03/review_of_the_elements_of_2cat.… * Street-Walters, Yoneda structures on 2-categories http://golem.ph.utexas.edu/category/2014/03/an_exegesis_of_yoneda_structur.… * Johnstone, On a topological topos * Kelly, Elementary observations on 2-categorical limits * Blackwell-Kelly-Power, Two-dimensional monad theory * Adámek-Borceux-Lack-Rosický, A classification of accessible categories * Lack, Codescent objects and coherence * Shulman, Enriched indexed categories The June talks will highlight some main theorems from the papers listed above and are aimed at all levels. I highly encourage anyone who finds themselves in Cambridge a few hours early to attend. My students are fantastic, destined to be future leaders in the field. I’d love for you to have the opportunity to get to know them. Please feel free to get in touch with any questions. See you in June! Emily Riehl -- Benjamin Peirce & NSF Postdoctoral Fellow Department of Mathematics Harvard University www.math.harvard.edu/~eriehl [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

RAMiCS 2014 Marienstatt Westerwald 28 April - Mai 1: 2nd CfPart
by Peter Höfner 29 Mar '14

29 Mar '14

2nd CALL FOR PARTICIPATION 14th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2014 Marienstatt im Westerwald, Germany April 28 - Mai 1 http://mathcs.chapman.edu/ramics2014/index.html The RAMiCS Conference is the main forum for Relational and Algebraic Methods in Computer Science. Special focus lies on formal methods for software engineering, logics of programs and links with neighbouring disciplines. Invited Speakers: Tony HOARE, Jose OLIVEIRA, Alexander KURZ ------------------------------------------------------------- Registration deadline: 31 March 2014. ------------------------------------- Programme: ---------- Monday 9:15-10:30 Algebras for Program Correctness in Isabelle/HOL (Armstrong, Gomes, Struth) Abstract Dynamic Frames (Dang) 11:00-12:00 INVITED TALK: DEVELOPMENTS IN CONCURRENT KLEENE ALGEBRA TONY HOARE 14:00-15:00 Endowing Concurrent Kleene Algebra with Communication Actions (Jaskolka, Khedri, Zhang) Concurrent Kleene Algebra with Tests (Jipsen) 15:30-17:00 Kleene Algebra with Converse (Brunet, Pous) Extended Conscriptions Algebraically (Guttmann) Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages (Struth, Laurence) Tuesday 9:00-10:30 Higher-Order Arrow Categories (Winter) Nominal Sets over Algebraic Atoms (Ochremiak) A Mechanised Abstract Formalisation of Concept Lattices (Kahl) 11:00-12:00 INVITED TALK PREPARING RELATION ALGEBRA FOR “JUST GOOD ENOUGH” HARDWARE JOSÉ NUNO OLIVEIRA 14:00- Excursion and Conference Dinner Wednesday 9:00-10:30 Tableau Development for a Bi-Intuitionistic Tense Logic (Stell, Schmidt, Rydeheard) Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis (Krivulin) On Faults and Faulty Programs (Mili, Frias, Jaoua) 11:00-12:00 INVITED TALK: RELATION LIFTING ALEXANDER KURZ 14:00-15:00 A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories (Nishizawa, Furusawa) Finding Subrelations with Desired Properties (Müller) 15:30-17:00 Relation Algebra and RelView Applied to Approval Voting (Berghammer, Danilenko, Schnoor) RAMiCS Open Discussion Thursday 9:00-10:30 Linking Functional Programming with Topology Concepts (Schmidt) Automated Verification of Relational While-Programs (Berghammer, Höfner, Stucke) Parameterised Bisimulations: Some Applications (Arun-Kumar, Bagga) 11:00-12:00 Fuzzifying Modal Algebra (Desharnais, Möller) Relational Lattices (Litak, Mikulas, Hidders) 14:00-15:00 Refinements of the RCC25 Composition Table (Ghosh, Winter) Fixed-point Theory in the Varieties D_n (Frittella, Santocanale) 15:30-16:45 A Modified Completeness Theorem of KAT and the Decidability of Term Reducibility (Uramoto) Type-2 Fuzzy Controllers in Arrow Categories (Winter, Jackson, Fujiwara) Programme Committee ------------------- Rudolf Berghammer (Kiel, Germany) Jules Desharnais (Laval U., Canada) Harrie de Swart (Rotterdam, Netherlands) Marc Frappier (Sherbrooke, Canada) Hitoshi Furusawa (Kagoshima, Japan) Timothy G. Griffin (Cambridge, UK) Walter Guttmann (Canterbury, New Zealand) Robin Hirsch (London, UK) Peter Höfner (NICTA, Australia; Publicity chair) Ali Jaoua (Doha, Qatar) Peter Jipsen (Chapman U., USA; PC co-chair) Wolfram Kahl (McMaster U., Canada; PC co-chair) Tadeusz Litak (Erlangen, Germany) Larissa Meinicke (U. Queensland, Australia) Szabolcs Mikulas (London, UK) Bernhard Möller (Augsburg, Germany) Martin E. Müller (St. Augustin, Germany; General chair) José Oliveira (U. Minho, Portugal) Ewa Orłowska (Warsaw, Poland) Matthew Parkinson (Microsoft Research, UK) Damien Pous (CNRS, France) Ingrid Rewitzky (Stellenbosch, South Africa) Holger Schlingloff (Berlin, Germany) Gunther Schmidt (Munich, Germany) Renate Schmidt (Manchester, UK) Georg Struth (Sheffield, UK) George Theodorakopoulos (Cardiff, UK) Michael Winter (Brock U., Canada) Steering Committee: Rudolf Berghammer (Kiel, Germany) Jules Desharnais (Laval U., Canada) Harrie de Swart (Rotterdam, Netherlands) Ali Jaoua (Doha, Qatar) Bernhard Möller (Augsburg, Germany) Ewa Orłowska (Warsaw, Poland) Gunther Schmidt (Munich, Germany) Renate Schmidt (Manchester, UK) Michael Winter (Brock U., Canada) Organising Committee: Martin E. Müller, Sankt Augustin, Germany: Conference Chair, Local Organiser Peter Höfner, NICTA, Australia: Publicity Peter Jipsen, Chapman U., USA: PC Co-Chair Wolfram Kahl, McMaster U., Canada: PC Co-Chair ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Spring School on Quantum Structures in Physics and Computer Science, 19--22 May 2014, University of Oxford
by Jamie Vicary 26 Mar '14

26 Mar '14

We are pleased to announce the following event: SPRING SCHOOL ON QUANTUM STRUCTURES IN PHYSICS AND COMPUTER SCIENCE * 19--22 May 2014, University of Oxford, UK * http://www.cs.ox.ac.uk/ss2014 This school will present a range of lectures on quantum structures in physics and computer science, with a focus on abstract algebraic techniques, including category theory. It is an ideal event for PhD students, as well as more established researchers, who would like to learn more about these exciting topics close to the research frontier. The courses will be accessible to anyone who has taken a first course in quantum information. Everyone is welcome to participate, and registration information can be found on the school web page. The school will feature the following courses: * Samson Abramsky, "Contextual semantics" * Jon Barrett, "Correlations and contexts: the quantum no-go theorems" * Bart Jacobs, "A categorical exposition of the duality between states and effects in quantum foundations" * Prakash Panangaden, "Stone, Gelfand and Tannaka dualities" * Peter Selinger, "Number-theoretic methods in quantum information theory" * Aleks Kissinger and Bob Coecke, "Quantum picturalism" * Chris Heunen and Jamie Vicary, "Categorical quantum computing" This event is twinned with a conference in honour of Prakash Panangaden on the occasion of his 60th birthday, to be held on the dates 23--25 May 2014 at the University of Oxford: * http://www.cs.ox.ac.uk/pf2014 Please circulate this announcement to those who might be interested, and use the poster available on the website to advertise this event in your institution. Best wishes, Bob Coecke and Jamie Vicary Spring School Organizers [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

A Conference in Honour of Prakash Panangaden on the Occasion of his 60th Birthday, 24--25 May 2014, University of Oxford
by Jamie Vicary 26 Mar '14

26 Mar '14

We are delighted to announce the following event: A CONFERENCE IN HONOUR OF PRAKASH PANANGADEN ON THE OCCASION OF HIS 60TH BIRTHDAY * 23--25 May 2014, University of Oxford, UK * http://www.cs.ox.ac.uk/pf2014 * Abramsky / Brookes / Coecke / Danos / de Boer / Desharnais / Duncan / Gobault-Larrecq / Hayden / Jacobs / Jagadeesan / Jung / Kashefi / Knight / Kozen / Kupke / Kwiatkowska / Larsen / Mardare / Mislove / Ouaknine / Palamidessi / Plotkin / Precup / Rutten / Sadrzadeh / Scott / Selinger / Silva / Sorkin / van Breugel / Vicary / Winskel / Worrell / Ying Prakash has made major contributions across a remarkably wide range of topics, including probabilistic and concurrent computation, logic and duality, and quantum information and computation. His work is characterised by the qualities of elegance, clarity and concern for fundamentals, and has been instrumental in making connections between different research areas and communities. Equally important for his many friends has been the infectious enthusiasm and enjoyment he brings to his scientific work, and the generous and sustained support and encouragement he has given to many junior colleagues. The workshop will feature talks by many of Prakash's friends and collaborators. We anticipate that this will be a very enjoyable event, blending fun and science - how could a meeting for Prakash be otherwise! We warmly invite everyone to participate. Information on how to register can be found on the conference web page. This event is twinned with a Spring School in Quantum Structures in Physics and Computer Science, to be held on the dates 19--22 May 2014 at the University of Oxford: * http://www.cs.ox.ac.uk/ss2014 Please circulate this announcement to those who might be interested, and use the poster available for download on the website to advertise these events in your institution. Best wishes, Samson Abramsky, Bob Coecke and Mike Mislove Conference Organizers [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

The European Master's Program in Computational Logic: Application until 31 May 2014
by Tobias Philipp 25 Mar '14

25 Mar '14

Dear all, I'd like to draw your attention to the fact that applications for the European Master's Program in Computational Logic are still possible UNTIL 31 May 2014. A limited number of small scholarships is available. More details are given below. Please spread this information as wide as possible among friends and colleagues, at your old universities and the places, where you currently live and work. Many thanks -- Steffen ******************************************************************************************************* The European Master's Program in Computational Logic We are glad to announce to you the possibility to join our European Master's Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universit?t Dresden in Germany, the Universidade Nova de Lisboa in Portugal and the Technische Universit?t Wien in Austria. Within this program you have the choice to study at two /three of the four European universities. In addition, you can do your project work at the National ICT of Australia (NICTA). You will graduate with a MSc in Computer Science and obtain a joint degree. Information on the universities and the program including the application procedure is provided here: http://www.emcl-study.eu/home.html Language of instruction is English. Tuition fees are 3.000 EUR (for non-European students) and 1.000 (for European students) per year. A limited number of small scholarships is available. (see: http://www.emcl-study.eu/fileadmin/emcl_booklet_tree/mss_jc_scholarship_sch…) Do not hesitate to contact us if you have any further questions. Kind regards -- Steffen H?lldobler Prof. Dr. Steffen Hoelldobler International Center for Computational Logic Technische Universit?t Dresden 01062 Dresden, Germany phone: [+49](351)46 33 83 40 fax: [+49](351)46 33 83 42 email: sh(a)iccl.tu-dresden.de -- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Tobias, Philipp Research assistant Technische Universit?t Dresden Fakult?t Informatik International Center for Computational Logic 01062 Dresden Tel.: +49 351 463-38547 Fax : +49 351 463-38342 E-Mail: tobias.philipp(a)tu-dresden.de ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Midlands Graduate School in Foundations of Computing Science - last chance to register
by Paul Levy 18 Mar '14

18 Mar '14

Dear colleagues, The Midlands Graduate School (MGS) in the Foundations of Computing Science is a collaboration between researchers at the Universities of Birmingham, Leicester, Nottingham and Sheffield. It was established in 1999. The MGS has two main goals: to provide PhD students with a sound basis for research in the mathematical and practical foundations of computing and to give PhD students the opportunity to make contact with established researchers in the field and their peers who are at a similar stage in their research careers. This year, the MGS is at the University of Nottingham. It will start on 22 April and finish on 26 April. CORE COURSES * Category Theory (Roy Crole, Leicester) * Denotational Semantics (Achim Jung, Birmingham) * Typed Lambda Calculus (Paul Blain Levy, Birmingham) ADVANCED COURSES * Concurrency, Causality, Reversibility (Irek Ulidowski, Leicester) * Theory of Randomised Search Heuristics (Dirk Sudholt, Per Kristian Lehre,Pietro S. Oliveto, Christine Zarges, Birmingham, Nottingham, Sheffield) * Homotopy Type Theory (Thorsten Altenkirch, Nottingham) * Infinite Data Structures (Venanzio Capretta, Nottingham) * Logical relations and parametricity (Uday Reddy, Birmingham) * Higher-Order Functional Reactive Programming (Neelakantan Krishnaswami, Birmingham) + an invited lecture course on Dependently Typed Programming by Conor McBride (Strathclyde). The fee is £440, this includes on campus accommodation with breakfast, lunches, coffees and a workshop dinner! More information is available on http://www.cs.nott.ac.uk/~txa/mgs.2014/ from where you also find a link to the registration page <http://store.nottingham.ac.uk/browse/extra_info.asp?compid=1&modid=2&deptid… > page. The registration deadline is Friday, 21 March. Please register as soon as possible since there is a limited number of spaces which are allocated on a first-come-first-served basis. -- Paul Blain Levy School of Computer Science, University of Birmingham +44 121 414 4792 http://www.cs.bham.ac.uk/~pbl [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CT14: Registration open
by Dr Julia Goedecke 18 Mar '14

18 Mar '14

Dear Category Theorists, the registration for the Category Theory Conference 2014 in Cambridge is now open on www.ct2014.dpmms.cam.ac.uk We also have some funding available for PhD students, to subsidise the cost of accommodation. See the website for further details. Best wishes, Julia (for the organisers) - -- Dr Julia Goedecke DPMMS, Centre for Mathematical Sciences University of Cambridge Wilberforce Road CB3 0WB jg352(a)cam.ac.uk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Non-properties of the Scott topology
by Tom Leinster 17 Mar '14

17 Mar '14

Dear all, I don't think I'd bought a copy of New Scientist in 20 years, but I did last week; and when I opened it, I was amazed to discover that it contained an account of Peter Johnstone's famous article on the Scott topology... http://www.maths.ed.ac.uk/~tl/images/new_scientist_ptj.jpg Best wishes, Tom [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1