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: Upcoming events: Mini-course on GAP. Speaker: Leandro Vendramin. Memorial University and Dalhousie, January 13–17, 2020. Past events: Science Atlantic Conference for Mathematics, Statistics and Computer Science (Science Atlantic 2019). Dalhousie, October 25–27, 2019. 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 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:   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

Updated Sept 1, 2016 by Peter Selinger