2007 Auscat titles

17th January 2007 at Macquarie

• Another category of G-sets
  Ross Street

• Doubles for monoidal categories
  Ross Stret

24th January 2007 at Macquarie

• A polytopic approach to (fairly) general infinity-computads, III.
  Thorsten Palm

• Nuclei, bits and pieces
  Alexei Davydov

14th February 2007 at Macquarie

• A polytopic approach to (fairly) general infinity-computads, IV.
  Thorsten Palm

• Nerves and parametric right adjoints
  Mark Weber

21st Februrary 2007 at Macquarie

• Concurrency and n-categories
  Discussion led by Mike Johnson, Jon Cohen, Rob van Glabbeek, and Richard Buckland

28th February 2007 at Macquarie

• Notions of Lawvere theory
  Steve Lack

• Nerves and parametric right adjoints II
  Mark Weber

7th March 2007 at Macquarie

• Small CW-models for Eilenberg-MacLane spaces
  Clemens Berger

• Tannaka duality for comodules over a Hopf algebra
  Steve Bennoun

14th March 2007 at Macquarie

• The category of Chu spaces
  Rob van Glabbeek

• A polytopic approach to (fairly) general infinity-computads V
  Thorsten Palm

28th March 2007 at Macquarie

• Model structures on the category of double categories, part I
  Simona Paoli

4th April 2007 at Macquarie

• Density presentations
  Steve Lack

• Hopf-Galois objects and quantum torsors
  Craig Pastro

11th April 2007 at Macquarie

• A model structure whose fibrant objects are internal quasi-categories
  Dominic Verity

• On the existence of fibre functors
  Dmitri Chikhladze

18th April 2007 at Macquarie

• A model structure whose fibrant objects are internal quasi-categories II
  Dominic Verity

• Dijkgraaf-Witten topological field theory
  Alexei Davydov

2nd May 2007 at Macquarie

• Comonads and *-autonomy
  Ross Street

• A model structure whose fibrant objects are internal quasi-categories III
  Dominic Verity

9th May 2007 at Macquarie

• Computational coherence
  Jon Cohen

• Hom lifting
  Ross Street

16th May 2007 at Macquarie

• Computational coherence (cont.)
  Jon Cohen

• Slicing sites as categories with left-fastidious factorization systems
  Thorsten Palm

23rd May 2007 at Macquarie

• Computational coherence (cont.²)
  Jon Cohen

• Mathematical applications of category theory in synthetic calculus of variations
  Vafa Khalighi

• Slicing sites as categories with left-fastidious factorization systems (cont.)
  Thorsten Palm

18th July 2007 at Macquarie

• Fusion rule of modular invariants for simple current CFT
  Alexei Davydov

• Translation groupoids and orbifold Bredon cohomology
  Dorette Pronk

8th August 2007 at Macquarie

• Barr's theorem for monoidal V-enriched categories
  Dmitri Chikhladze

• More work based on Tabara's
  Ross Street

15th August 2007 at Macquarie

• Higher operad algebras as enriched categories
  Mark Weber

• Fine tuning on last week's talk
  Ross Street

22nd August 2007 at Macquarie

• Higher operad algebras as enriched categories II
  Mark Weber

• Two or three views on database views
  Bob Rosebrugh

29th August 2007 at Macquarie

• Higher operad algebras as enriched categories III
  Mark Weber

• Localizations; centres and doubles
  Ross Street

19th September 2007 at Sydney

• Towards a coherence theorem for weak complicial sets
  Dominic Verity

26th September 2007 at Sydney

• Towards a coherence theorem for weak complicial sets II
  Dominic Verity

17th October 2007 at Macquarie

• A-infinity structures in group cohomology
  Mikael Vejdomo Johansson

24th October 2007 at Macquarie

• Compactly generated homotopy categories and Grothendieck duality
  Daniel Murfet

• Coherence and canonical isomorphisms in tensor categories
  Micah McCurdy

31st October 2007 at Macquarie

• Generalized Brown representability
  Jiri Rosicky

• Hopf monads on categories
  Robert Wisbauer

7th November 2007 at Macquarie

• Cocrossed cosimplicial groups and the Deligne conjecture
  Michael Batanin

• Model structures on double categories, part II
  Simona Paoli

21st November 2007 at Macquarie

• Homotopy accessible categories
  Jiri Rosicky

• Model structures on double categories, part III
  Simona Paoli

28th November 2007 at Macquarie

• Coherent presentations of structural monoids
  Jonathan Cohen