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:

  • 15th International Conference on Quantum Physics and Logic (QPL 2018). Halifax, June 3–7, 2018.
  • 34th International Conference on Mathematical Foundations of Programming Semantics (MFPS 2018). Halifax, June 6–9, 2018.
  • Dagstuhl Seminar on Quantum Programming Languages. Dagstuhl, Germany, September 16–21, 2018

Past events:


  Margaret Beattie (Mount Allison)
Geoff Cruttwell (Mount Allison)
Robert Dawson (Saint Mary's)
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:

  Marzieh Bayeh (Dalhousie)
Alexis Bernadet (Dalhousie)
Frank Fu (Dalhousie)
Kohei Kishida (Dalhousie)
Rory Lucyshyn-Wright (Mount Allison)

Ph.D. Students:

  Evangelia Aleiferi (Dalhousie)
Xiaoning Bian (Dalhousie)
Darien DeWolf (Dalhousie)
Michael Lambert (Dalhousie)
Francisco Rios (Dalhousie)
Alanod Sibih (Dalhousie)

Research Associates:

  Jeff Egger
Gabor Lukacs

Former Members:

  Alexander Green
Seth Greylyn
Peter LeFanu Lumsdaine
Octavio Malherbe
Micah McCurdy
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