June 2015 - Categories - categories.org.au

Categories with hyperedges?
by Uwe Egbert Wolter 01 Jul '15

01 Jul '15

Dear all, Categories can be defined by extending directed multi graphs with identities and composition. The underlying directed multi graph of a small category C is given by the sets C_Mor, C_Obj and the source and target maps src^C,trg^C:C_Mor -> C_Obj. Has it ever been investigated what structures arise when we try, instead, to extend directed multi hypergraphs by identities and composition? A "directed multi hypergraph" H is thereby given by a set H_E of edges, a set H_V of vertices and two maps src^H,trg^H:H_E -> Pow(H_V) from H_E into the power set Pow(H_V) of H_V. I'm aware of monoidal categories and I would like to know if there is something else around. Any comment or reference is welcome Uwe Wolter [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

Math ML in recent headlines
by Linton, Fred 29 Jun '15

29 Jun '15

As I (mis)understand it, the ISO has now ratified MathML as a part of the HTML5 standard: <http://www.bookbusinessmag.com/article/w3c-mathml-30-approved-iso-iec-inter…>. Great news! Now to find suitable tutorial/training/reference pages about it :-) . Cheers, -- FEJ Linton [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

Final call for papers: SR 2015, Oxford, Sept 21-22, UK
by Julian Gutierrez 26 Jun '15

26 Jun '15

Summary of relevant information: - Deadline (abstracts) : July 1st, 2015. - Special issue : Journal of Information and Computation. - Format : EPTCS (10 pages + references). - Place : Oxford, UK. - Date : September 21-22, 2015. - Main topics : Games, Logic, Verification, Multi-Agent Systems. - Invited Speakers : Johan van Benthem, Amsterdam/Stanford University. Joseph Halpern, Cornell University. Marta Kwiatkowska, Oxford University. Moshe Vardi, Rice University. Detailed information below: ---------------------------------------------------------------------- SR 2015 - Call For Papers 3rd International Workshop on Strategic Reasoning Oxford, 21-22 September, 2015 https://sites.google.com/site/sr2015homepage/ ---------------------------------------------------------------------- Strategic reasoning is one of the most active research areas in the multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modelling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversary, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent strategies that take into account the likely behaviour of adversaries. The SR international workshop aims to bring together researchers working on different aspects of strategic reasoning in computer science, artificial intelligence and multi-agent systems research, both from a theoretical and a practical viewpoint. ---------------------------------------------------------------------- TOPICS OF INTEREST. The topics covered by SR include, but are not limited to, the following: * Logics for reasoning about strategic abilities; * Logics for multi-agent mechanism design, verification, and synthesis; * Logical foundations of decision theory for multi-agent systems; * Strategic reasoning in formal verification; * Automata theory for strategy synthesis; * Strategic reasoning under perfect and imperfect information; * Applications and tools for cooperative and adversarial reasoning; * Robust planning and optimisation in multi-agent systems; * Risk and uncertainty in multi-agent systems; * Quantitative aspects of strategic reasoning. ---------------------------------------------------------------------- INVITED SPEAKERS. Speakers so far confirmed include: * Johan van Benthem, University of Amsterdam/Stanford University * Joseph Halpern, Cornell University * Marta Kwiatkowska, University of Oxford * Moshe Vardi, Rice University ---------------------------------------------------------------------- IMPORTANT DATES. * June 1st, 2015: Submission opening * July 1st, 2015 (strict): Abstract submission deadline * July 3rd, 2015 (strict): Paper submission deadline * July 31st, 2015: Acceptance notification * August 14th, 2015: Camera-ready version deadline * September 21st-22nd, 2015: SR 2015 workshop ---------------------------------------------------------------------- SUBMISSION. Extended abstracts should be submitted not exceeding 10 pages (plus references) in the EPTCS format. If necessary, the work may be supplemented with a clearly marked appendix, which will be consulted at the discretion of the PC. Submissions must be in PDF format and will be handled via EasyChair, using the following link: https://easychair.org/conferences/?conf=sr2015 Two types of submission are invited: * contributions reporting on novel research; * expository contributions reporting on published work. Each submission should be clearly identified as belonging to one category or the other. In both categories, strong preference will be given to papers whose topic is of interest to an interdisciplinary audience and all contributions should be written so that they are accessible to such an audience. Extended abstracts will be held to the usual high standards of research publications. In particular, they should contain enough information to enable the PC to identify the main contribution of the work, explain the significance of the work, its novelty, and its practical or theoretical implications, and include comparisons with and references to relevant literature. Expository abstracts, which will be evaluated using similar high standards, may survey an area or report on more specific previously published work. Submissions should make clear the relevance to the strategic reasoning audience. Submissions from PC members are also allowed. Note that, since the workshop will have informal proceedings, extended versions of the accepted papers can also be submitted elsewhere. ---------------------------------------------------------------------- PROCEEDINGS. The workshop proceedings will be available as a single PDF file from the workshop website. Extended and revised versions of the best papers presented at the workshop will be invited to a special issue of the Journal of Information and Computation. ---------------------------------------------------------------------- COMMITTEES. Workshop Chairs * Julian Gutierrez, University of Oxford, UK * Fabio Mogavero, University of Naples Federico II, Italy * Aniello Murano, University of Naples Federico II, Italy * Michael Wooldridge, University of Oxford, UK [MAIN CONTACT] Program Committee * Thomas Agotnes, University of Bergen, Norway * Natasha Alechina, University of Nottingham, UK * Julian Bradfield, University of Edinburgh, UK * Krishnendu Chatterjee, IST, Austria * Vojtech Forejt, University of Oxford, UK * Valentin Goranko, Stockholm University, Sweden * Erich Graedel, RWTH Aachen University, Germany * Julian Gutierrez, University of Oxford, UK * Paul Harrenstein, University of Oxford, UK * Andreas Herzig, CNRS, IRIT, France * Orna Kupferman, Hebrew University, Israel * Salvatore La Torre, University of Salerno, Italy * Jerome Lang, LAMSADE, France * Alessio Lomuscio, Imperial College London, UK * Enrico Marchioni, University of Oxford, UK * Nicolas Markey, LSV, CNRS, and ENS Cachan, France * John-Jules Meyer, Utrecht University, The Netherlands * Andrzej Murawski, University of Warwick, UK * Luke Ong, University of Oxford, UK * Sophie Pinchinat, IRISA Rennes, France * Nikos Tzevelekos, Queen Mary University of London, UK * Wiebe Van Der Hoek, University of Liverpool, UK * Igor Walukiewicz, CNRS, LaBRI, France Local Arrangements Committee * Vojtech Forejt, University of Oxford, UK * Julian Gutierrez, University of Oxford, UK * Paul Harrenstein, University of Oxford, UK * Enrico Marchioni, University of Oxford, UK * Giuseppe Perelli, University of Oxford, UK * Michael Wooldridge, University of Oxford, UK ---------------------------------------------------------------------- === Julian Gutierrez Oxford University Department of Computer Science Wolfson Building, Parks Road, Oxford OX1 3QD, UK Web: http://www.cs.ox.ac.uk/people/julian.gutierrez/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Updated URL
by Michael Barr 26 Jun '15

26 Jun '15

The new URL is http://www.math.mcgill.ca/barr/lambek/pdffiles/. I have added a few items, deleted a couple that were duplicates, and essentially tightened it up. There were a couple of case clashes since Linux is case sensitive and Windows isn't so the link was broken. If there are any further problems with the papers, please let me know and I will repair them. Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Annivsrsary of Jim Lambek's death
by Michael Barr 24 Jun '15

24 Jun '15

Jim died just a year ago today. I have a file of his recent papers (MR lists an astonishing 19 items published between 2001 and 2013 (plus there was a book, unreviewed). I have gathered most of them and put them on a web site. Right now the address is http://www.math.mcgill.ca/barr/lambek/pdffiles/ but I hope to get our sysop to relocate it to a better location and to put a link on his department page (look under faculty; the last section is called "In memoriam"). Many of the papers are downloaded from the published source. They can be identified by the full citation that accompanies them. The rest I compiled from tex sources that Elaine Swan, his typist, was kind enough to send me. There is some duplication since it was not always clear which was the latest version. some day, I hope to sort this out. Note that the majority of the papers are on linguistics. Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

"Topos à l'IHES" - first announcement
by Olivia Caramello 20 Jun '15

20 Jun '15

Dear All, We are pleased to announce the following international conference on topos theory, which will take place at IHES from 23 to 27 November 2015. Everyone is welcome. Best regards, Olivia Caramello (on behalf of the Organizing Committee) =============================================================================== TOPOS À L'IHES Call for participation 23-27 November 2015 Institut des Hautes Études Scientifiques https://indico.math.cnrs.fr/event/747/ * Scope * ------------ The conference aims to illustrate the fruitfulness and wide-ranging impact of the theory of Grothendieck toposes, by featuring presentations on new theoretical advances in the subject (including the theory of higher toposes) as well as on applications of toposes in different fields such as number theory, algebraic geometry, logic, functional analysis, topology, mathematical physics and computer science. The conference is preceded by a two-day introductory mini-course for the benefit of students and mathematicians who are not already familiar with topos theory. * Scientific Committee * ------------------------------- Olivia CARAMELLO Pierre CARTIER Alain CONNES Stéphane DUGOWSON Anatole KHELIF * Tutorials * --------------- Olivia CARAMELLO (University Paris-Diderot) André JOYAL (Université du Québec, Montréal) * Invited speakers * -------------------------- Mathieu ANEL (University Paris-Diderot) Luca BARBIERI-VIALE (Università degli Studi di Milano) Jean BÉNABOU (University Paris 13) Denis-Charles CISINSKI (University Paul Sabatier, Toulouse) Caterina CONSANI (Johns Hopkins University, Baltimore) Thierry COQUAND (University of Göteborg) Simon HENRY (Radboud University, Nijmegen) André JOYAL (Université du Québec, Montréal) Mike PREST (University of Manchester) Urs SCHREIBER (Eduard Čech Institute for Algebra, Geometry and Physics, Prague) Carlos SIMPSON (University of Nice-Sophia-Antipolis) Bertrand TOËN (University of Montpellier 2) Michel VAQUIÉ (University Paul Sabatier, Toulouse) * Short communications * --------------------------------- There is room for a few short communications (20-25 minutes long); if you want to submit a one-page abstract for a short talk at the conference, please upload it while registering on the conference website before the 30th of September. * Registration and contact * ------------------------------------ More information is available at the conference website: https://indico.math.cnrs.fr/event/747/ If you have any queries please send them to the conference email address: topos(a)ihes.fr =============================================================================== TOPOS À L'IHES 23-27 novembre 2015 Institut des Hautes Études Scientifiques https://indico.math.cnrs.fr/event/747/ * Objectifs * --------------- Cette conférence vise à illustrer le caractère fécond et l'étendue de l'impact de la théorie des topos de Grothendieck avec des exposés sur les nouvelles avancées théoriques du sujet (y compris la théorie des topos supérieurs) ainsi que sur les applications des topos dans différentes domaines telles que la théorie des nombres, la géométrie algébrique, la logique, l'analyse fonctionnelle, la topologie, la physique mathématique et l'informatique. La conférence sera précédée d'un cours introductif de deux jours à destination des étudiants et des mathématiciens qui souhaitent se familiariser avec la théorie des topos. * Comité Scientifique * ------------------------------ Olivia CARAMELLO Pierre CARTIER Alain CONNES Stéphane DUGOWSON Anatole KHELIF * Cours d'introduction * ------------------------------ Olivia CARAMELLO (Université Paris-Diderot) André JOYAL (Université du Québec, Montréal) * Conférenciers invités * -------------------------------- Mathieu ANEL (Université Paris-Diderot) Luca BARBIERI-VIALE (Università degli Studi di Milano) Jean BÉNABOU (Université Paris 13) Denis-Charles CISINSKI (Université Paul Sabatier, Toulouse) Caterina CONSANI (Johns Hopkins University, Baltimore) Thierry COQUAND (University of Göteborg) Simon HENRY (Radboud University, Nijmegen) André JOYAL (Université du Québec, Montréal) Mike PREST (University of Manchester) Urs SCHREIBER (Eduard Čech Institute for Algebra, Geometry and Physics, Prague) Carlos SIMPSON (Université de Nice-Sophia-Antipolis) Bertrand TOËN (Université de Montpellier 2) Michel VAQUIÉ (Université Paul Sabatier, Toulouse) * Courtes présentations * --------------------------------- Le programme prévoit du temps pour de courtes présentations (20-25 minutes chacune). Si vous êtes intéressé(e), merci d'envoyer avant le 30 septembre un résumé d'une page présentant votre court exposé en le téléchargeant lors de votre inscription en ligne. * Inscription et contact * ------------------------------- Vous trouverez plus d'information sur le site de la conférence : https://indico.math.cnrs.fr/event/747/ Si vous avez des questions : topos(a)ihes.fr =============================================================================== [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Another great Cheng review: NYTimes
by pjf 14 Jun '15

14 Jun '15

Another first rate review (this time with its US title). http://mobile.nytimes.com/search?query=%22Eugenia+cheng%22&sort=rel [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

positions
by Jiří Rosický 11 Jun '15

11 Jun '15

Dear colleagues, the Department of Mathematics and Statistics of the Masaryk university in Brno is advertising tenure position(s) at: http://www.math.muni.cz/english/news/241-tenure.html Please feel free to contact me if you wish to know more about the positions. With best regards, Jiri Rosicky [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

On the issue of Replacement
by David Roberts 11 Jun '15

11 Jun '15

Dear all, I have been thinking lately about the uses of Replacement in ordinary mathematics, viewed from the lens of ETCS. In particular, I wanted to clear up what one might do to circumvent assuming Replacement (or an equivalent) on top of ETCS, for instance. Key examples of what Replacement allows us to do include forming colimits of 'diagrams' specified by logical formulas (for instance the sequence where the n^th term is the coproduct of the P^k(N) for k < n, together with inclusions). I write 'diagrams' since these are not internal diagrams, as is usual in topos theory, nor diagrams (as far as I can tell) in an expanded vocabulary that allows us to talk of functors D --> Set (please correct me if I'm wrong!). In my naivety, I asked a question on MathOverflow [1] asking what is wrong with the suggestion of having some sort of cocompletion of Set (in an external sense) around that allows careful and guarded use of formal colimits, as encoded by diagrams (or 'diagrams' in the above sense). Discussion there didn't proceed as I imagined, but led me to realise (thanks to Zhen Lin and Francois Dorais) that the distinction between internal and external indexing is what is going on. For instance, with the 'diagram' involving iterated powersets above, one must distinguish between the internal natural numbers and the natural numbers in the metalogic. So my question might now be approached in various ways 1) Asking if there a sensible way to talk about cocompletion (or other such constructions) under 'diagrams'. This is somewhat analogous to talking about proper classes in ZFC, which "do not exist", but are handy stand-ins for first-order formulas -- and in fact one might as well work with the category of classes defined as such, or in the "model" of NBG so arising (conservative over ZFC, a desideratum since we are primarily interested in sets) 2) Asking that internal and external natural numbers coincide - this is analogous to \omega-models in material set theory. Of course, this merely copes with 'diagrams' indexed by N (and possibly countable 'diagrams'). This should be enough for cases of the small object argument that only use \omega-many arrows. Obvious generalisations for other ordinals hold, but I suspect that assuming this works for all ordinals implies Replacement (cf [2]). There are obviously analogues for any fixed class of shape of 'diagram': I'm fairly sure that if the diagram exists corresponding to any 'diagram', then any colimit of that shape exists. Any thoughts, comments, or existing work exploring these issues? Thanks, David =References= [1] http://mathoverflow.net/questions/208711/who-needs-replacement-anyway [2] http://jdh.hamkins.org/transfinite-recursion-as-a-fundamental-principle-in-… -- Dr David Roberts Visiting Fellow School of Mathematical Sciences University of Adelaide SA 5005 AUSTRALIA "When I consider what people generally want in calculating, I found that it always is a number." -- al-Khwārizmī [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

FINAL CALL FOR PhD/MSc Contributions (RAMiCS 2015)
by Michael Winter 09 Jun '15

09 Jun '15

? ? ? ? 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 ???????????======= Student Track (PhD / MSc) ======= The RAMiCS Conference is the main forum for Relational and Algebraic Methods in Computer Science. Special focus lies on formal methods for software engineering, logics of programs and links with neighbouring disciplines. If you are currently doing a PhD or an MSc in the research areas of the RAMiCS conference, then please consider submitting a short description of your ongoing work for presentation at the conference (if accepted). This is an excellent opportunity to discuss your work with leading experts in this field. Submissions for the student session should take the form of extended abstracts. They must be unpublished and not submitted for publication elsewhere. They need to be in English, in postscript or pdf format, not exceeding 6 pages produced with LaTeX in Springer LNCS style to be found under http://www.springer.de/comp/lncs/authors.html. Student papers will not be published in the conference proceedings - they will be bound into a technical report to become available from RepositoriUM, the University of Minho's central on-line repository. Send submissions to: mwinter.ca or jno.uminho.pt or kahl.mcmaster.ca Submission deadline: 03 July 2015 Author Notification: 17 July 2015 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0