Australian Category Seminar

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