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:
Upcoming events:
 26th Workshop on Foundational Methods in Computer
Science (FMCS 2018). Mount Allison
University, May 31–June 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:
 International
Conference on Category Theory (CT
2016). Halifax, August 7–13, 2016.
 2016 AARMS summer school. Halifax, July 11 – August 5, 2016.
 13th International
Conference on Quantum Physics and Logic (QPL 2016). Glasgow,
June 6–10, 2016.
 Workshop
on Quantum Computer Science. Banff International Research
Station, Alberta, Canada, April 17–22, 2016.
 12th International
Workshop on Quantum Physics and Logic (QPL 2015). Oxford,
July 15–17, 2015.
 Workshop
on Quantum Programming and Circuits. Waterloo, June
8–11, 2015.
 Fall
Eastern Sectional Meeting of the American Mathematical
Society, Session
on "New
Directions in Category Theory", and Session
on "Hopf
Algebras", Halifax, October 18–19, 2014.
 11th
International Workshop on Quantum Physics and Logic (QPL
2014). Kyoto, June 4–6, 2014.
 10th International Workshop on
Quantum Physics and Logic (QPL 2013). Barcelona,
July 17–19, 2013.
 CMS Summer
Meeting 2013, Session on "Hopf Algebras and Tensor
Categories", and Session on "Progress in Higher Categories",
Halifax, June 4–7, 2013.
 21st
Workshop on Foundational Methods in Computer
Science (FMCS 2013). Mount Allison
University, May 31–June 3,
2013
 9th
International Workshop on Quantum Physics and
Logic (QPL 2012). Brussels, October
10–12, 2012.
 20th
Workshop on Foundational Methods in Computer
Science (FMCS 2012), Halifax, Canada, June
2012.
 Logic and Interaction Weeks
2012, CIRM, Marseille, France, Jan 30 – Mar 16, 2012.
 8th International Workshop
on Quantum Physics and Logic (QPL
2011). Nijmegen, October 27–29, 2011.
 Category
Theory "Octoberfest" Workshop, Oct 23–24, 2010,
Halifax.
 International
Conference on Category Theory (CT
2010), June 20–26, 2010.
 CMS Summer
Meeting 2010, Session on Tensor Categories,
Fredericton, June 4–6, 2010.
 7th
International Workshop on Quantum Physics and
Logic (QPL 2010), May 29–30, 2010,
Oxford.
 Mathematical
Foundations of Programming Semantics (MFPS
2010), May 6–10, 2010.
 Foundational
Methods in Computer Science (FMCS'08),
2008.

International Category Theory Conference (CT
2006), June 25 – July 1, 2006.




Faculty:
Postdoctoral Researchers:
Ph.D. Students:

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

Research Associates:
Former Members:
