Although our registration deadline is still two weeks away, we just heard that 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 preparatory lectures, please send a quick message to Dorette.Pronk@Dal.Ca to indicate this so that 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 number theory and combinatorics. Directors: Dr. Dorette Pronk, Dalhousie University and Dr. Geoffrey Cruttwell, 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 support from AARMS. Each course consists of five ninety-minute lecture sessions each week. These are graduate courses approved by Dalhousie and we will facilitate 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 between category theory and logic, and its emerging generalization to higher category theory. On the one hand, category theory provides a flexible and powerful semantics for logic, uniting for instance forcing models of set theory with 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 prove 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 theory by Geoff Cruttwell, from July 4 till July 8. For more information and the application form, visit the summer school website, 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, interested students may want to get a dorm room at Dalhousie that they can keep for the whole time. There is one residence house (with kitchen facilities) that we would like to use for this, but we can only 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/ ]