The 2017-2018 fall term
as of October 19, 2017
October 24, 2017
Darien DeWolf (Saint Francis-Xavier) Restriction bicategories: two approaches
Abstract: In this talk, I will introduce restriction bicategories: intuitively, a restriction bicategory is a bicategory B equipped with a family of functors r : B(A,B) --> B(A,A) which encode partiality in a way reminiscent of Cockett and Lack's restriction categories. Motivating this definition is the ``restriction bicategory'' of restriction bimodules.
Two approaches to defining such structures will be discussed:
(i) Cockett's approach has each restriction idempotent r(f) come with a monic r(f) --> dom(f).
(ii) The approach taken in my thesis is more general in that it does not require these monics. Each approach has both merit and drawbacks, which will also be discussed.
October 31, 2017
Julien Ross (Dalhousie), Quantum magic games
November 7, 2017 - Fall study break
November 14, 2017
Francisco Rios (Dalhousie), TBA
November 21, 2017
Marzieh Bayeh (Dalhousie), TBA
November 28, 2017
Michael Lambert (Dalhousie), TBA