May 2013 - Categories - categories.org.au

Partial functor
by David Leduc 17 Mar '15

17 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

Research positions
by Maria Manuel Clementino 26 Feb '14

26 Feb '14

5-YEAR RESEARCH POSITIONS The Centre for Mathematics of the University of Coimbra (CMUC) invites applications for five 5-year research positions in all areas of Mathematics. Applicants should have a PhD in Mathematics and at least three years of post-doctoral experience, with an international-level publication record and demonstrated ability to perform independent research. Preference will be given to candidates working in one of the areas in which the members of CMUC are currently active. A very good command of English is required. The appointments will be made for three years, renewable for two more. Successful applicants are expected to develop research within the areas of interest of CMUC. They should also contribute to graduate studies, supervising students from the Department of Mathematics. The basic salary is equivalent to the index 195 of the Portuguese research career (in the order of 42 500 euros a year), in accordance with the Ciência 2008 guidelines http://alfa.fct.mctes.pt/apoios/contratacaodoutorados/edital2008 Benefits include private health insurance and social security. Applicants should send • cover sheet (available from www.mat.uc.pt/cmuc/coversheet.pdf) including names and contact information of three persons who can provide a letter of recommendation • curriculum vitae (publication list included) • a 5-year research proposal (2 pages max), emphasizing their own research goals as pdf files to cmuc(a)mat.uc.pt. The subject of the e-mail message must include the job reference C2008 FCTUC CMUC v15-v19. The deadline for applications is *September 10, 2008.* ------------------------------ More information can be found at www.mat.uc.pt

1 1

Workshop on Logics for Resources, Processes and Programs, 16 September 2013, Nancy, France
by Pym, Professor David J. 08 Jun '13

08 Jun '13

---------------------------------------------------------------------------=----------- Call For Papers Workshop on Logics for Resources, Processes and Programs (LRPP 2013) 16 September 2013, Nancy, France (affiliated with Tableaux 2013, Nancy, France) http://www.loria.fr/~galmiche/LRPP2013.html Deadline: June 24, 2013 ---------------------------------------------------------------------- A one day workshop on `Logics for Resources, Processes, and Programs' will be held the 16th September 2013 in conjunction with the Tableaux Conference in Nancy, France, with D. Galmiche and D. Pym as co-chairs. The purpose of this workshop would be to discuss recent results on logics, including systems formulated in the style of Hoare and Hennessy-Milner, for modelling resources, processes, programs, and their interactions. We envisage a range of perspectives: proof-theoretic foundations, including decidability and complexity; semantic foundations (e.g., new resource semantics); specification of properties and behaviours; verification and analysis of programs and systems. It should help to establish and publicize a research agenda for such logics and their use in the development of trusted systems. The workshop is intended to provide a forum for discussion between researchers interested in logics of resources (from foundations to related calculi and applications) and researchers interested in languages and methods for specification of mobile, distributed, concurrent systems and their verification. Topics of interest include, but are not restricted to, the following: - Logics for resources: semantics, model theory and proof theory; - Process calculi, concurrency, and resource-distribution; - Reasoning about programs and systems; - Extensions of logics; e.g., with modalities; - Languages of assertions, languages based on resource logics (query languages, pointers, trees, and graphs); - Theorem proving and model checking in resource logics: decision procedures, strategies, complexity results. INVITED SPEAKER Edmund Robinson, QMUL SUBMISSIONS Researchers interested in presenting their works are invited to send an extended abstract (up to 10 pages) by e-mail submissions of PDF files to D. Galmiche (Didier.Galmiche(a)loria.fr) and D. Pym (d.j.pym(a)abdn.ac.uk) by June 24, 2013. Papers will be reviewed by peers, typically members of the Programme Committee. Additional information will be available through WWW address: http://www.loria.fr/~galmiche/LRPP2013.html. Hardcopies of the preliminary proceedings will be distributed at the workshop and a Special Issue of a Journal on these topics is expected after the workshop. PROGRAM COMMITTEE J. Brotherston (University College, London, UK) M. Collinson (University of Aberdeen, Scotland) D. Galmiche (LORIA - UL, Nancy, France - co-chair) J. Harland (RMIT University, Melbourne, Australia) M. Hennessy (Trinity College, Dublin, Ireland) G. McCusker (University of Bath, UK) D. MÃ©ry (LORIA - UL, Nancy, France) D. Pym (University of Aberdeen, Scotland - co-chair) P. Schroeder-Heister (Tubingen University, Germany) IMPORTANT DATES Submissions: June 24, 2013 Notifications: July 5, 2013 Workshop date: September 16, 2013 MORE INFORMATION E-mail: Didier.Galmiche(a)loria.fr and d.j.pym(a)abdn.ac.uk The University of Aberdeen is a charity registered in Scotland, No SC013683. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

6 5

Isbell & MacLane on the insufficiency on skeletal categories
by Staffan Angere 07 Jun '13

07 Jun '13

Dear Category theorists, in Categories for the Working Mathematician, page 164, MacLane relates an argument, "due to Isbell", why one cannot identify all isomorphic objects. I have not, however, been able to find any publication of Isbell that contains the argument. Does anyone here know if he published it? I also have a question about the argument itself: why is it made the way MacLane does it, rather than just though noticing that all functions from countable sets are countable, and thus themselves countable, and so isomorphic to any other countable set? It seems like it would follow directly from this that any functions on the natural numbers have to be equal, if isomorphic (i.e. equinumerious) sets are identical. Why is MacLane doing all the "detours" though products, epics, etc.? Thanks in advance, Staffan [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

5 5

preprint and new url
by Dirk Hofmann 29 May '13

29 May '13

Dear Collegues, I updated the arxiv-version of my preprint "The enriched Vietoris monad on representable spaces" (http://arxiv.org/abs/1212.5539) which might be of interest to some of you. Of course, any comment or criticism is welcome. This and other papers are also available at my homepage which recently has been moved to http://sweet.ua.pt/dirk/ Best regards Dirk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2014)
by Peter Höfner 29 May '13

29 May '13

CALL FOR PAPERS 14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2014) 27 April to 1 May 2014, Marienstatt im Westerwald, Germany URL: http://mathcs.chapman.edu/ramics2014 PDF: http://mathcs.chapman.edu/ramics2014/RAMiCS14-CFP.pdf Scope ----- We invite submissions in the general area of Relational and Algebraic Methods in Computer Science. Special focus will lie on formal methods for software engineering, logics of programs and links with neighbouring disciplines. Particular topics of interest for the conference cover, but are not limited to: * Algebraic approaches to • specification, development, verification, and analysis of programs and algorithms • computational logic, in particular logics of programs, modal and dynamic logics, interval and temporal logics • semantics of programming languages * Applications in fields such as • relational formal methods such as B or Z, tabular methods • information systems • graph theory and combinatorial optimisation • games, automata and language theory • spatio-temporal reasoning, knowledge acquisition • preference and scaling methods, computational social choice, social software * Theoretical foundations and supporting tools, including • mechanised and automated reasoning, decision procedures • process algebras, fixed point calculi, idempotent semirings, quantales, allegories • dynamic algebras, cylindric algebras and their applications in computing History ------- Since 1994, the RelMiCS meetings on Relational Methods in Computer Science have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The AKA workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference until 2009. Since 2011, joint RAMiCS conferences continue to encompass the scope of both RelMiCS and AKA. The predecessors of this conference were held in Dagstuhl (January 1994), Parati (September 1995), Hammamet (January 1997), Warsaw (September 1998), Québec (January 2000), Dagstuhl (February 2001), Oisterwijk (October 2001), Malente (April 2003), St. Catherines (January 2005), Manchester (September 2006), Frauenwörth (April 2008), Doha (November 2009), Rotterdam (June 2011), and Cambridge UK (September 2012). Student Program --------------- The conference will be accompanied by a PhD training program. Details will be published in due time in a special call and on the conference website. Proceedings and Submission -------------------------- All papers will be formally reviewed. We plan to publish the proceedings in the series Lecture Notes in Computer Science ready at the conference. Submissions must be in English, in Postscript or PDF format, and provide sufficient information to judge their merits. They must be unpublished and not submitted for publication elsewhere. They should not exceed 16 pages in Springer LNCS style (accepted papers must be produced with LaTeX). Additional material may be provided by a clearly marked appendix or a reference to a manuscript on a website. This may be considered at the discretion of the PC. Deviation from these requirements may cause immediate rejection. One author of each accepted paper is expected to present the paper at the conference. Submission is via EasyChair at the following address: https://www.easychair.org/conferences/?conf=ramics2014 Formatting instructions and the LNCS styled files can be obtained via: http://springer.de/comp/lncs/authors.html As for the earlier conferences of this series, it is also intended to publish a selection of the best papers in revised and extended form in a special issue of the Journal of Logic and Algebraic Programming (JLAP). Important Dates --------------- Title and abstract submission: October 25 2013 Submission of full papers: November 1 2013 Notification: December 13 2014 Final versions due (firm deadline): January 17 2014 Conference April 27 - May 1 2014 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Conference "Type Theory, Homotopy Theory and Univalent Foundations"
by Nicola Gambino 26 May '13

26 May '13

[Apologies for multiple postings] Dear friends and colleagues, This is a reminder that a conference "Type Theory, Homotopy Theory and Univalent Foundations" will be held at the Centre de Recerca Matematica in Barcelona on September 23rd-27th. The invited speakers are: - Richard Garner, Macquarie University, Australia - Andre' Joyal, UQAM, Montréal, Canada - Peter LeFanu Lumsdaine, IAS, Princeton, USA - Thomas Streicher, Technische Universitat Darmstadt, Germany - Michael Warren, IAS, Princeton, USA The registration is now open and we also welcome submission of abstracts for presentations. The deadline for submitting abstracts is July 1st. There is some available support for graduate students, postdoctoral researchers and young academics. Thanks to NSF funding, additional support for young researchers based at US institutions is also available. The deadline for application for support is July 14th, 2013. For further information, please see the conference webpage: http://www.crm.cat/2013/ctype The following activities may also be of interest: - during the week preceeding the conference (September 16th-20th), Peter LeFanu Lumsdaine will give a series of preparatory lectures at the Universitat de Barcelona on homotopy theory in type theory. - during the weekend following the conference (September 28th-29th), there will be the yearly Barcelona Topology Workshop. With best regards, Nicola Gambino === Dr Nicola Gambino School of Mathematics University of Leeds http://www.maths.leeds.ac.uk/~pmtng [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Double groupoids and crossed modules
by Ronnie Brown 25 May '13

25 May '13

Hi, In clearing out my office at Bangor University (which for two years or more I have hardly used) I came across the first version of my work with Chris Spencer; this was rejected by Saunders for JPAA, after two negative reports (one described it as "good file drawer stuff", and the other remarked that part was known to Verdier and not published. So it was eventually revised into 2 papers, and published elsewhere, in 1976. I decided to scan it to have it on my files, and in case anyone else was interested. It contains some accounts of homotopies and a Whitehead theorem, not published elsewhere, except as part of work in the mid 1980s with Philip Higgins. So this is now available, as they say "as is", on my preprint page, http://pages.bangor.ac.uk/~mas010/brownpr.html <http://pages.bangor.ac.uk/%7Emas010/brownpr.html> which also has a recent presentation on John Robinson, sculptor. Ronnie -- my web page: http://www.bangor.ac.uk/r.brown Our Snowdonia Holiday cottage: http://www.tremyfoel.co.uk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PhD positions in bialgebraic semantics in Warsaw
by Bartek Klin 23 May '13

23 May '13

Two PhD student positions will soon be available to work under the direction of Bartek Klin in the Institute of Informatics, University of Warsaw. The positions are in the field of semantics of programming languages and process algebras, in connection to the project "Modular operational semantics: a bialgebraic approach", funded by the Polish National Science Center. The applicants should have solid background in Mathematics and Computer Science, and be interested in topics such as semantics of programming languages, category theory, process algebra, formal methods. The positions will be available from October 2013. Interested candidates should apply for a PhD fellowship at the Warsaw Center of Mathematics and Computer Science (http://www.wcmcs.edu.pl/node/38) with the deadline of *** June 7th, 2013 ***. A successful candidate will earn 5000PLN(~1200EUR)/month (3500PLN tax-free from the WCMCS fellowship + 1500PLN pre-tax funded by the research project), subject to yearly evaluation of progress. The positions are associated with teaching duties of up to 60 hours/year. Any queries about the positions should be addressed to Bartek Klin, klin(a)mimuw.edu.pl . [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

samson@60, 28-30 May 2013 Full Program
by Bob Coecke 22 May '13

22 May '13

A Conference in Honour of Samson Abramsky on the event of his 60th Birthday 28-30 May 2013 Oxford Department of Computer Science, Lecture Theatre B Organisers: Bob Coecke, Luke Ong, Prakash Panangaden Local organisers: Destiny Chen, Aleks Kissinger Please contact Destiny Chen <destiny.chen(a)cs.ox.ac.uk> for all questions. www: http://www.cs.ox.ac.uk/sa60/index.html PROGRAM: Tuesday 28th May » 08.30-09.15 Registration and Payment 09.30-10.00 Introduction/welcome by Head of Department 10.00-10.30 Luke Ong 10.30-11.00 Radha Jagadeesan Title: Linearizability, Revisited. 11.00-11.30 BREAK 11.30-12.00 Nikos Tzevelokos & Andrzej Murawski Title: Towards Nominal Abramsky 12.00-12.30 Paul-Andre Mellies Title: Dialogue categories and Frobenius 12.30-14.00 LUNCH 14.00-14.30 Glynn Winskel Title: Quantum event structures and strategies'' 14.30-15.00 Marcelo Fiore Title: The Algebra of DAGs 15.00-15.30 BREAK 15.30-16.00 Dusko Pavlovic Title: Concepts extended in time 16.00-16.30 Noson Yanofsky Title: Kolmogorov Complexity of Categories 16.30-16.45 BREAK 16.45-17.15 Marina Lenisa Title: Unfixing the Fixpoint: the theories of the lambdaY-calculus 17.15-17.45 Martin Hyland Wednesday 29th May » 09.30-10.00 Dan Ghica Title: Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits 10.00-10.30 Ross Duncan Title: Tracing a path from game semantics to post-quantum protocols 10.30-11.00 Aleks Kissinger 11.00-11.30 BREAK 11.30-12.00 Jamie Vicary Title: Stitching the Logical Quilt 12.00-12.30 Bob Coecke Title: The logic of quantum mechanics - take II 12.30-14.00 LUNCH 14.00-14.30 Philip Scott Title: A categorical model of higher-order quantum computation 14.30-15.00 Chris Heunen Title: On the functor l^2 15.00-15.30 BREAK 15.30-16.00 Simon Gay Title: Deadlock-Free Processes and Non-Zero Vectors 16.00-16.30 Mingsheng Ying Title: Floyd-Hoare logic for quantum programs 16.30-16.45 BREAK 16.45-17.15 Ray Lal Title: A sheaf-theoretic approach to the contextuality of cluster states 17.15-17.45 Shane Mansfield Title: On the reality of observable properties 19.30 Dinner at Wolfson Thursday 30th May » 09.30-10.00 Achim Jung Title: Continuous domain theory in logical form 10.00-10.30 Mike Mislove Title: Searching for a Random Variables 10.30-11.00 Prakash Panangaden Title: Which is the fairest of them all? The expressive power of indeterminate primitives. 11.00-11.30 BREAK 11.30-12.00 Peter Hines Title: Coherence in the untyped setting 12.00-12.30 Gordon Plotkin 12.30-14.00 LUNCH 14.00-14.30 Chris Hankin & Malacaria 14.30-15.00 Jamie Gabbay 15.00-15.30 Jim Laird Title: computational interpretations of linear logic [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0