Mike Johnson
Here is a list of talks given by Mike Johnson at the Australian Category Seminar. Click on the title of a talk for an abstract.
- Multicategories of multilenses (and some more about one good leg) – 26 February 2020
- Lenses, learners, and on the benefits of having one good leg – 12 February 2020
- Coherence geometrically: Thoughts on last week's talks – 6 March 2013
- Some unexpectedly algebraic coalgebras – 2 February 2011
- Lenses and Universal Updates – 10 March 2010
- States as functors, and universal updates – 3 March 2010
- Constant complements, reversibility and universal view updates – 15 March 2006
- Higher icons – 8 March 2006
- On the polarized products of Cockett and Seeley – 3 July 2002
- Half-duplex interoperations from cartesian arrows – 23 May 2001
- Elementary insertions and Kan extensions – 15 November 2000
- A universal solution to the view update problem – 25 October 2000
- Travel report – 24 June 1998
- Categorical consultancy and finite cocompleteness – 14 May 1997
- Prototypic weak interactive categories – 29 January 1997
- Unity and synthesis in higher dimensional category theory – 20 November 1996