Australian Category Seminar

Talks by Mike Johnson

• Constant complements, reversibility and universal view updates (15/3/06)
  
• Higher icons (8/3/06)
  
• On the polarized products of Cockett and Seeley (3/7/02)
  
• Half-duplex interoperations from cartesian arrows (23/5/01)
  
• Elementary insertions and Kan extensions (15/11/00)
  
• A universal solution to the view update problem (25/10/00)
  
• Travel report (24/6/98)
  
• Categorical consultancy and finite cocompleteness (14/5/97)
  
• Prototypic weak interactive categories (29/1/97)
  
• Unity and synthesis in higher dimensional category theory (20/11/96)
  

Back to Australian Category Seminar page.