Australian Category Seminar

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