International Category Theory Conference
CT 2016

Dalhousie University / St. Mary's University, Halifax, August 7 - 13, 2016

The International Category Theory Conference (CT) covers all areas of pure and applied category theory. Topics of interest include, but are not limited to: higher dimensional categories, categorical logic, applications of categories in algebra, topology, combinatorics, and other areas of mathematics, applications of category theory to computer science, physics and other mathematical sciences. All those interested in category theory and its applications are welcome.

This year, the meeting took place immediately following the AARMS summer school at Dalhousie University, which features, among other things, a course on higher category theory and categorical logic.

Previous meetings in this series were held in Aveiro, Portugal (2015), Cambridge, UK (2014), Macquarie, Australia (2013), Vancouver, Canada (2011), Genova, Italy (2010), Cape Town, South Africa (2009), Calais, France (2008), Carvoeiro, Portugal (2007), White Point, Canada (2006), Vancouver, Canada (2004), Como, Italy (2000), Coimbra, Portugal (1999), Vancouver, Canada (1997), Halifax, Canada (1995), Tours, France (1994), Isle of Thorns, United Kingdom (1992), Montreal, Canada (1991), Como, Italy (1990), Bangor, United Kingdom (1989); Louvain-la-Neuve, Belgium (1987).

Invited Speakers

The conference featured invited lectures by the following people:
  • John Bourke (Masaryk University)
  • Nicola Gambino (University of Leeds)
  • André Joyal (Université de Quebec à Montréal)
  • Dorette Pronk (Dalhousie University)
  • Catharina Stroppel (University of Bonn)
  • Dominic Verity (Macquarie University)


Registration fees ( before tax ) for the meeting are as follows:
  • $300 - regular, early registration (before June 1)
  • $350 - regular, late registration (after June 1)
  • $150 - reduced (students, postdocs, and researchers without grant)
Registration is now closed, given that the conference has ended.

Student Support

The deadline for applications for student support was on May 15, 2016. Those who applied will be informed shortly about the funding they will receive.

Accommodations, Maps, Directions

The Local Information page contains information on the location of the conference, accommodations, and directions. On this page you will also find information on the Welcome Reception and the Excursion .

Contributed Talks

Participants are encouraged to submit an abstract for a contributed talk to the scientific committee. The abstract submission page contains detailed instructions. The deadline for abstract submissions has passed.


The CT 2016 conference is partly made possible by financial support from the following organizations.
  • The Atlantic Association for Research in the Mathematical Sciences (AARMS).
  • Dalhousie University, President's Office
  • Dalhousie University, Faculty of Science
  • Dalhousie University, Department of Mathematics and Statistics
  • St. Mary's University, Office of the Vice-President Academic
  • St. Mary's University, Faculty of Science
  • St. Mary's University, Faculty of Graduate Studies


For further information, please contact the organizers.

Richard Blute (University of Ottawa)
Robin Cockett (University of Calgary)
Robert Dawson (Saint Mary's University, Halifax)
Pieter Hofstra (University of Ottawa)
Dorette Pronk (Dalhousie University, Halifax)


Invited Speakers:
John Bourke (Masaryk University)
Nicola Gambino (Leeds)
André Joyal (UQAM)
Dorette Pronk
Catharina Stroppel (Universitaet Bonn)
Dominic Verity (Macquarie)

Scientific Committee:
Marino Gran
Pieter Hofstra
Joachim Kock
Steve Lack (Chair)
Tom Leinster
Susan Niefield
Emily Riehl
Giuseppe Rosolini

Richard Blute
Robin Cockett
Pieter Hofstra (chair)
Robert Dawson
Dorette Pronk

Slides of some of the talks
Pictures of the meeting taken by Pierre Cagne
Local Information
Program and Abstracts
Registered Participants

Important Deadlines:
May 15: Student support
June 1: Early registration ends
June 9: Abstract submission deadline
July 11: Notification



Last updated: August 15, 2016 by Pieter Hofstra