Category Theory Research Centre in Montreal.
Association of Professors of The University of Ottawa
Evan Parker, Anthony Braxton, Marilyn Crispell and Mats Gustaffson.
The course website for MATH 1300 is here.
My primary research areas are:
- Linear logic, most recently differential linear logic
- Categorical Logic and proof theory
- Category theory, especially monoidal categories
- Applications of category theory to physics
Talks:
I spoke at the Logic And Interactions Workshop at Luminy on Homological Algebra and Differential Linear Logic. Here are the slides.
I spoke at four conferences in 2011. The first three talks were about differential structure in the category
of convenient vector spaces. This was joint work with Thomas Ehrhard and Christine Tasson.
Since the emphasis was different in all 3, I include the slides of each:
- I spoke at the final meeting of CHOCO. Here are the slides
- I spoke at the Union College Math Conference (my Alma Mater!). Here are the slides.
- I spoke at the Foundational Methods in Computer Science conference. Here are the slides.
More recently, I spoke about
joint work with Marc Comeau, one of my graduate students. Here are the slides.
In Summer 2009, I spoke at the conference Categories, Quanta, Concepts (CQC) at the Perimeter Institute. Video of
the talk can be seen here.
Here is a list of my publications, together with some links.
I am currently accepting graduate students. Here are some ideas for possible projects a grad student could work on.
For any questions or comments contact rblute at uottawa dot ca.