2001 Seminars

24th January 2001 at Peace Park

• Extraordinary stuff for the antipodes
  Ross Street

• Feynmann diagrams, Euler characteristics, decategorification, and mobs (cont.)
  James Dolan

31st January 2001 at Peace Park

• New PROPS and 2-PROPS
  Ross Street

• A tentative consideration of clubs based on cospans
  Max Kelly

7th February 2001 at Macquarie

• K-theory of braided categories; Gerstenhaber and Batalin-Vilkovisky algebras
  Alexei Davydov

• Feynman diagrams, Euler characteristics, decategorification, and mobs (cont.)
  James Dolan

14th February 2001 at Sydney

• Wigner's Dream, Feynman's Reality
  William Joyce

• Autonomous monoidal functors and their categorification
  Ross Street

21st February 2001 at Macquarie

• Natural associativity without the pentagon condition II
  William Joyce

• K-theory and localisation for non-commutative rings
  Amnon Neeman (neeman@maths.anu.edu.au)

7th March 2001 at Macquarie

• Twisting of monoidal structures
  Alexei Davydov

• V-Cat is nice when V is
  Steve Lack

14th March 2001 at Sydney

• Generic morphisms
  Mark Weber

• More on autonomous pseudomonoids
  Ross Street

21st March 2001 at Macquarie

• Generic morphisms (cont.)
  Mark Weber

• On the Pénon method of weakening algebraic structures
  Michael Batanin

4th April 2001 at Macquarie

• Suspending globular monads
  Mark Weber

• Free cartesian closed categories and games
  James Dolan

11th April 2001 at Sydney

• Comments on free bicompletions
  Max Kelly

• Clubs as operads
  Mark Weber

2nd May 2001 at Macquarie

• Lax monoids and convolutions
  Ross Street

• The new Barr preprint on derived functors without projectives
  Max Kelly

16th May 2001 at Macquarie

• A Quillen model structure for 2-categories
  Steve Lack

• Free cartesian closed categories and games, cont.
  James Dolan

23rd May 2001 at Sydney

• Modelling sketches and ERA models
  Bob Rosebrugh

• Half-duplex interoperations from cartesian arrows
  Mike Johnson

6th June 2001 at Sydney

• Bisimulation and compositional minimization
  Bob Rosebrugh

• Homology of associative algebras: Hochschild, Gerstenhaber, Deligne,
  Kontsevich ...
  Alexei Davydov

20th June 2001 at Sydney

• Higher dimensional homotopical algebra and Deligne's conjecture
  Michael Batanin

• Picard categories and Poincaré duality for curves with continuous coefficients
  Joost van Hamel (vanhamel@maths.usyd.edu.au

27th June 2001 at Macquarie

• Constructive Galois toposes
  Marta Bunge

• The Racah-Wigner calculus, Feynman diagrams and symmetric premonoidal categories
  William Joyce

4th July 2001 at Sydney

• A monadicity theorem for distribution algebras
  Marta Bunge

• Symmetric spectra
  Steve Lack

11th July 2001 at Macquarie

• Contractible multitensors of higher dimensional structures
  Michael Batanin

• Application of category theory to information systems design
  Robert Colomb

18th July 2001 at Sydney

• Aspects of the symmetric topos
  Marta Bunge

• 1-operads versus nonsymmetric operads: two universal examples
  Michael Batanin

1st August 2001 at Sydney

• Spreads and their completions
  Marta Bunge

• Limits for partial map categories
  Steve Lack

8th August 2001 at Macquarie

• Workshop (including talks by Kelly, Lack, and Street)

5th September 2001 at Macquarie

• Path-linearizable categories
  Marta Bunge

• Weak omega-categories
  Ross Street

12th September 2001 at Macquarie

• L'
  Ross Street

• A comparison theorem for two types of single universes
  Marta Bunge

26th September 2001 at Sydney

• Associative centres of incoherent monoidal categories
  Alexei Davydov

• A Quillen model structure for V-categories
  Steve Lack

10th October 2001 at Sydney

• A cartesian closed category of games and take-back strategies
  Daniel Steffen

• The fundamental group of a (universal) branched covering in topos theory
  Marta Bunge

17th October 2001 at Macquarie

• A cartesian closed category of games and take-back strategies, cont.
  Daniel Steffen

• More on lax monoids
  Ross Street

31st October 2001 at Macquarie

• Some remarks on semi-abelian categories
  George Janelidze

• On higher products
  Alexei Davydov

7th November 2001 at Sydney

• Roots of unity as a Lie algebra
  Ross Street

• Extensivity for 2-categories
  Steve Lack

14th November 2001 at Macquarie

• A van Kampen theorem for toposes
  Steve Lack

• Locally path simply connected toposes and their fundamental groupoids
  Marta Bunge

28th November 2001 at Macquarie

• Some remarks on semi-abelian categories II
  George Janelidze

• Why local boundedness is a useful notion
  Max Kelly

5th December 2001 at Sydney

• Minimal bicompletion of a category
  Dusko Pavlovic

• A category-theoretic approach to social network analysis
  Tony Dekker

12th December 2001 at Macquarie

• Abstract commutative algebra I: Associativity of tensor (=co-smash) products
  George Janelidze

• Abstract commutative algebra II: Exactness properties
  George Janelidze

19th December 2001 at Sydney

• Computads, Eckmann-Hilton argument and operadic suspension
  Michael Batanin

• A complicated proof of a simple fact:
  An undergraduate introduction to rewriting systems
  Aurelio Carboni