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:

  • 26th Workshop on Foundational Methods in Computer Science (FMCS 2018). Mount Allison University, May 31June 2, 2018.
  • 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)
Rory Lucyshyn-Wright (Mount Allison)
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)
Frank Fu (Dalhousie)
Kohei Kishida (Dalhousie)

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:

  Alexis Bernadet
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