October 2014 - 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

Limit-sketchability
by Michael Barr 27 Oct '14

27 Oct '14

Does anyone know whether every limit closed full subcategory of an equational category is the category of models of a limit sketch? Assuming that is true and the equational category is finitary, if the subcategory is also closed in the equational category under filtered colimits, is also the category of models an FL-sketch? Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

Double Dualization: Functions on vs. Figures in
by Venkata Rayudu Posina 27 Oct '14

27 Oct '14

Dear All, The constructs of GENERALIZED POINT (Sets for Mathematics, p. 150) and CONCRETE GENERAL (in the context of Functorial Semantics) are similar: (i) both are encountered in the course of getting to know a given object / graph / category; (ii) both begin with measurements (functions on [the given object] as opposed to figures in; Conceptual Mathematics, pp. 82-83); and (iii) both involve a two-step process i.e. double dualization. In light of these similarities, what exactly is the relation between generalized points A --> V (where A is a set of maps B --> V) and concrete generals A --> V (where A is a category of functors B --> V)? In other words, I'd appreciate any pointers to literature that explicitly brings functorial semantics to bear on physics (e.g. center of mass; Sets for Mathematics, p. 101). On a related note, one can get to know a given B by way of figures in B, instead of the above functions on B. Does the figures-and-incidence (Conceptual Mathematics, pp. 249-253) approach to knowing also involves two steps (like double dualization)? Can we think of modelling, for example, an irreflexive directed graph G as a parallel pair of functions source, target: Arrows --> Dots by way of taking points of map objects 1 --> C (where C is a map object of Dot- or Arrow-shaped figures T --> G in the given graph G; Conceptual Mathematics, p. 150) as analogous to double dualization (albeit in the opposite direction)? Thank you, posina namingthegiven.wordpress.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Workshop in Category Theory and Algebraic Topology
by Marino Gran 23 Oct '14

23 Oct '14

Dear Colleagues, This is the first announcement for a "Workshop in Category Theory and Algebraic Topology," which will take place at the UCL in Louvain-la-Neuve, Belgium, from Thursday 10 to Saturday 12 September 2015. The following invited speakers have accepted to give a talk at the workshop: Joachim Kock (Universitat Autònoma de Barcelona) Steve Lack (Macquarie University) Tom Leinster (University of Edinburgh) Sandra Mantovani (Università degli Studi di Milano) Ieke Moerdijk (Radboud Universiteit Nijmegen) Fernando Muro (Universidad de Sevilla) Emily Riehl (Harvard University) Tim Van der Linden (Université catholique de Louvain) (see the webpage of the conference at the address http://sites.uclouvain.be/ctat2015/ for more information). Some practical information concerning registration will be sent in a second announcement at the beginning of 2015. We look forward to seeing you in Louvain-la-Neuve! Best wishes, Kathryn Hess, Marino Gran, Jérôme Scherer and Enrico Vitale [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

non-unital monads
by Vladimir Voevodsky 21 Oct '14

21 Oct '14

Hello, I am trying to find some information about non-unital monads (gadgets with \mu but without \eta). In particular I am interested in the following two questions: 1. Given a non-unital monad can it have two different "unitality" structures? 2. Is there a concept of a free non-unital monad? For example, I can think of the "free" non-unital monad generated by the functor X |-> X^2 on sets as the monad that sends a set X into the set of "homogeneous" expressions made with one binary operation s such that there is s(x1,x2) and s(s(x1,x2),s(x3,x4)) but no x1 itself and no s(x1,s(x2,x3)). But what is the universal characterization of it? Thanks! Vladimir. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

6 6

CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015)
by Michael Winter 21 Oct '14

21 Oct '14

CALL FOR PAPERS 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2015) 28 September to 1 October 2015, Braga, Portugal URL: http://ramics2015.di.uminho.pt PDF: http://ramics2015.di.uminho.pt/RAMiCS15-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), Quebec (January 2000), Dagstuhl (February 2001), Oisterwijk (October 2001), Malente (April 2003), St. Catharines (January 2005), Manchester (September 2006), Frauenwoerth (April 2008), Doha (November 2009), Rotterdam (June 2011), Cambridge UK (September 2012) and Marienstatt im Westerwald (April 2014). 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=ramics2015 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 Methods in Programming (JLAMP). Important Dates --------------- Title and abstract submission: March 18 2015 Submission of full papers: March 26 2015 Notification: June 05 2015 Final versions due (firm deadline): July 10 2015 Conference: September 28 - October 01 2015 Programme Committee ------------------- Rudolf Berghammer (Kiel, Germany) Jules Desharnais (Laval U., Canada) Marcelo Frias (Buenos Aires, Argentina) Stephen Givant (Mills College, USA) Hitoshi Furusawa (Kagoshima, Japan) Timothy G. Griffin (Cambridge, UK) Walter Guttmann (Canterbury, New Zealand) Robin Hirsch (London, UK) Peter Hoefner (NICTA, Australia; Publicity chair) Ali Jaoua (Doha, Qatar) Peter Jipsen (Chapman U., USA) Wolfram Kahl (McMaster U., Canada) Rodger Maddux (Iowa State U., USA) Ali Mili (NJIT, U. Heights, USA) Bernhard Moeller (U. Augsburg, Germany) Martin E. Mueller (U. Augsburg, Germany) Jose N. Oliveira (U. Minho, Portugal; General chair) Ewa Orlowska (Warsaw, Poland) Agnieszka Rusinowska (Univ. Paris 1, France) Gunther Schmidt (Munich, Germany) Renate Schmidt (Manchester, UK) Isar Stubbe (U. Littoral-Cote-d'Opale, France) Michael Winter (Brock U., Canada; PC chair) Steering Committee ------------------ Rudolf Berghammer (Kiel, Germany) Jules Desharnais (Laval U., Canada) Ali Jaoua (Doha, Qatar) Peter Jipsen (Chapman U., USA) Bernhard Moeller (U. Augsburg, Germany) Jose N. Oliveira (U. Minho, Portugal) Ewa Orlowska (Warsaw, Poland) Gunther Schmidt (Munich, Germany) Michael Winter (Brock U., Canada) Organising Committee -------------------- Jose N. Oliveira (U. Minho, Portugal; General chair) Michael Winter (Brock U., Canada; PC chair) Luis S. Barbosa (U. Minho, Portugal) Manuel A. Cunha (U. Minho, Portugal) Antonio N. Ribeiro (U. Minho, Portugal) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Journal pricing
by Michael Barr 19 Oct '14

19 Oct '14

Dear Colleagues: I would like to call your attention to this: http://www.theguardian.com/science/2012/apr/24/harvard-university-journal-p… If even Harvard cannot keep up with the cost of journals, who can? As we know, during the 90s, there were two sharp trends: the cost of publishing mathematics dropped precipitously as more and more mathematicians were using tex to typeset their own papers, and the price of journals rose equally precipitously. As you all know, the first trend led to the founding of TAC about 20 years ago which is a cost-free journal. It is also interesting to look at the linked story: http://www.theguardian.com/science/2012/apr/09/frustrated-blogpost-boycott-… about how the Fields medalist Tim Gowers has reacted to journals pricing. Bob has given me permission to post this on the categories list, but NOT to start a general discussion there. Any comments should therefore be addressed to me. Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PSSL97 - First announcement
by Tim Van der Linden 14 Oct '14

14 Oct '14

Dear Colleagues, We are pleased to announce that the 97th Peripatetic Seminar on Sheaves and Logic will be held on the weekend of 31st January–1st February 2015 in Louvain-la-Neuve, Belgium. We will take the occasion to celebrate Rudger Kieboom's 65th birthday. The website of the conference can be found at the address http://sites.uclouvain.be/bcts/pssl97/ In order to register, please complete the Registration Form here below, and send it to any of the organisers before the 15th of December. Saturday's lunch will be offered to those PSSL participants who register by then. If you wish to book a room at the hotel Ibis Style (ex-Mercure, the only hotel in Louvain-la-Neuve), please do contact us by the 30th of November, so that we can make a booking at the UCL special rate (90€ for a single room, breakfast included). Lecture slots will be attributed on a first come-first serve basis. If you wish to give a talk, please let us know as soon as possible, preferably before the end of October. We are looking forward to seeing you in Louvain! Best regards, The organisers Philippe Cara Tomas Everaert Marino Gran Mark Sioen Tim Van der Linden REGISTRATION FORM (please delete as appropriate) I, __________________________________________, would like to attend the 97th PSSL. My affiliation is _____________________________________ (University etc.). I intend to give a talk / I do not intend to give a talk. I would like to ask the organisers to book a single/double room at the Hotel Ibis Style for the nights of _____________ . I would like to attend the dinner on Saturday / I would like to bring a guest / I will not be attending the dinner on Saturday. I have the following special dietary requirements: _________________________________________________________ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Announcement: Topology, Algebra, and Categories in Logic (TACL2015)
by TACL Organisin Committe 12 Oct '14

12 Oct '14

---------------------------------------------------------------------------------------------------------- [Apologies for multiple copies] ====================================================== TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC (TACL2015) School & Conference ====================================================== School: 15 - 19 June 2015, University of Salerno (Italy) Conference: 21 - 26 June 2015, Ischia Island (Italy) http://logica.dmi.unisa.it/tacl/ Scope --------- Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterised by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the seventh conference in the series Topology, Algebra, and Categories in Logic (TACL). Earlier instalments of this conference have been organised in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseilles (2011), and Nashville (2013). Starting from 2013, the conference is preceded by a one-week school. This year the school will be held at the campus of the University of Salerno and will include four tutorials, each consisting of 1.5 hour lectures for five days. Featured topics --------------------- Contributed talks can be on any topic involving the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas: * Algebraic structures in CS * Algebraic logic * Coalgebra * Categorical methods in logic * Domain theory * Lattice theory * Lattices with operators * Many-valued and fuzzy logics * Modal logics * Non-classical logics * Ordered topological spaces * Ordered algebraic structures * Pointfree topology * Proofs and Types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic Steering Committee ------------------------------ Guram Bezhanishvili, New Mexico State University Mai Gehrke, University of Paris Diderot Rob Goldblatt, Victoria University, Wellington Ramón Jansana, University of Barcelona Achim Jung, University of Birmingham Hiroakira Ono, Japan Advanced Institute of Science and Technology Yde Venema, University of Amsterdam Michael Zakharyaschev, University of London Programme Committee ------------------------------ Nick Bezhanishvili, University of Amsterdam Xavier Caicedo, University of los Andes Thierry Coquand, University of Gothenburg. Antonio Di Nola, University of Salerno Themba Dube, University of South Africa Martin Escardo, University of Birmingham David Gabelaia, TSU Razmadze Mathematical Institute (co-chair) Mai Gehrke, University Paris Diderot Rostislav Horčík, Czech Academy of Sciences Martin Hyland, University of Cambridge Rosalie Iemhoff, University of Utrecht Agi Kurucz, King’s College London Vincenzo Marra, University of Milan (co-chair) Lawrence Moss, Indiana University Prakash Panangaden, McGill University Hilary Priestley, University of Oxford Aleš Pultr, Charles University Prague James Raftery, University of Pretoria Philip Scott, University of Ottawa Marek Zawadowski, University of Warsaw Organising Committee ------------------------------ Antonio Di Nola, University of Salerno Anna Rita Ferraioli, University of Salerno Giacomo Lenzi, University of Salerno Anna Carla Russo, University of Salerno Luca Spada, University of Amsterdam and University of Salerno Gaetano Vitale, University of Salerno Tentative Dates --------------------------- Call for papers 15 November 2014 Deadline for submissions 1 February 2015 Notification of acceptance 15 March 2015 Expression of interest ------------------------------ Expressions of interests will be greatly appreciated, please fill in the simple form on the conference web site under "Express Interest". This will help the Organising Committee with their planning. You can also opt-out from receiving future announcements by following the instructions at the bottom of this email. More Information ----------------------- TACL 2015 web site: http://logica.dmi.unisa.it/tacl/ Use this site for local information, including hotel accommodations, for travel information and registration, and for submitting a request for financial support. Any queries for the Programme Committee (such as usage of the EasyChair conference system, abstract submission guidelines, conference programme, etc.) should be sent to tacl2015ed(a)gmail.com. Queries for the local Organising Committee (registration, hotel accommodations, financial support and reimbursements, technology infrastructure, etc.) should be sent to tacl2015oc(a)gmail.com. To unsubscribe from this list, please reply to this email with “OPTOUT TACL2015” as the subject of the message. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

LICS 2015 - First Call for Papers
by Andrzej Murawski 11 Oct '14

11 Oct '14

CALL FOR PAPERS Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) July 6–10, 2015, Kyoto, Japan http://lics.rwth-aachen.de/lics15/ VENUE LICS 2015 will be hosted in Kyoto, Japan during the week 6-10 July 2015 and will be colocated with ICALP 2015. SCOPE The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification. IMPORTANT DATES Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the extended abstract of the paper. The exact deadline time on these dates is given by AoE (anywhere on earth). Titles & Short Abstracts Due: January 12, 2015 Extended Abstracts Due: January 19, 2015 Author feedback/rebuttal period: March 12-16, 2015 Author Notification: March 30, 2015 Final Versions Due for Proceedings: April 27, 2015 Deadlines are firm; late submissions will not be considered. All submissions will be electronic via https://www.easychair.org/conferences/?conf=lics2015. SUBMISSION INSTRUCTIONS Every extended abstract must be submitted in the IEEE Proceedings 2-column 10pt format and may not be longer than 12 pages, including references. LaTeX style files are available on the conference website. The extended abstract must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference and to computer science, all phrased for the non-specialist. Technical development directed to the specialist should follow. References and comparisons with related work must be included. (If necessary, detailed proofs of technical results may be included in a clearly-labeled appendix, to be consulted at the discretion of program committee members.) Extended abstracts not conforming to the above requirements will be rejected without further consideration. Paper selection will be merit-based, with no a priori limit on the number of accepted papers. Papers authored or co-authored by members of the program committee are not allowed. Results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. The program chair must be informed, in advance of submission, of any closely related work submitted or about to be submitted to a conference or journal. Authors of accepted papers are expected to sign copyright release forms. One author of each accepted paper is expected to present it at the conference. SHORT PRESENTATIONS A session of short presentations, intended for descriptions of student research, works in progress, and other brief communications, is planned. These abstracts will not be published. Dates and guidelines will be posted on the conference website. KLEENE AWARD FOR BEST STUDENT PAPER An award in honor of the late Stephen C. Kleene will be given for the best student paper(s), as judged by the program committee. SPECIAL ISSUES Full versions of up to three accepted papers, to be selected by the program committee, will be invited for submission to the Journal of the ACM. Additional selected papers will be invited to a special issue of Logical Methods in Computer Science. SPONSORSHIP The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing, in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science. PROGRAM COMMITTEE CHAIR Catuscia Palamidessi, INRIA & E. Polytechnique PROGRAM COMMITTEE Pablo Barceló, U. Chile Gilles Barthe, IMDEA Andrej Bauer, IMFM Lev Beklemishev, Russian Ac. of Sci. Patricia Bouyer-Decitre, CNRS & ENS Cachan Adam Chlipala, MIT Agata Ciabattoni, TU Wien Véronique Cortier, CNRS Loria Pedro D'Argenio, UN Cordoba Anuj Dawar, U. Cambridge Mariangiola Dezani, U. Torino Yuxi Fu, SJTU Rob van Glabbeek, NICTA Ichiro Hasuo, U. Tokyo Martin Hofmann, LMU Delia Kesner, U. Paris Diderot Barbara König, U. Duisburg-Essen Laura Kovács, Chalmers UT Dexter Kozen, Cornell U. Manfred Kufleitner, U. Stuttgart Anthony W. Lin, Yale-NUS College Simone Martini, U. Bologna Madhavan Mukund, Chennai Math. Inst. Filip Murlak, U. Warsaw Gopalan Nadathur, U. Minnesota Frank Pfenning, CMU Ian Pratt-Hartmann, U. Manchester Albert Rubio, U. Barcelona Peter Selinger, Dalhousie U. Alessandra Silva, Radboud U. Tachio Terauchi, JAIST Ashish Tiwari, SRI Bow-Yaw Wang, Academia Sinica CONFERENCE CHAIR Masahito Hasegawa, RIMS, Kyoto U. WORKSHOP CHAIR Patricia Bouyer-Decitre, CNRS & ENS Cachan PUBLICITY CHAIR Andrzej Murawski, University of Warwick LICS ORGANIZING COMMITTEE M. Abadi, L. Aceto, R. Alur, M. P. Bonacina, P. Bouyer-Decitre, K. Chatterjee, A. Compagnoni, A. Dawar, N. Dershowitz, M. Fernandez, M. Grohe, O. Grumberg, T. Henzinger, P. Kolaitis, O. Kupferman, B. Larose, D. Miller, M. Mislove, A. Murawski, C. Palamidessi, L. Ong (chair), P. Panangaden, K. Rose, A. Scedrov, D. Shmoys, M. Valeriote [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0