Here are the videos and lecture notes for my reading course on monoidal category theory
Lecture 1 video, Lecture 1 notes.
Lecture 2 video, Lecture 2 notes.
Lecture 3 video, Lecture 3 notes.
Lecture 4 video, Lecture 4 notes.
Lecture 5 video, Lecture 5 notes.
Lecture 7 video, Lecture 7 notes.
Lecture 8 video, Lecture 8 notes.
Lecture 9 video, Lecture 9 notes.
Lecture 10 video, Lecture 10 notes.
Lecture 11 video, Lecture 11 notes.
Lecture 12 video, Lecture 12 notes.
Lecture 13 video, Lecture 13 notes.
Lecture 14 video, Lecture 14 notes.
Lecture 15 video, Lecture 15 notes.
Lecture 16 video, Lecture 16 notes.
Lecture 17 video, Lecture 17 notes.
Lecture 18 video, Lecture 18 notes.
Facts about me: >
The Ottawa Logic And Foundations Of Computing Group is hosting The 28th Foundational Methods in Computer Science Workshop. The website can be found here..
My primary research areas are:
In February 2015, I spoke at the Fields Institute Workshop on Recent Developments in Quantum Groups, Operator Algebras and Applications. The talk was on Hopf algebras and the Logic of Tensor Categories. It was an expository talk on categorical logic and how Hopf algebras can be used to model variants of noncommutative linear logic. Here are the slides.
In Summer 2014, I spoke at the Institut Henri Poincare in the Workshop on Semantics of Proofs and Programs. The talk was on Derivations In Codifferential Categories. It was joint work with Rory Lucyshyn-Wright and Keith O'Neill. Here are the slides.
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
Since the emphasis was different in all 3, I include the slides of each:
More recently, I spoke about
In Summer 2009, I spoke at the conference Categories, Quanta, Concepts (CQC) at the Perimeter Institute. Video of
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.