Bob Rosebrugh
Here is a list of talks given by Bob Rosebrugh at the Australian Category Seminar. Click on the title of a talk for an abstract.
- Symmetric lenses, cospans and universality – 8 November 2017
- A distributive law for universal insertion and deletion – 17 August 2011
- Fibrations and universal translations – 18 August 2010
- Algebras and view updates – 11 March 2009
- EASIK: Database design and manipulation implemented categorically – 25 February 2009
- Two or three views on database views – 22 August 2007
- Constant complements, reversibility and universal view updates II – 29 March 2006
- Sketches, databases and incomplete information – 25 August 2004
- Coherence requirements for pseudo-algebras for the 2-monad (-)^2 on CAT – 20 March 2002
- Bisimulation and compositional minimization – 6 June 2001
- Modelling sketches and ERA models – 23 May 2001
- The distributive law for complete distributivity – 3 March 1999
- Spans, trees and minimal realization – 10 February 1999