Craig Pastro
Here is a list of talks given by Craig Pastro at the Australian Category Seminar. Click on the title of a talk for an abstract.
- Frobenius monoidal functors – 6 February 2008
- Hopf-Galois objects and quantum torsors – 4 April 2007
- The logic of message passing (joint with Robin Cockett) – 13 September 2006
- Proofs as processes, and finite product and coproduct completions – 6 September 2006
- From Frobenius monoids to Hopf algebroids – 8 March 2006