Australian Category Seminar

About Recent Past Speakers
Here is a list of all talks by Michael Johnson at the Australian Category Seminar.
2023
  • 1 March
    no title (abs)
  • 27 September
    Theories, classical and uncomplemented (abs)
2020
  • 12 Feburary
    Lenses, learners, and on the benefits of having one good leg (abs)
  • 26 Feburary
    Multicategories of multilenses (and some more about one good leg) (abs)
2013
  • 6 March
    Coherence geometrically: Thoughts on last week's talks
2011
  • 2 Feburary
    Some unexpectedly algebraic coalgebras
2010
  • 3 March
    States as functors, and universal updates
  • 10 March
    Lenses and Universal Updates
2006
  • 8 March
    Higher icons
  • 15 March
    Constant complements, reversibility and universal view updates
2002
  • 3 July
    On the polarized products of Cockett and Seeley
2001
  • 23 May
    Half-duplex interoperations from cartesian arrows
2000
  • 25 October
    A universal solution to the view update problem
  • 15 November
    Elementary insertions and Kan extensions
1998
  • 24 June
    Travel report
1997
  • 29 January
    Prototypic weak interactive categories
  • 14 May
    Categorical consultancy and finite cocompleteness
1996
  • 20 November
    Unity and synthesis in higher dimensional category theory (abs)
1986
  • 5 Feburary
    Many-sorted theories derived from not-so-many-sorted theories (abs)
  • 2 April
    Many Sorted Algebras and the Moore Construction (abs)
  • 11 June
    Well-formed simplicial sets (abs)