Xiaoning Bian is a PhD student in Mathematics at Dalhousie University, where he works under the supervision of Peter Selinger. He is interested in mathematical logic and category theory, and their applications to theoretical computer science.