September 2016 - Categories - categories.org.au

Topological *-autonomous categories, revisited
by Michael Barr 02 Nov '16

02 Nov '16

In 2006 I published a paper called Topological *-autonomous categories (TAC, 16, 700-708). Looking it over early this year I realized it was badly flawed with gaps, incorrect proofs, and omissions (of things claimed in the intro). I have rewritten it, fixing all the flaws (I hope at any rate). Somewhat reluctantly, I submitted it to TAC, but the referee felt, doubtless correctly, that this revision was not really up to the quality of the leading journal in CT, but should be published elsewhere. Where for heaven's sake? Certainly not in one of the hundreds of vanity journals whose solicitations fill my mailbox daily. Anyway, it is the top paper that appears on the web site that contains virtually all the papers I have ever written as well as a few miscellaneous things (such as the Tohoku translation): http://www.math.mcgill.ca/barr/papers/. Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

Union College Conference
by Niefield, Susan 26 Sep '16

26 Sep '16

UNION COLLEGE MATHEMATICS CONFERENCE Schenectady, New York Saturday and Sunday December 3 - 4, 2016 This is the second announcement for the 15th Union College Mathematics Conference. This year the conference topics are algebraic and applied topology, category theory, commutative algebra, differential geometry and geometric analysis, and number theory. In addition to featured lectures, there will also be shorter contributed talks in parallel sessions. The deadline for abstract submission is November 4. For registration, abstract submission, and local information, please visit our website at: http://www.math.union.edu/~toddg/ucc. We hope to see you here in December! ORGANIZERS Algebraic Topology and Applied Topology Ellen Gasparovic (gasparoe(a)union.edu) Brenda Johnson (johnsonb(a)union.edu) Kathryn Lesh (leshk(a)union.edu) Category Theory Susan Niefield (niefiels(a)union.edu) Differential Geometry and Geometric Analysis Charles P. Boyer (University of New Mexico - Albuquerque) Christina Tønnesen-Friedman (tonnesec(a)union.edu) Jeffrey Jauregui (jaureguj(a)union.edu) Number Theory Jeffrey Hatley (hatleyj(a)union.edu) George Todd (toddg(a)union.edu) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Coequalizers of Lawson-continuous maps
by Chris Heunen 26 Sep '16

26 Sep '16

Dear categorists, Are you aware of any work on the category of directed complete partial orders with Lawson-continuous maps? In particular, I'm looking for characterizations of (regular) subobjects and coequalizers (or cokernel pairs). I can't seem to find much in the literature, but surely somebody has looked at this before. Kind regards, Chris [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

LICS 2017 Call for Workshop Proposals
by Sam Staton 19 Sep '16

19 Sep '16

Call for Workshop Proposals LICS 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science http://lics.rwth-aachen.de/lics17/ The thirty-second Annual ACM/IEEE Symposium on Logic In Computer Science (LICS'17) will be held in Reykjavik, Iceland on June 20–23, 2017. The workshops will take place on June 18–19, 2017. June 18 will only be used by two-days workshops (if any), or in case the number of workshops is really large. This year, workshop fees should be around 65 euros for a one-day workshop (including lunch and two coffee breaks). Researchers and practitioners are invited to submit proposals for workshops on topics relating logic – broadly construed – to computer science or related fields. Typically, LICS workshops feature a number of invited speakers and a number of contributed presentations. LICS workshops do not usually produce formal proceedings. However, in the past there have been special issues of journals based in part on certain LICS workshops. Proposals should include: • - A short scientific summary and justification of the proposed topic. This should include a discussion of the particular benefits of the topic to the LICS community. • - A discussion of the proposed format and agenda. • - The proposed duration, which is typically one day (two-day workshops can be accommodated too). • - Procedures for selecting participants and papers. • - Expected number of participants. This is important for the room! • - Potential invited speakers. • - Plans for dissemination (for example, special issues of journals). Proposals should be sent to Patricia Bouyer: bouyer(a)lsv.fr ** Important Dates ** Submission deadline: November 1, 2016 Notification: November 15, 2016 Program of the workshops ready: May 19, 2017 Workshops: June 18–19, 2017 LICS conference: June 20–23, 2017 The workshops selection committee consists of the LICS General Chair, LICS Workshops Chair, LICS 2017 PC Chair and LICS 2017 Conference Chair. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

FSCD 2017 - Call for Workshop Proposals
by Jamie Vicary 19 Sep '16

19 Sep '16

-------------------------------------------------------------------- FSCD 2017 Call for Workshop Proposals (Formal Structures for Computation and Deduction, September 2017, Oxford, UK) http://www.cs.ox.ac.uk/conferences/fscd2017 -------------------------------------------------------------------- FSCD 2017, co-located with ICFP 2017, will be the second edition of the International Conference on Formal Structures for Computation and Deduction. The FSCD conference was created by the communities behind two major conferences, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications). The first event took place in Porto, Portugal in June 2016 and was extremely successful, attracting 186 participants and 11 workshops. We invite proposals for workshops, tutorials or other satellite events, on any topic to related formal structures in computation and deduction, from theoretical foundations to tools and applications. A full list of suggested topics is given here: http://www.cs.ox.ac.uk/conferences/fscd2017/cfp.html Satellite events will take place on 7-9 September, after the main conference on 3-6 September. It is expected that satellite events would run for 1 or 2 days, and be open to participants of parallel events. PROPOSALS Proposals should be submitted by email directly to the workshop chair jamie.vicary(a)cs.ox.ac.uk, with the following information: * title of the satellite event, description of the topic and its relevance to FSCD; * names and affiliations of the organizers; * pointers to information about past editions of the event, if applicable; * proposed event duration and format (for example, paper presentations, tutorials, demo sessions, etc); * plans for invited speakers or special sessions; * estimate of the number of participants; * procedures for selecting papers and participants and plans for the publication of proceedings, if any; * tentative schedule for paper submission and notification of acceptance; * a brief description (up to 120 words) of the event for the website and publicity material; * any other special requirements. The organizers of satellite events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a programme of talks; advertise their event though specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; and arrange any post-proceedings. The FSCD 2017 organizing committee will handle promotion of the event on the main conference website; integration of the event's programme into the overall timetable; registration of participants; distribution of a USB memory stick containing the informal pre-proceedings; arrangement of an appropriate meeting room; and provision of lunch and coffee breaks for participants. We will waive the registration fees for invited speakers to satellite events. IMPORTANT DATES Submission of workshop proposals: January 30, 2017 Notification of success of proposals: February 13, 2017 Main conference: September 3-6, 2017 Workshop dates: September 7-9, 2017 Best wishes, Jamie Vicary, Workshop Chair http://www.cs.ox.ac.uk/people/jamie.vicary/ http://www.cs.ox.ac.uk/conferences/fscd2017 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CT2017 FIRST ANNOUNCEMENT
by John MacDonald 17 Sep '16

17 Sep '16

FIRST ANNOUNCEMENT INTERNATIONAL CONFERENCE ON CATEGORY THEORY AND ITS APPLICATIONS (CT2017) July 16-22, 2017 University of British Columbia Vancouver, Canada This conference will be held on the University of British Columbia campus. It will begin with a reception at 4pm on Sunday July 16, 2017, and will end at 1pm on Saturday July 22, 2017. All those interested in category theory and its applications are welcome. The Scientific Committee consists of M. M. Clementino M. Gran G. Janelidze(Chair) P. T. Johnstone J. L. MacDonald S. Mantovani R. H. Street W. P. Tholen This announcement is made for your advance planning purposes only and does not require a response. Some support has been received from the Pacific Institute of Mathematics(PIMS}. Further details will be given in later announcements. Registrations are not yet being accepted. I hope to see many of you in Vancouver next summer. Lauchie MacDonald [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Assistant Professor Vacancy at Utrecht
by Moerdijk, I. (Ieke) 16 Sep '16

16 Sep '16

The Department of Mathematics at Utrecht is advertising for a tenure track position at the level of Assistant Professor, with a focus on Algebraic Topology and related fields. For more information, see http://www.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/Vacancy.cfm?Port… Ieke Moerdijk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

weakly globular n-fold categories
by Paoli, Simona (Dr.) 16 Sep '16

16 Sep '16

Dear Colleagues, I have posted today on ArXiv the last of a series of four recent preprints on my work on weakly globular n-fold categories. This is a new Segal-type model of weak n-categories which is suitably equivalent to the Tamsamani-Simpson model but which offers several novel features as it is based on iterated internal categories. I thought of informing you of this work on this mailing list because, due to conflicting scientific commitments, I was unfortunately unable to attend the international category theory conference last August. The references are as follows, and if you have any comments please write to me at simona.paoli(a)virgilio.it or at sp424(a)le.ac.uk S.Paoli, Weakly globular n-fold categories as a model of weak n-categories, arXiv 1609.04072 S.Paoli, Weakly globular Tamsamani n-categories and their rigidification, arXiv 1607.04870 S.Paoli, Pseudo-functors modelling higher structures, arXiv 1605.06835 S.Paoli, Homotopically discrete higher categorical structures, arXiv 1605.05112 Best wishes, Simona. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Gray's paper on universal algebra in cartesian closed categories
by Filip Bar 13 Sep '16

13 Sep '16

Dear all, I am looking for the paper J. Gray, Universal algebra in a Cartesian closed category; E.T.H. Zürich (1975) If someone has a copy of that paper and could send it to me, or could help me with locating it, that would be greatly appreciated. Thank you very much. With kind regards, Filip [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

[CFP] RAMiCS 2017
by Damien Pous 05 Sep '16

05 Sep '16

First Call for Papers ----------------------------------------------------- 16th International Conference on RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMiCS 2017) May 15-19, 2017 Lyon, France http://ramics-conference.org ----------------------------------------------------- GENERAL INFORMATION: For more than two decades, the RAMiCS conferences series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. TOPICS: We invite submissions in the general field of algebraic structures relevant to computer science and on applications of such algebras. Topics of the conference include, but are not limited to the following -theory * algebraic structures from semigroups, residuated lattices and semirings to Kleene algebras, relation algebras and quantales * other algebras relevant to the theory of automata, concurrency, formal languages, games, networks, programming languages and social choice * algorithmic, category-theoretic, coalgebraic or proof-theoretic methods for such algebras * their formalisation with automated and interactive theorem provers -applications * tools and techniques for the verification and correctness of sequential and concurrent programs * quantitative and qualitative models for computing systems * logics of programs, e.g., modal, dynamic, interval, temporal or resource logics, logics for games, social choice and distributed systems * design of algorithms, network protocol analysis, optimisation and control INVITED SPEAKERS: * Annabelle McIver (Macquarie University, Sydney * Jean-Eric Pin (CNRS, IRIF, Paris) * Alexandra Silva (University College, London) IMPORTANT DATES: Abstract Submission: 2016, Nov 25 Paper Submission: 2016, Dec 2 Author Notification: 2017, Feb 3 Camera-ready papers: 2017, Feb 24 RAMiCS 2017: 2017, May 15-19 SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics16 All papers will be peer reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must be in English, in PDF format and should not exceed 16 pages in LNCS style. Submissions must be unpublished, not under review for publication elsewhere and provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for reviewers. Deviation from these requirements may lead to rejection. Accepted papers must be produced with LaTeX. One author of each accepted paper is expected to present the paper at the conference. Formatting instructions and LNCS style files can be obtained at: http://www.springer.de/comp/lncs/authors.html. COMMITTEES: Conference Chair: Damien Pous, CNRS, France Programme Chairs: Peter Höfner, NICTA, Australia Georg Struth, U Sheffield, UK, Programme Committee: Luca Aceto, Reykjavik U, Iceland Rudolf Berghammer, U Kiel, Germany Filippo Bonchi, CNRS, France Jules Desharnais, U Laval, Canada Hitoshi Furusawa, Kagoshima U, Japan Tim Griffin, U Cambridge, UK Walter Guttmann, U Canterbury, New Zealand Robin Hirsch, UCL, UK Peter Höfner, Data61, CSIRO, Australia Marcel Jackson, LaTrobe U, Australia Jean-Baptiste Jeannin, Samsung, USA Peter Jipsen , Chapman U, USA Christian Johansen, U Oslo, Norway Wolfram Kahl, McMaster U, Canada Dexter Kozen, Cornell U, USA Szabolcs Mikulas, Birkbeck U, UK Bernhard Möller, U Augsburg, Germany José N. Oliveira, U Minho, Portugal Damien Pous, CNRS, France Georg Struth, U Sheffield, UK, Pascal Weil, CNRS, France Michael Winter, Brock U, Canada [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0