Atlantic Category Theory Group
Halifax, Canada

The Atlantic Category Theory Group is an interdisciplinary research group composed of faculty, postdocs, and graduate students at Dalhousie University, Saint Mary's University, and Mount Allison University.

Research Interests

Our research interests focus on pure and applied category theory, including double categories, bicategories, enriched categories, higher dimensional category theory, adjunctions, categorical lattice theory, complete distributivity, Hopf algebras, homological algebra, operator theory, categorical logic, the mathematical foundations of computer science, the semantics of programming languages, models of quantum computing, computational category theory, constructive mathematics, topos theory, and the categorical theory of database systems. To find out about the interests of individual faculty members, you can follow the links to their home pages.


We welcome applications from prospective graduate students and/or postdoctoral researchers. Please contact the individual faculty members for more information.


The group meets weekly in the Atlantic Category Theory Seminar.


The group or its members were involved in organizing the following events:

Upcoming events:

  • Mini-course on GAP. Speaker: Leandro Vendramin. Memorial University and Dalhousie, January 13–17, 2020.

Past events:


  Margaret Beattie (Mount Allison)
Geoff Cruttwell (Mount Allison)
Robert Dawson (Saint Mary's)
Darien DeWolf (St. Francis Xavier)
Toby Kenney (Dalhousie)
Mitja Mastnak (Saint Mary's)
Bob Paré (Dalhousie)
Dorette Pronk (Dalhousie)
Bob Rosebrugh (Mount Allison)
Julien Ross (Dalhousie)
Peter Selinger (Dalhousie)
Richard Wood (Dalhousie)

Postdoctoral Researchers:

  Matthew Amy (Dalhousie)
Frank Fu (Dalhousie)
Jonathan Gallagher (Dalhousie)
Martin Szyld (Dalhousie)

Graduate Students:

  Catherine Antwi (Dalhousie)
Fahimeh Bayeh (Dalhousie)
Xiaoning Bian (Dalhousie)
Justin Makary (Dalhousie)
Ravi Rai (Dalhousie)
Francisco Rios (Dalhousie)

Undergraduate Students:

  Owen Bennett-Gibbs (Dalhousie)
Sarah Li (Dalhousie)
Aeriana Narbonne (Dalhousie)

Research Associates:

  Jeff Egger
Gabor Lukacs

Former Members:

  Evangelia Aleiferi
Marzieh Bayeh
Alexis Bernadet
Alexander Green
Seth Greylyn
Kohei Kishida
Michael Lambert
Rory Lucyshyn-Wright
Peter LeFanu Lumsdaine
Octavio Malherbe
Micah McCurdy
Alanod Sibih
Benoît Valiron
Michael A. Warren

Atlantic Category Theory Group
Department of Mathematics and Statistics, Dalhousie University, Halifax
Department of Mathematics and Computing Science, Saint Mary's University, Halifax
Department of Mathematics and Computer Science, Mount Allison University, Sackville

Updated Sept 1, 2016 by Peter Selinger