From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8841 Path: news.gmane.org!not-for-mail From: Dorette Pronk Newsgroups: gmane.science.mathematics.categories Subject: AARMS Summer School Reminder - Urgent message regarding housing for the preparatory week Date: Wed, 2 Mar 2016 18:38:00 +0000 Message-ID: Reply-To: Dorette Pronk NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1456944995 27897 80.91.229.3 (2 Mar 2016 18:56:35 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 2 Mar 2016 18:56:35 +0000 (UTC) To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Wed Mar 02 19:56:26 2016 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1abBwf-0000eA-KZ for gsmc-categories@m.gmane.org; Wed, 02 Mar 2016 19:56:25 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:38425) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1abBvw-0003Zp-KJ; Wed, 02 Mar 2016 14:55:40 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1abBvp-0006XW-Ct for categories-list@mlist.mta.ca; Wed, 02 Mar 2016 14:55:33 -0400 Accept-Language: en-US Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8841 Archived-At: Although our registration deadline is still two weeks away, we just heard t= hat the booking deadline for on campus housing for the week of preparatory = lectures is tomorrow (March 3). So if you are considering arriving on July 3rd for Geoff Cruttwell's prepar= atory lectures,=20 please send a quick message to Dorette.Pronk@Dal.Ca to indicate this so tha= t I know which accommodation to reserve for this purpose. Dorette Pronk ________________________________________ From: Dorette Pronk Sent: Saturday, January 23, 2016 11:55 AM To: categories@mta.ca Subject: AARMS Summer School Announcement ANNOUNCEMENT: AARMS Summer School at Dalhousie University July 11 - August 5, 2016 The AARMS Summer School 2016 will offer courses in category theory and numb= er theory and combinatorics. Directors: Dr. Dorette Pronk, Dalhousie University and Dr. Geoffrey Cruttw= ell, Mount Allison University The AARMS summer school is intended for graduate students and promising undergraduate students from all parts of the world. Each participant is required to register for two of the four courses in order to receive suppo= rt from AARMS. Each course consists of five ninety-minute lecture sessions ea= ch week. These are graduate courses approved by Dalhousie and we will facilit= ate transfer credit to the extent possible. The courses of interest to people on this list are the following. Higher Category Theory and Categorical Logic Instructors: Dr. Michael Shulman, University of San Diego, and Dr. Peter Lumsdaine, Stockholm University Description: This course will introduce students to the relationship betwe= en category theory and logic, and its emerging generalization to higher categ= ory theory. On the one hand, category theory provides a flexible and powerful semantics for logic, uniting for instance forcing models of set theory wit= h domain semantics for programming languages. On the other hand, logic provides an "internal language" for categories, that can greatly simplify = the proofs of general theorems. We will discuss the classical version of this correspondence that applies to ordinary categories, including elementary toposes. Then we will introduce some basic concepts of higher category theory, and end with a brief introduction to homotopy type theory, a logic that corresponds to certain higher categories. Categories, Quantum Computation and Topology Instructor: Dr. Jamie Vicary, University of Oxford Description: This course will introduce the theory of monoidal categories,= an approach to mathematics which combines algebra and geometry into a single subject, and investigates its applications in quantum computation and topology. An emphasis will be on graphical calculi, which allow us to prov= e theorems using pictures, rather than traditional mathematical syntax. The course will also have a practical component, using the proof assistant Globular to formalize and investigate the results we encounter. Topics studied will include coherence, linear structures, duality, monoids and comonoids, Frobenius and Hopf algebras, quantum groups, quantum protocols, higher categories, and topological quantum field theory. There will also be a week with preparatory lectures on basic category theo= ry by Geoff Cruttwell, from July 4 till July 8. For more information and the application form, visit the summer school web= site, https://aarms.math.ca/the-2016-aarms-summer-school/ Don't wait too long with applying as we can only support 20 students in category theory. Since CT2016 will be held in Halifax right after this summer school, inter= ested students may want to get a dorm room at Dalhousie that they can keep for the whole time. There is o= ne residence house (with kitchen facilities) that we would like to use for this, but we can o= nly reserve it if there is enough interest. So if you are interested in this option contact us as soon as possible to = show your interest and indicate the dates for your time in Halifax. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]