March 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

separable locale
by Thomas Streicher 17 May '13

17 May '13

Recently rereading Fourman's "Continuous Truth" I came across the term "separable locale" but could nowhere find an explanation. Does it mean a cHa A for which there exists a countable subset B such that ever a in A is the supremum of those b in B with b leq a. This would be the point free account of "second countable", i.e. having a countable basis. Of course, second countable T_) spaces are separable, i.e. have a countable dense set. Is this reading the "usual" one? Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

5 4

Call for participation: Samson@60 - Oxford, 28-30 May 2013
by Bob Coecke 31 Mar '13

31 Mar '13

Samson@60 A Conference in Honour of Samson Abramsky, on the event of his 60th Birthday, Oxford Department of Computer Science, Lecture Theatre B, 28-30 May 2013. Speakers will cover the wide range of subjects to which Samson made pioneering contributions, stretching from the semantics of programming languages, including domain theory and game semantics, via logic were he introduced important notions such as full completeness, to quantum computing and quantum foundations, where he is a father of categorical quantum mechanics. Conference fee is £50 per person for speakers and participants. Cash (in sterling pounds) payable on 28th May 2013 at the arrival registration. Limited funding is available for students and young researchers. Please contact Destiny Chen for further details prior to your booking. Organisers: Bob Coecke, Luke Ong, Prakash Panangaden Local organisers: Destiny Chen, Aleks Kissinger Confirmed speakers: Bob Coecke, Ross Duncan, Marcelo Fiore, Simon Gay, Chris Hankin, Chris Heunen, Peter Hines, Shane Mansfield, Martin Hyland, Radha Jagadeesan, Achim Jung, Aleks Kissinger, Ray Lal, Keye Martin, Paul-Andre Mellies, Michael Mislove, Andrzej Murawski, Prakash Panangaden, Philip Scott, Nikos Tzevelekos, Noson S. Yanofsky More information: http://www.cs.ox.ac.uk/sa60/ Contact: Destiny.Chen(a)cs.ox.ac.uk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CALL FOR CONTRIBUTIONS: CALCO Early Ideas 2013
by Alexandra Silva 30 Mar '13

30 Mar '13

******************************************************************* CALL FOR CONTRIBUTIONS: CALCO Early Ideas 2013 ******************************************************************* 5th International Conference on Algebra and Coalgebra in Computer Science CALCO Early Ideas Workshop September 2, 2013 Warsaw, Poland http://coalg.org/calco13/workshops.html#ei Submission deadline for contributions: 27 May 2013 ******************************************************************* CALCO 2013 will be preceded by the CALCO Early Ideas Workshop, dedicated to presentation of work in progress and original research proposals. PhD students and young researchers are particularly encouraged to contribute. Attendance at the workshop is open to all - it is anticipated that many CALCO conference participants will want to attend the CALCO Early Ideas workshop (and vice versa). The CALCO Early Ideas Workshop invites submissions on the same topics as the CALCO conference: reporting results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. The list of topics of particular interest is shown on the main CALCO 2013 page: http://coalg.org/calco13/. CALCO Early Ideas presentations will be selected according to originality, significance, and general interest, on the basis of submitted 2-page short contributions. It can be work in progress, a summary of work submitted to a conference or workshop elsewhere, or work that in some other way might be interesting to the CALCO audience. A booklet with the accepted short contributions will be available at the workshop. Submissions will be handled via EasyChair https://www.easychair.org/conferences/?conf=calcoearlyideas2013 The use of LNCS style is strongly encouraged. After the workshop, authors will have the opportunity to submit a full 10-15 page paper on the same topic. The reviewing will be carried out by the CALCO Early Ideas PC, with the support of the CALCO PC. The volume of selected papers will be made available in the arXiv and on the CALCO pages online. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. http://coalg.org/calco13/workshops.html#ei There will be a number of student grants available for the CALCO conference - details shortly to be announced on the webpage. -- CALCO Early Ideas Dates -- 2-page short contribution submission: May 27, 2013 Notification for short contribution: June 24, 2013 Final short contribution due: July 15, 2013 CALCO Early Ideas Workshop: September 2, 2013 10-15 page paper submission: October 15, 2013 Notification for paper: December 15, 2013 Final paper version due: January 15, 2014 -- CALCO Early Ideas Programme Committee -- Bartek Klin, University of Warsaw, Poland Narciso Marti-Oliet, UCM, Spain Till Mossakowski, DFKI, Germany John Power, University of Bath, UK Monika Seisenberger, Swansea University, UK (Chair) . [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Types Meeting 2013 in Toulouse, 22 - 26 April: 2nd call for participation
by Ralph Matthes 30 Mar '13

30 Mar '13

Types Meeting 2013 Toulouse, 22-26 April 2013 http://www.irit.fr/TYPES2013/ SECOND CALL FOR PARTICIPATION [new: tutorial by Lars Birkedal on April 22, abstracts of contributed talks are available, a remark that there are several payment options, titles and abstracts of talks by Steve Awodey and Ulrich Kohlenbach in the CSPM workshop on April 26 are available, and also a dedicated CSPM web page] The 19th Conference "Types for Proofs and Programs" will take place in Toulouse, France, from 22 to 26 April 2013 - including the pre-conference workshop PCC on April 22 and 23, a tutorial in the late afternoon of April 22 and the post-conference workshop CSPM in the afternoon of April 26. The scientific programme of the main event is from the morning of April 23 (Tuesday) until lunch time on April 26. For an overview of the whole planning, see the web site. The Types Meeting is a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. Invited speakers (abstracts are available on the web site): * Steve Awodey, School of Mathematics, Institute for Advanced Study, Princeton, U.S.A. & Department of Philosophy, Carnegie Mellon University, U.S.A. "Higher Inductive Types in Homotopy Type Theory" * Lars Birkedal, Department of Computer Science, Aarhus University, Denmark "Charge! a framework for higher-order separation logic in Coq." * Ulrich Kohlenbach, Department of Mathematics, TU Darmstadt, Germany "Types in Proof Mining" TYPES 2013 is intended to be a conference in our traditional workshop style. The contributed talks were selected by the program committee on the basis of abstracts of up to two pages (in EasyChair LaTeX style). 34 contributed talks were selected by the program committee, see their list together with short (text-only) abstracts via the web site or directly at http://www.irit.fr/TYPES2013/acceptedWithAbstracts.html (To the authors: the deadline for the final version of LaTeX sources for inclusion of the abstracts into the abstract book is Monday, April 1st. The abstracts will then be made available on the web site.) Post-proceedings of TYPES 2013 are confirmed to appear in LIPIcs (Leibniz International Proceedings in Informatics), Schloss Dagstuhl, see http://www.dagstuhl.de/en/publications/lipics (the same publisher as for the last TYPES meeting in Bergen in 2011) There will be a separate call for papers, and participation in TYPES 2013 is no prerequisite for submission to the post-proceedings. The conference itself: Tuesday to Friday, April 23-26 (end of scientific programme on Friday planned for 12:30) The venue: Toulouse in the South West of France is the fourth largest city of France and a lively university center with way over 100000 students. Toulouse offers numerous inexpensive accommodations, including student residences. On the web site, there are links to hotels and residences - even one of the latter only 500m walking distance from the lecture hall of the main event. Thanks to our sponsors, notably Universit?? Toulouse 1 Capitole, granting the lecture hall in the city center, and IRIT (Institut de Recherche en Informatique de Toulouse), the federative research structure FREMIT and Universit?? Paul Sabatier (Toulouse 3) with financial support (other sources pending), we are able to keep the participation fee low. Moreover, we operate a scheme of additional fee reduction for master and PhD students. *** Early registration will be until *** *** Wednesday, April 3, 23:59 Paris time. *** Access to the online registration system is through http://www.irit.fr/TYPES2013/Registration.html where the fees can be studied offline (several payment options are available, in particular safe payment by credit card). SATELLITE EVENTS ----------------------------------------------------------------------- The twelfth international workshop Proof, Computation, Complexity (PCC 2013) is held on Monday, April 22, and Tuesday, April 23. On Monday, this takes place on the campus of Toulouse Technical University (which is well connected by underground with the city center and the airport bus) and on Tuesday, this is on the site of TYPES 2013. The program committee of PCC 2013 selected 12 contributed talks on the basis of short abstracts. For the details, see http://www.irit.fr/TYPES2013/PCC2013/ ----------------------------------------------------------------------- A tutorial on separation logic by Lars Birkedal in the late afternoon of April 22: "An introduction to separation logic, and the benefits of going higher-order", within the seminar series 2013 "Logics and analyses for verifying graph transformation" of the IRIT. ----------------------------------------------------------------------- Workshop CSPM "Computer Science, Philosophy, Mathematics", Friday, April 26, a workshop hosted by the Mathematical Institute, and with financial support by FREMIT, with invited contributions as follows: 14:30-16:00 Steve Awodey: "Structuralism, Invariance, and Univalence" 16:15-17:45 Ulrich Kohlenbach: "Proof Theory : From the Foundations of Mathematics to Applications in Core Mathematics" The workshop aims to stimulate discussions between computer scientists, philosphers and mathematicians and takes place in the Mathematical Institute, which requires approximately 20 minutes walk + 20 minutes on the subway from the main TYPES conference location. There will be no extra fee for participating in the workshop CSPM. For more details (e.g., abstracts and registration information for non-TYPES-participants), see the dedicated web page at http://www.math.univ-toulouse.fr/spip.php?article346 ----------------------------------------------------------------------- Program Committee TYPES 2013 Jos?? Esp??rito Santo, University of Minho, Braga, Portugal Herman Geuvers, Radboud University Nijmegen, Netherlands Silvia Ghilezan, University of Novi Sad, Serbia Hugo Herbelin, PPS, INRIA Rocquencourt-Paris, France Martin Hofmann, Ludwig-Maximilians-Universit??t M??nchen, Germany Zhaohui Luo, Royal Holloway, University of London, UK Ralph Matthes, IRIT, CNRS and Univ. de Toulouse, France (co-chair) Marino Miculan, University of Udine, Italy Bengt Nordstr??m, Chalmers University of Technology, G??teborg, Sweden Erik Palmgren, Stockholm University, Sweden Andy Pitts, University of Cambridge, UK Sergei Soloviev, IRIT, Univ. de Toulouse, France (co-chair) Pawe?? Urzyczyn, University of Warsaw, Poland Tarmo Uustalu, Tallinn Technical University, Estonia [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CALL FOR PAPERS: CALCO Tools 2013
by Alexandra Silva 26 Mar '13

26 Mar '13

CALL FOR PAPERS: CALCO Tools 2013 5th International Conference on Algebra and Coalgebra in Computer Science, Tools Workshop September 3 - 6, 2013 Warsaw, Poland http://coalg.org/calco13/workshops.html#tools ========================================================================= Paper submission: April 8, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 ========================================================================= -- SCOPE -- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009) and Winchester (UK, 2011). The fifth edition will be held in Warsaw, the capital of Poland. As part of CALCO, a workshop dedicated to tools based on algebraic and/or coalgebraic principles, CALCO Tools, will be held alongside the main conference. Papers of this workshop will be included in the CALCO proceedings. CALCO-Tools will take place on the same dates as the main CALCO conference, with no overlap between the technical programmes of the two events. Topics of interest include systems, prototypes, and tools developed specifically for the design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains while making core or interesting use of (co)algebraic techniques. Tool submissions should not exceed 5 pages in LNCS format. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission. Each submission will be evaluated by at least three reviewers; one or more of the reviewers will be asked to download and use the tool. At least one of the authors of each tool paper must attend the conference to demo the tool. To submit a paper please visit our easychair submission site at https://www.easychair.org/conferences/?conf=calcotools2013 -- CALCO 2013 ORGANISING COMMITTEE -- Bartek Klin (University of Warsaw, Poland) Andrzej Tarlecki (University of Warsaw, Poland) -- LOCATION -- Warsaw, the capital of Poland, is a lively city with many historic monuments and sights, but also with a thriving business district. It is easily accessible via two airports: the main Chopin Airport, used by most international carriers, and the recently open Warsaw Modlin Airport (30 minutes away by rail), used by budget airlines. -- CALCO Tools Dates -- Paper submission: April 8, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 -- CALCO Tools Programme Committee -- Einar Broch Johnsen, University of Oslo, Norway Mark Hills, CWI Amsterdam, The Netherlands Barbara K?nig, University of Duisburg-Essen, Germany Dorel Lucanu, Alexandru Ioan Cuza University, Romania Dominik Luecke, CWI Amsterdam, The Netherlands Till Mossakowski, DFKI, Germany Lutz Schr?der, Friedrich-Alexander Universitat Erlangen-N?rnberg, Germany (chair) Alexandra Silva, Radboud University Nijmegen and CWI Amsterdam, The Netherlands -- FURTHER INFORMATION -- Queries related to submission, reviewing, and programme should be sent to the workshop chair. Queries related to the organisation should be emailed to calco2013(a)mimuw.edu.pl . [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Seminaire Itinerant de Categories
by Marino Gran 23 Mar '13

23 Mar '13

Dear Colleagues, The next "Seminaire Itinerant de Categories" (SIC) will take place in Louvain-la-Neuve on Friday 24 May 2013. The seminar will be held at the "Institut de Recherche en Mathematique et Physique" of the UCL. Talks are traditionally in French, but some of them will be in English. You will find more information about the SIC at the address http://perso.uclouvain.be/tim.vanderlinden/sic-2013.html If you wish to participate in the SIC and give a talk please contact any of the organisers as soon as possible (there are still a couple of slots available). If you wish to book a room at the Hotel Ibis Style http://www.accorhotels.com/gb/hotel-2200-ibis-styles-meeting-center-louvain… please do not hesitate to contact us. In this case, please do write to us by March 31st. Looking forward to seeing you in Louvain-la-Neuve, Marino Gran, Tim Van der Linden and Enrico Vitale [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Ackermann Award 2013 - Call for Nominations
by Anuj Dawar 23 Mar '13

23 Mar '13

ACKERMANN AWARD 2013 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS Eligible for the 2013 Ackermann Award are PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2011 and 31.12.2012. The deadline for submission is 15 April 2013. Submission details follow below. Nominations can be submitted from 1 January 2013 on and should be sent to the chair of the Jury, Anuj Dawar, by e-mail: anuj.dawar(a)cl.cam.ac.uk The Award The 2013 Ackermann award will be presented to the recipient(s) at the annual conference of the EACSL (CSL'13), 2-5 September 2013, in Torino (Italy). The award consists of * a diploma, * an invitation to present the thesis at the CSL conference, * the publication of the laudatio in the CSL proceedings, * travel support to attend the conference. The jury is entitled to give more (or less) than one award per year. Jury The jury consists of: * Thierry Coquand (Chalmers University of Gothenburg); * Anuj Dawar (University of Cambridge), the president of EACSL; * Thomas A. Henzinger (IST Austria); * Daniel Leivant (Indiana University, Bloomington); * Damian Niwinski (University of Warsaw); * Luke Ong (University of Oxford), LICS representative; * Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL; * Wolfgang Thomas (RWTH, Aachen). How to submit The candidate or his/her supervisor has to submit 1. the thesis (ps or pdf file); 2. a detailed description (not longer than 20 pages) of the thesis in ENGLISH (ps or pdf file); 3. a supporting letter by the PhD advisor and two supporting letters by other senior faculty or researchers in equivalent positions (in English); supporting letters can also be sent directly to Anuj Dawar (anuj.dawar(a)cl.cam.ac.uk) 4. a short CV of the candidate; 5. a copy of the document asserting that the thesis was accepted as a PhD thesis at a recognized University (or equivalent institution) and that the candidate has received his/her PhD within the specified period (scanned as pdf-file or faxed). The submission should preferably be sent by e-mail as attachments to Anuj Dawar: anuj.dawar(a)cl.cam.ac.uk With the following subject line and text: * Subject: Ackermann Award Submission * Text: Name of candidate, list of attachments Submission can be sent via several e-mail messages. If this is the case, please indicate it in the text. Letters of support and documents can also be faxed to: Prof. Anuj Dawar Ackermann Award +44 1223 334678 The Jury has the right to declare submissions to be out of scope or not to meet the requirements. The Award is sponsored by the Kurt Gödel Society. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

Re: Question on (co)monoids
by claudio pisani 22 Mar '13

22 Mar '13

Dear Dusko and Jeff, --- Gio 21/3/13, Dusko Pavlovic <dusko(a)kestrel.edu> ha scritto: > Da: Dusko Pavlovic <dusko(a)kestrel.edu> > Oggetto: Re: categories: Re: Question on (co)monoids > A: "Categories list" <categories(a)mta.ca> > Cc: "claudio pisani" <pisclau(a)yahoo.it>, "Chris Heunen" <heunen(a)cs.ox.ac.uk> > Data: Giovedì 21 marzo 2013, 18:21 > hi, > > the reference for the discussed fact is > > @article{FoxT:cartesian, > author = {Thomas Fox}, > title = {{Coalgebras and cartesian categories}}, > journal = {Communications in Algebra}, > volume = {4}, > year = {1976}, > pages = {665--667}, > issue = {7}, > doi = {10.1080/00927877608822127}, > } > > sorry about lagging behind. it is interesting how forgetting > leads to new discoveries :) > > -- dusko > > In fact, quoting Francois Lamarche (TAC, 2007) "let us mention a well-known fact [Fox76] that we will cannibalize for parts in what follows. Proposition. Given a symmetric monoidal category C, the category of cocommutative comonoids and morphisms of comonoids is a symmetric monoidal category itself [...]. Moreover in this category the tensor is actually the categorical product. Conversely, if every object in a monoidal category is equipped with a natural cocommutative comonoid structure (i.e., every map in the category is a morphism of comonoids) then that monoidal structure is the ordinary categorical product and the comultiplication is the ordinary diagonal." The first part is indeed in Fox's paper, but for the proof he refers to Sweedler's "Hopf algebras" and to a paper by Barr. Both of them leave the proof of (particular cases of) it as an exercise... The second part (which is in fact, in Jeff's terms, proposition 0' of my previous post) is not in Fox paper, which contains instead the (dual of the) following Proposition F "C |-> CMon(C) gives the right adjoint to the inclusion of finite coproduct categories into monoidal categories (with strong monoidal functor)" Thus, I suppose Proposition 0' follows easily from Proposition F. Why? --- Mar 19/3/13, Jeff Egger <jeffegger(a)yahoo.ca> ha scritto: > Da: Jeff Egger <jeffegger(a)yahoo.ca> > Oggetto: categories: Re: Question on (co)monoids (and on cartesian multicategories) > A: "claudio pisani" <pisclau(a)yahoo.it> > Data: Martedì 19 marzo 2013, 14:54 > > Finally, let me explain my interest in that sort of > proposition. > > > > The idea of a cartesian multicategory has appeared in > the literature in various > > guises; the main idea (it seems to me) is that > there are contraction and > > weakening operation on arrows analogous to those that > appear when it comes from > > a cartesian category (that is C(X,Y;Z) = > C(XxY,Z) ). > > Yes, I am most familiar with the definition contained on > p.33 of > > http://arxiv.org/abs/1002.0879v1 (thanks for this helpful reference) > > So I had in mind the following definition: > > > > A cartesian multicategory is a multicategory C > with a cosimplicial structure on > > diagonal bimodules. That is a cosimplicial object B_n > in Bim(C,C) (the > > endoprofunctors on the underlying category of C) such > that > > B_n(X,Y) = C(X,..(n times)..,X;Y). > If I replace the cosimplicial structure (an action of Delta) by an action of FSet (finite sets) the definition becomes very similar to that of FP operad in Miles Gould thesis. The difference is that I require the action only on diagonal arrows. Similarly, if one is interested just in symmetry, one could ask for an action of bijections on diagonal arrows and the corresponding representable concept would be a monoidal category C with a natural involutive isomorphism X@X -> X@X : C -> C ... After all, this is what is needed to talk about commutative monoids in C. Claudio [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0