Australian Category Seminar

Talks by Craig Pastro

• Frobenius monoidal functors (6/2/08)
  
• Hopf-Galois objects and quantum torsors (11/4/07)
  
• The logic of message passing (13/09/06)
  
• Proofs as processes, and finite product and coproduct completions (06/09/06)
  
• From Frobenius monoids to Hopf algebroids (7/3/06)
  

Back to Australian Category Seminar page.