556 reputation
bio website cs.mcgill.ca/~bsprot1
location Ottawa
visits member for 3 years, 11 months
seen 2 days ago

In 2004 I graduated from Waterloo where I was a member of the Perimeter Institute and worked with Lucien Hardy on a problem in quantum automata theory. I then started reading Baez, Coecke and Isham and decided I wanted to do category theory. In 2008 I started at McGill where I was a research assistant to Dr Panangaden and worked on both categorical quantum mechanics and the quantum causal dynamics. Now I am attempting to provide novel uses of the theory of categories for physics and economics. Also, I am interested in the concept of "idealization of structure" where compact elements in a collection of categories express this. I have several posts at the nforum where I talk about more pure mathematical ideas.