[Logo]

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.

Applications

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

Seminar

The group meets weekly in the Atlantic Category Theory Seminar.

Conferences

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

Past events:

Faculty:

  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)
Peter Selinger (Dalhousie)
Richard Wood (Dalhousie)

Postdoctoral Researchers:

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

Visitors:

  Adam Bene Watts (McGill)

Former Members:

  Alexander Green
Seth Greylyn
Peter LeFanu Lumsdaine
Octavio Malherbe
Micah McCurdy
Julien Ross
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 Sep 5, 2013 by Peter Selinger