December 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

a call for examples
by Emily Riehl 05 Jan '15

05 Jan '15

Hi all, I am writing in hopes that I might pick the collective brain of the categories list. This spring, I will be teaching an undergraduate-level category theory course, entitled “Category theory in context”: http://www.math.harvard.edu/~eriehl/161 It has two aims: (i) To provide a thorough “Cambridge-style” introduction to the basic concepts of category theory: representability, (co)limits, adjunctions, and monads. (ii) To revisit as many topics as possible from the typical undergraduate curriculum, using category theory as a guide to deeper understanding. For example, when I was an undergraduate, I could never remember whether the axioms for a group action required the elements of the group to act via *automorphisms*. But after learning what might be called the first lemma in category theory -- that functors preserve isomorphisms -- I never worried about this point again. Over the past few months I have been collecting examples that I might use in the course, with the focus on topics that are the most “sociologically important” (to quote Tom Leinster’s talk at CT2014) and also the most illustrative of the categorical concept in question. (After all, aim (i) is to help my students internalize the categorical way of thinking!) Here are a few of my favorites: * The Brouwer fixed point theorem, proving that any continuous endomorphism of the disk admits a fixed point, admits a slick proof using the functoriality of the fundamental group functor pi_1 : Top_* —> Gp. Assuming the contrapositive, you can define a continuous retraction of the inclusion S^1 —> D^2. Applying pi_1 leads to the contradiction 1=0. * The inverse image of a function f : A —> B, regarded as a functor f* : P(B) —> P(A) between the posets of subsets of its codomain and domain, admits both adjoints and thus preserves both intersections and unions. By contrast, the direct image, a left adjoint, preserves only unions. * Any discrete group G can be regarded as a one-object groupoid in which case a covariant Set-valued functor is just a G-set. The unique represented functor is the G-set G, with its translation (left multiplication) action. By contrast, a *representable* functor X, not yet equipped with the natural ($G$-equivariant) isomorphism $G \cong X$ defining the representation, is a $G$-torsor. I learned this from John Baez’s this week’s finds: http://math.ucr.edu/home/baez/torsors.html My favorite example is still the one that John uses: n-dimensional affine space is most naturally a R^n-torsor. * The universal property defining the tensor product V @ W as the initial vector space receiving a bilinear map @ : V x W —> V @ W can be used to extract its construction. The projection to the quotient V @ W —> V @ W/<v @ w> by the vector space spanned by the image of the bilinear map @ must restrict along @ to the zero bilinear map, as of course does the zero map. Thus V @ W must be isomorphic to the span of the vectors v @ w, modulo the bilinearity relations. * By the existence of discrete and indiscrete spaces, all of the limits and colimits one meets in point-set topology -- products, gluings, quotients, subspaces -- are given by topologizing the (co)limits of the underlying sets. Of course this contradicts our experience with the constructions of colimits in algebra. * On that topic, the construction of the tensor product of commutative rings or the free product of groups can be understood as special cases of the general construction of coproducts in an EM-category admitting coequalizers. I would be very grateful to hear about other favorite examples which illustrate or are clarified by the categorical way of thinking. My view of what might be accessible to undergraduates is relatively expansive, particularly in the less-obviously-categorical areas of mathematics such as analysis. I have also posted this query to the n-Category Cafe and am hoping to collect examples there as well: https://golem.ph.utexas.edu/category/2014/12/a_call_for_examples.html Best wishes to all for a happy and productive new year. 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/ ]

4 3

Re: Internalizing n-cells to (n-1)-cells
by Mike Stay 30 Dec '14

30 Dec '14

[Note from moderator: A reminder that potential posts containing html are discarded. Thanks, Bob Rosebrugh] Dear moderator: Could you post this message for Greg Meredith, please? ---------- Forwarded message ---------- From: Meredith Gregory <lgreg.meredith(a)gmail.com> Date: Sun, Dec 28, 2014 at 1:01 PM Subject: Fwd: Internalizing n-cells to (n-1)-cells To: Mike Stay <metaweta(a)gmail.com> Dear Mike, i'm not sure why, but my email to the categories list is not getting through. Do you think you might be able to post this question on my behalf? i'm writing to ask a question about higher categories motivated from the computer science perspective. A colleague and i have been looking at an analogue of the internalization of morphisms typically associated with Currying. In our setting we're modeling rewrites in various calculi as 2-morphisms, but to prevent rewrites from happening too freely we have to reify certain contexts as 1-morphisms to mark which rewrites are permitted. Essentially, it's a kind of internalization process and is closely connected with work by Leifer, Milner, and Sewell. Now, though, i'm wondering if there has been a more general study of internalization operators taking n-cells to (n-1)-cells. Is there essentially only one kind of internalization process generalizing the exponential object case? Does anyone have any references? Best wishes, --greg ---------- Forwarded message ---------- From: Meredith Gregory <lgreg.meredith(a)gmail.com> Date: Sun, Dec 28, 2014 at 12:40 PM Subject: Re: Internalizing n-cells to (n-1)-cells To: Tom Leinster <Tom.Leinster(a)ed.ac.uk> Dear Tom, No worries. Thanks for getting back to me. It appears that this is not only an unanswered question, but an unasked one! ;-) However, given that the 1-cell to 0-cell case, namely exponential objects play such a pivotal role in computing and fairly important roles even in mainstream maths it seems like it might be worthwhile for me to ask it and seek some answers. Best wishes in the New Year, --greg On Sunday, December 28, 2014, Tom Leinster <Tom.Leinster(a)ed.ac.uk> wrote: > > Dear Greg, > > I'm sorry, but I don't know anything at all about this, not even any references. Apologies! > > Tom > > On Sat, 27 Dec 2014, Meredith Gregory wrote: > >> Dear Tom, >> i'm writing to ask a question about higher categories motivated from the computer >> science perspective. A colleague and i have been looking at an analogue of the >> internalization of morphisms typically associated with Currying. In our setting >> we're modeling rewrites in various calculi as 2-morphisms, but to prevent rewrites >> from happening too freely we have to reify certain contexts as 1-morphisms to mark >> which rewrites are permitted. Essentially, it's a kind of internalization process >> and is closely connected with work by Leifer, Milner, and Sewell. >> Now, though, i'm wondering if there has been a study of internalization operators >> taking n-cells to (n-1)-cells. Is there essentially only one kind of >> internalization process? Do you have any references? >> >> Best wishes in the New Year, >> >> --greg >> >> -- >> L.G. Meredith >> Managing Partner >> Biosimilarity LLC >> 7329 39th Ave SWSeattle, WA 98136 >> >> +1 206.650.3740 >> >> http://biosimilarity.blogspot.com >> >> > -- > The University of Edinburgh is a charitable body, registered in > Scotland, with registration number SC005336. > -- L.G. Meredith Managing Partner Biosimilarity LLC 7329 39th Ave SW Seattle, WA 98136 +1 206.650.3740 http://biosimilarity.blogspot.com -- L.G. Meredith Managing Partner Biosimilarity LLC 7329 39th Ave SW Seattle, WA 98136 +1 206.650.3740 http://biosimilarity.blogspot.com -- Mike Stay - metaweta(a)gmail.com http://www.cs.auckland.ac.nz/~mike http://reperiendi.wordpress.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

FM 2015: Final Call for Papers (20th Intl. Symposium on Formal Methods, Oslo)
by Martin Steffen 28 Dec '14

28 Dec '14

--------------------------=== FM 2015 ===---------------------------- 20th International Symposium on Formal Methods Oslo, Norway, June 22-26, 2015 http://fm2015.ifi.uio.no/ Call for Papers --------------------------------------------------------------------- NEWS: There will be special issues of the Journals - Acta Informatica and - Formal Aspects of Computing featuring selected papers from FM 2015. There will be 11 satellite workshops scheduled for 22-23 June, preceding the main conference. For the list of workshops, see below. --------------------------------------------------------------------- IMPORTANT DATES: Jan 2 Abstract submission deadline Jan 9 Full paper submission deadline March 23 Notification June 22-26 Conference ------------------------------------------------------------------------- CALL FOR PAPERS FM 2015 is the twentieth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers. The FM symposia welcome original papers on research and industrial experience, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work. SCOPE AND TOPICS FM 2015 will have the goal of highlighting the development and application of formal methods. This includes uses of formal methods in a variety of disciplines such as medicine, biology, human cognitive modeling, human automation interactions and aeronautics, among others. FM 2015 particularly welcomes papers on techniques, tools and experiences in interdisciplinary frameworks, as well as on experience with practical applications of formal methods in industrial and research settings, empirical and experimental validation of tools and methods as well as construction and evolution of formal methods tools. The broad topics of interest for FM 2015 include but are not limited to: Interdisciplinary formal methods: techniques, tools and experiences demonstrating formal methods in interdisciplinary frameworks. Formal methods in practice: industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports, experiments with challenge problems. Authors are encouraged to explain how the use of formal methods has overcome problems, lead to improvements in design or provided new insights. Tools for formal methods: advances in automated verification and model-checking, integration of tools, environments for formal methods, experimental validation of tools. Authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. Role of formal methods in software and systems engineering: development processes with formal methods, usage guidelines for formal methods, method integration. Authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. Theoretical foundations: all aspects of theory related to specification, verification, refinement, and static and dynamic analysis. Authors are encouraged to explain how their results contribute to the solution of practical problems with methods or tools. CONFIRMED KEYNOTE SPEAKERS Elvira Albert, Complutense University of Madrid, Spain Werner Damm, Carl von Ossietzky Universitaet Oldenburg, DE Valerie Issarny, INRIA, France Leslie Lamport, Microsoft Research, US PAPER SUBMISSION Papers will be evaluated by at least three members of the Programme Committee. They should be in Springer LNCS format and describe, in English, original work that has not been published or submitted elsewhere. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case study papers should describe significant case studies and the complete development should be made available at the time of review. In other words, the usual criteria for novelty, reproducibility, correctness and the ability for others to build upon the described work apply. Tool papers should explain enhancements made compared to previously published work. A tool paper need not present the theory behind the tool but can focus more on its features, and how it is used, evaluation, with screen shots and examples. Authors of tool papers should make their tool available for use by reviewers. Papers should be submitted through the FM 2015 EasyChair web site: http://www.easychair.org/conferences/?conf=fm2015. We solicit two categories of papers: Regular Papers should not exceed 15 pages in LNCS format, not counting references. Short papers, including tool papers, should not exceed 6 pages, not counting references. Besides tool papers, short papers are encouraged for any subject that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Short papers will be accompanied by short presentations. For regular and tool papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not guaranteed to be read or taken into account by the reviewers and it should not contain information necessary to the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted, there will be no "demotions" from a regular to a short paper. BEST PAPER AWARD FM 2015 will as a new feature have a best paper award. A best paper will be selected among accepted papers, and the award will be presented at the conference. PUBLICATION Accepted papers will be published in the Symposium Proceedings, to appear in Springer's Lecture Notes in Computer Science. GENERAL CHAIR Einar Broch Johnsen, University of Oslo, NO PC CHAIRS Nikolaj Bjorner, Microsoft Research, US Frank S. de Boer, CWI, NL PROGRAM COMMITTEE Erika Abraham, RWTH Aachen University Bernhard K. Aichernig, TU Graz Gilles Barthe, IMDEA Software Institute Nikolaj Bjorner, Microsoft Research Marcello Bonsangue, Leiden University Michael Butler, University of Southampton Andrew Butterfield, Trinity College Dublin Ana Cavalcanti, University of York David Clark, University College London Frank S. de Boer, CWI Jin Song Dong, National University of Singapore Michael Emmi, IMDEA Software Institute John Fitzgerald, Newcastle University Nate Foster, Cornell University Vijay Ganesh, University of Waterloo Diego Garbervetsky, Dep. de Computacion. U. de Buenos Aires Dimitra Giannakopoulou, NASA Ames Research Center Stefania Gnesi, ISTI-CNR Ganesh Gopalakrishnan, University of Utah Orna Grumberg, Technion, Israel Institute of Technology Arie Gurfinkel, Carnegie Mellon University Reiner Haehnle, Technical University of Darmstadt Klaus Havelund, NASA Jet Propulsion Laboratory Anne E. Haxthausen, Technical University of Denmark Ian J. Hayes, University of Queensland Gerard Holzmann, NASA Jet Propulsion Laboratory Daniel Jackson, MIT Cliff Jones, Newcastle University Gerwin Klein, NICTA and UNSW Laura Kovacs, Chalmers University of Technology Marta Kwiatkowska, University of Oxford Peter Gorm Larsen, Aarhus University Yves Ledru, Lab. d'Informatique de Grenoble, U. Joseph Fourier Rustan Leino, Microsoft Research Martin Leucker, University of Luebeck Shaoying Liu, Hosei University Tom Maibaum, McMaster University Dominique Mery, Universite de Lorraine, LORIA Peter Mueller, ETH Zuerich Cesar Munoz, National Aeronautics and Space Administration David Naumann, Stevens Institute of Technology Tobias Nipkow, TU Muenchen Jose Oliveira, Universidade do Minho Olaf Owe, University of Oslo Sam Owre, SRI International Andrei Paskevich, Universite Paris-Sud 11, IUT d'Orsay Grigore Rosu, University of Illinois at Urbana-Champaign Kristin Yvonne Rozier, NASA Ames Research Center Sanjit A. Seshia, UC Berkeley Natasha Sharygina, Universita' della Svizzera Italiana Viorica Sofronie-Stokkermans, Max-Planck Institute for Informatics Jun Sun, Singapore University of Technology and Design Kenji Taguchi, AIST Margus Veanes, Microsoft Research Ji Wang, National Lab. for Parallel and Distributed Processing Alan Wassyng, McMaster University Heike Wehrheim, University of Paderborn Michael Whalen, University of Minnesota Jim Woodcock, University of York Gianluigi Zavattaro, University of Bologna Pamela Zave, AT&T ================================================================== SATELLITE WORKSHOPS (at 22-23. June, preceding the main conference) - FMICS (Formal Methods for Industrial Critical Systems) - Overture/VDM - WWV (Automated Specification and Verification of Web Systems) - Refinement - ESSS (Engineering Safety and Security Systems) - SAFOME (Safety and Formal Methods) - USE (Usages of Symbolic Execution) - SETS (Sets and Tools) - FMSEET (Formal Methods in Software Engineering Education and Training) - Formal Methods and Model-Driven Engineering in Robotics - F-IDE (Formal Integrated Development Environment) ===================================================================== [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

*** Preliminary Announcement *** CatAlg2015 - Workshop in Categorical Algebra
by Giuseppe Metere 24 Dec '14

24 Dec '14

*** Preliminary Announcement *** CatAlg2015 - Workshop in Categorical Algebra *** Gargnano del Garda (BS) *** 26-30 April 2015 Dear colleagues and friends, The Third Workshop CATALG2015 on Categorical Algebra: ???Recent developments and future perspectives???, will take place in Gargnano (GARDA lake) , 26-30 April 2015. As in the previuos editions, we would like to have a proper "workshop", with only a few invited talks, some open problem sessions, and some time for informal discussions. Have accepted our invitation : G. Janelidze, M. Sobral and E.M. Vitale (two-hours talks) A.S. Cigoli, M.M. Clementino, M. Duckerts-Antoine, J. Gray, Z. Janelidze, L. Marki, B. Noohi, G. Peschke. (one-hour talks) Although there will be no other scheduled talk, there will be an open poster session to present and discuss results and investigations in categorical algebra. The workshop will start with a welcome buffet on Sunday April 26th, in the late afternoon. Talks are scheduled from Monday April 27th, in the morning, till Thursday April 30th, before noon. CATALG2015 will take place in Palazzo Feltrinelli, http://www.gargnanosulgarda.com/events-lake-garda/Palazzo-Feltrinelli-uk.ht… where there will be also arranged lunches for all participants, included in the Conference Fee. A webpage with the conference program, the conference fee, and the registration form will be made available shortly. Meanwhile, if you intend to partecipate, please send an email to Sandra or Beppe. Looking forward to seeing you in Gargnano, we send you our best wishes of Merry Christmas and Happy New Year Marino Gran (UCL - Louvain-la-Neuve) Sandra Mantovani (Universita' degli Studi di Milano) Giuseppe Metere (Universita' degli Studi di Palermo) -- Giuseppe Metere, PhD. Ricercatore di Algebra Dipartimento di Matematica e Informatica Universit?? degli Studi di Palermo [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

GaLoP 2015: Workshop on Games for Logic and Programming Languages
by Pierre Clairambault 23 Dec '14

23 Dec '14

10th Workshop on Games for Logic and Programming Languages (GaLoP 2015) London, United Kingdom, 11-12 April http://www.gamesemantics.org GaLoP is an annual international workshop on game-semantic models for logics and programming languages and their applications. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials. GaLoP X will be held in London, UK on 11-12 April 2015 as a satellite workshop of ETAPS (http://www.etaps.org/) Areas of interest include: * Games and other interaction-based denotational models; * Games-based program analysis and verification; * Logics for games and games for logics; * Algorithmic aspects of game semantics; * Categorical aspects of game semantics; * Programming languages and full abstraction; * Higher-order automata and Petri nets; * Geometry of interaction; * Ludics; * Epistemic game theory; * Logics of dependence and independence; * Computational linguistics; * Games and multi-valued logics. There will be no formal proceedings but the possibility of a special issue in a journal will be considered (the 2005, 2008, 2011 and 2014 workshops led to special issues in Annals of Pure and Applied Logic). // Submission Instructions // Please submit an abstract (up to one page) of your proposed talk on the easychair submission page below. Supplementary material may be submitted, and will be considered at the discretion of the PC. https://easychair.org/conferences/?conf=galop2015 // Important Dates // Submission: January 25, 2015 Notification: February 10, 2015 Workshop: April 11-12, 2015 // Invited talks // In celebration of its 10th occurrence, GaLoP 2015 will include a special session with talks from some of the key early contributors in game semantics. For this occasion the speakers will include: * Pierre-Louis Curien, Paris * Martin Hyland, Cambridge * Luke Ong, Oxford * others TBC There will also be invited talks from: * Paul Blain Levy, Birmingham, * Nikos Tzevelekos, London * others TBC // Program Committee // * Pierre Clairambault, Lyon (Chair) * Dan Ghica, Birmingham * Tom Hirschowitz, Chamb?ry * Naohiko Hoshino, Kyoto * Luke Ong, Oxford * Gabriel Sandu, Helsinki * Ulrich Sch?pp, Munich [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

TACL2015 call for extended abstracts
by Luca Spada 17 Dec '14

17 Dec '14

------------------------------------------------------------------------------------------------ [Apologies for multiple copies] ============================================================================================ TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC (TACL2015) School & Conference Call for extended abstracts ============================================================================================ 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 2 hour lectures for four 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 * Point-free topology * Proofs and Types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic Invited Speakers ------------------------------ Olivia Caramello (Institut des Hautes Études Scientifiques) Agata Ciabattoni (Technische Universität Wien) Maria Manuel Clementino (Universidade de Coimbra) Emil Jeřábek (Academy of Sciences of the Czech Republic) André Joyal (Université du Québec) Keith A. Kearnes (University of Colorado) Daniele Mundici (University of Florence) Paulo Oliva (Queen Mary University of London) Jorge Picado (Universidade de Coimbra) Michael Pinsker (University Paris Diderot) School lecturers ------------------------------ Guram Bezhanishvili (New Mexico State University) Brian Davey (La Trobe University) Ieke Moerdijk (Nijmegen University) Luke Ong (Oxford University) Submissions ------------------------------ Authors can submit an Extended Abstract of two pages (including references) at the EasyChair conference system: https://www.easychair.org/conferences/?conf=tacl2015 Please note that a brief text-version of the abstract will also be required during the submission by EasyChair, while the submission of the Extended Abstract itself should be made in the PDF format. Important Dates --------------------------- Deadline for submissions 1 March 2015 Notification of acceptance 30 March 2015 Deadline for early registration (conference) 30 April 2015 Deadline for registration (school) 30 April 2015 School dates 15 - 19 June 2015, University of Salerno (Italy) Conference dates 21 - 26 June 2015, Ischia Island (Italy) 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 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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Nominations for John C Reynolds Distinguished Dissertation Award
by Jeremy Gibbons 16 Dec '14

16 Dec '14

(On behalf of Sue Eisenbach, to whom queries should be addressed. Nomination deadline is 4th Jan. My apologies for the short notice. -jg) * Dear all, If you have a student who has completed an outstanding programming language PhD thesis in the academic year 2014, can I recommend that the student be proposed for consideration for SIGPLAN’s best PhD award, the John C Reynolds Doctoral Dissertation Award? http://www.sigplan.org/Awards/Dissertation/ As a chair of a hiring committee, I know that winning such prizes, and even being nominated for such prizes, makes the potential candidate stand out. Best wishes, Susan -- Professor Susan Eisenbach Head, Department of Computing Imperial College London Huxley Building South Kensington Campus London SW7 2AZ, U.K. Phone:+44-20 7594 8264 Fax: +44-20 7594 8282 Web: http://www.doc.ic.ac.uk/~susan Email: mailto:s.eisenbach@imperial.ac.uk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

BOUNCE categories@mta.ca: Approval required: (fwd)
by Bob Rosebrugh 16 Dec '14

16 Dec '14

From: Marino Gran <marino.gran(a)uclouvain.be> Subject: New Editorial Board of the "Cahiers" Date: Mon, 15 Dec 2014 21:23:39 +0100 To: categories(a)mta.ca Dear Colleagues, It is a pleasure to announce that the Editorial Board of the "Cahiers de Topologie et Geometrie Differentielle Categoriques" will be enlarged and modified as follows, starting from January 2015: Chief Editors: Ehresmann Andree, Gran Marino, Guitart Rene Editors: Adamek Jiri, Berger Clemens, Bunge Marta, Clementino Maria Manuel, Janelidze Zurab, Johnstone Peter, Kock Anders, Lack Stephen, Mantovani Sandra, Porter Tim, Pradines Jean, Riehl Emily, Street Ross. The "Cahiers" were created in 1957 under the initial title "Seminaire Ehresmann. Topologie et Geometrie Differentielle", published in the series of the "Seminaires de l'Institut Henri Poincare". Starting from Volume II, they appeared as an independent publication, the title becoming "Cahiers de Topologie et Geometrie Differentielle" in 1966. In 1984 the present name "Cahiers de Topologie et Geometrie Differentielle Categoriques" was chosen, underlying the continuity with the origin of the journal, and also the natural change consisting in placing category theory at the centre of the journal. The "Cahiers" is a journal which, since its foundation, is under the only responsibility of its Chief-Editor(s). Since 1975, this journal has only lived thanks to its subscriptions, without any external subvention or material help. The enlargement of the Editorial Board aims at including a new generation of mathematicians and opening the journal to some new research areas where category theory is developing and is being applied. The main research subject of the journal remains pure category theory, together with its applications in topology, differential geometry, algebraic geometry, universal algebra, homological algebra, and algebraic topology. Papers submitted for publication should be sent to one of the editors as a pdf file, with a copy to Andree Ehresmann (ehres(a)u-picardie.fr) More information on the "Cahiers" can be found on the site http://ehres.pagesperso-orange.fr/Cahiers/Ctgdc.htm Correspondence concerning subscriptions and backsets is to be sent to Andree Ehresmann by e-mail: ehres(a)u-picardie.fr With our best wishes, Andree Ehresmann, Marino Gran, Rene Guitart [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

New Editorial Board of the "Cahiers"
by Marino Gran 16 Dec '14

16 Dec '14

Dear Colleagues, It is a pleasure to announce that the Editorial Board of the "Cahiers de Topologie et Geometrie Differentielle Categoriques" will be enlarged and modified as follows, starting from January 2015: Chief Editors: Ehresmann Andree, Gran Marino, Guitart Rene Editors: Adamek Jiri, Berger Clemens, Bunge Marta, Clementino Maria Manuel, Janelidze Zurab, Johnstone Peter, Kock Anders, Lack Stephen, Mantovani Sandra, Porter Tim, Pradines Jean, Riehl Emily, Street Ross. The "Cahiers" were created in 1957 under the initial title "Seminaire Ehresmann. Topologie et Geometrie Differentielle", published in the series of the "Seminaires de l'Institut Henri Poincare". Starting from Volume II, they appeared as an independent publication, the title becoming "Cahiers de Topologie et Geometrie Differentielle" in 1966. In 1984 the present name "Cahiers de Topologie et Geometrie Differentielle Categoriques" was chosen, underlying the continuity with the origin of the journal, and also the natural change consisting in placing category theory at the centre of the journal. The "Cahiers" is a journal which, since its foundation, is under the only responsibility of its Chief-Editor(s). Since 1975, this journal has only lived thanks to its subscriptions, without any external subvention or material help. The enlargement of the Editorial Board aims at including a new generation of mathematicians and opening the journal to some new research areas where category theory is developing and is being applied. The main research subject of the journal remains pure category theory, together with its applications in topology, differential geometry, algebraic geometry, universal algebra, homological algebra, and algebraic topology. Papers submitted for publication should be sent to one of the editors as a pdf file, with a copy to Andree Ehresmann (ehres(a)u-picardie.fr) More information on the "Cahiers" can be found on the site http://ehres.pagesperso-orange.fr/Cahiers/Ctgdc.htm Correspondence concerning subscriptions and backsets is to be sent to Andree Ehresmann by e-mail: ehres(a)u-picardie.fr With our best wishes, Andree Ehresmann, Marino Gran, Rene Guitart [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0