The Kan Extension Seminar II
Daniel Kan's influence at MIT persists through something called the Kan seminar, a graduate reading course in algebraic topology. Over the course of a semester, each student is asked to give a few one-hour lectures summarizing classic papers in the field and to engage with each other paper by writing a reading response. The lectures are preceded by a practice talk of unbounded length that is conducted in private, i.e., in the absence of the lead instructor, before the reading responses are due. This format aims to teach students how to read papers quickly and at various levels of depth, as well as to work on presentation skills. At the semester's conclusion, Kan traditionally hosted a party that took advantage of Boston's high concentration of mathematicians, giving his students an opportunity to meet senior people in the field.
The Kan Extension Seminar, piloted in early 2014, was conceived as an online (“extension”) Kan seminar for peridoctoral category theorists. A dozen category theorists plus one facilitator met biweekly for videochat presentations on classic papers in the field. After each seminar meeting, the presenter wrote a blog post summary that was published on the n-Category Café. Some reflections on the first iteration of the Kan Extension Seminar can be found in the December 2014 issue of the Notices of the AMS.
For the second Kan Extension Seminar, I am delighted to announce that I'll be joined by two co-facilitators:
The seminar will follow the same format as the first version. From mid January to mid May 2017, we plan to read the eight papers listed below. For this, we are seeking 8 participants who, in addition to engaging with all of the papers, will compose a blog post for the n-Category Café over the course of the five months, which will be published every other week. The other participants will be expected to comment. On the week preceding each blog entry, the class will have a private video discussion on the paper in question, initially to take place at 9pm GMT on alternate Mondays, with some time adjustment later in the term to account for daylight savings time. The course will conclude with a series of short public expository lectures given, by those able to attend, on July 16 in conjunction with the 2017 International Category Theory Conference at the University of British Columbia in Vancouver.
- Alexander Campbell is an Australian category theorist who recently completed his PhD under the supervision of Ross Street at the Centre of Australian Category Theory at Macquarie University. In the first year of his PhD studies he participated in the first Kan Extension Seminar. His research interests lie in higher and enriched category theory, with an eye towards their applications in homotopy theory.
- Brendan Fong is a postdoctoral scholar at the University of Pennsylvania, working with Rob Ghrist on applications of topology and category theory. The central theme of his research is reasoning about composite systems -- whether they comprise electrical components, chemical reactions, dynamical systems, programs, data, and so on -- with an emphasis on the tools of category theory. Earlier this year he completed a DPhil in Computer Science at the University of Oxford, under the guidance of Bob Coecke and John Baez (UC Riverside).
Please feel free to contact any of the organizers with any questions regarding the course.
- M. Hyland and J. Power, The category theoretic understanding of Universal Algebra: Lawvere Theories and Monads, Electronic Notes in Theoretical Computer Science
Volume 172, 1 April 2007, Pages 437-458
- J. Beck, “Distributive laws,” Seminar on triples and categorical homology theory, ETH 1966/67, edited by B. Eckmann, LNM 80, Springer 1969, pages 119–140.
- P. Freyd, Algebra valued functors in general and tensor products in particular, Colloquium Mathematicum, XIV, Warsaw, 1966.
- G.M. Kelly, On the operads of J.P. May, Reprints in Theory and Applications of Categories, No. 13, 2005, pp. 1–13 (original 1972).
- G.M. Kelly,
Structures defined by finite limits in the enriched context, I, Cahiers de topologie et géométrie différentielle catégoriques 23(1), 1982, 3-42.
- G.M. Kelly, “On Clubs and Data-type Constructors,” Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991, 163-190.
- S. Lack and J. Rosicky, Notions of Lawvere Theory, Applied Categorical Structures, February 2011, Volume 19, Issue 1, pp 363–391
- C. Berger, P-A. Mellies, and M. Weber, Monads with arities and their associated theories, Volume 216, Issues 8–9, August 2012, Pages 2029-2048.
The seminar will meet nine times, the first week for introductions with each of the remaining eight devoted to one of the papers in the order listed above. We will meet according to the following schedule (altered midway through to minimize the pain caused by daylight savings time switches):
- Monday 9pm UTC: January 16, January 30, February 13, February 27, March 13, March 27, April 28, May 8
- Monday 1pm UTC: April 10
As a prerequisite, participants should feel comfortable with the material found in Categories for the Working Mathematician or its equivalent and demonstrate enthusiasm for engaging with more sophisticated categorical topics. Anyone is welcome to apply, but some preference will be given to current graduate students.
To apply, please send a single PDF file to “alexanderpcampbell at gmail dot com” or “fo at seas dot upenn dot edu” containing the following information:
You may append your CV if you wish. Finally, please indicate whether or not you expect to attend the 2017 International Category Theory conference in Vancouver (July 16-22). This question is just for administrative purposes; attendance will have no bearing on the selection process.
- Your contact information and educational history.
- The name of a reference as well as his or her contact information.
- A brief paragraph explaining your interest in this course.
- A paragraph or two describing one of your favorite topics in category theory.
- A ranked list of the three papers (selected from the list above) that you would most like to present together with an explanation of your preferences.
Application deadline: November 30th, 2016.
We are delighted to announce the following participants in the Kan extension seminar. You'll be hearing from them shortly on the n-Category Café.
- Evangelia Aleiferi, Halifax, Canada — The Category Theoretic Understanding of Universal Algebra
- Pierre Cagne, Paris, France — On Clubs and Data-Type Constructors
- Simon Cho, Philadelphia, PA, USA — On the Operads of J.P. May
- Daniel Cicala, Riverside, CA, USA — A Discussion on Notions of Lawvere Theories
- David Myers, Palm Beach, FL, USA — Enrichment and its Limits & Gluing Together Finite Shapes with Kelly
- Maru Sarazola, Ithaca, NY, USA — Algebra Valued Functors in General and Tensor Products in Particular
- José Siqueira, Brasilia, Brazil — Unboxing Algebraic Theories of Generalised Arities
- Liang Ze Wong, Seattle, WA, USA — Distributive Laws
My contact infomation can be found on my personal website.