1999 Seminars

13th January 1999 at Macquarie

• Some toposes of spaces
  Michael Roy (mroy@math.mq.edu.au)

• Cohomology of groups
  Ross Street

27th January 1999 at Macquarie

• Some toposes of spaces (cont.)
  Michael Roy (mroy@math.mq.edu.au)

• On the monadicity of enriched categories with chosen colimits
  Steve Lack

3rd February 1999 at Sydney

• Single-space homology axioms
  Max Kelly

10th February 1999 at Macquarie

• The use of the pseudo-limit of an arrow in simplifying
  the work on monadicity of Steve Lack and GMK
  Max Kelly

• Spans, trees and minimal realization
  Bob Rosebrugh

17th February 1999 at Sydney

• Discussion on 4-teisi
  Michael Batanin and André Joyal

24th February 1999 at Macquarie

• CT for IS - How CT enlivens a body of knowledge
  Kit Dampney (cdampney@ics.mq.edu.au)

• A sheaf model of quantum mechanics
  John Corbett (jvc@math.mq.edu.au)

3rd March 1999 at Sydney

• Machiavellian games
  Daniel Ford

• The distributive law for complete distributivity
  Bob Rosebrugh

10th March 1999 at Macquarie

• Quantum automorphism groups of finite graphs
  Julien Bichon

• Informal discussion on homotopy 4-types
  Michael Batanin

24th March 1999 at Macquarie

• Galois reconstruction of finite quantum groups
  Julien Bichon

• Objects in two categories and monoidal closed structures
  Max Kelly

31st March 1999 at Sydney

• Least and greatest fixpoints in games,
  least and greatest fixpoints as games
  Luigi Santocanale

• Second meditation on pseudomonads
  Steve Lack

14th April 1999 at Sydney

• The $\mu$-lattice $J(P)$
  Luigi Santocanale

21st April 1999 at Macquarie

• Some happy new insights into base-change for categories enriched over bicategories
  Max Kelly

• Categories enriched on two sides
  Ross Street

5th May 1999 at Macquarie

• *-Autonomous convolution
  Brian Day

• Introduction to Quillen model structures
  André Joyal

12th May 1999 at Sydney

• Quillen model structures
  André Joyal

19th May 1999 at Macquarie

• Quillen model structures
  André Joyal

• Cooperative games, permutoresultohedra and 4-D coherence
  Michael Batanin

26th May 1999 at Sydney

• Short course on simplicial homotopy theory (lecture 3)
  Myles Tierney

• When do completion processes give rise to extensive categories?
  Steve Lack

2nd June 1999 at Macquarie

• Simplicial homotopy theory (lecture 4)
  Myles Tierney

• Coherence for representable multicategories
  Claudio Hermida

9th June 1999 at Sydney

• Short course on simplicial homotopy theory (lecture 5)
  Myles Tierney

• When circular proofs are good proofs
  Luigi Santocanale

16th June 1999 at Macquarie

• Simplicial homotopy theory (lecture 6)
  Myles Tierney

• Hochschild homology classes of fusion algebras
  Alexei Davydov

23rd June 1999 at Sydney

• A new model structure for simplicial sets
  André Joyal

• The formal theory of monads revisited
  Ross Street

18th August 1999 at Sydney

• Selecting without comparing: A small theorem in linear algebra and its abstract implementation using the bicategory Span(RGraph)
  Adriano Scutellà (adriscu@yahoo.it)

• The role in theoretical physics of the category of complete semilattices
  Isar Stubbe (i.stubbe@agel.ucl.ac.be)

25th August 1999 at Macquarie

• On regular presheaves and regular graphs
  Marie-Anne Moens (m.moens@agel.ucl.ac.be)

• Oh no! Not even weaker 3-categories!
  Ross Street

1st September 1999 at Sydney

• Azumaya graphs
  Marie-Anne Moens (m.moens@agel.ucl.ac.be)

• Pseudo-actions of braid monoids (d'après Deligne)
  Steve Lack

8th September 1999 at Macquarie

• Modular categories after Turaev
  Daniel Steffen

• Cohomology with coefficients in a category
  Ross Street

15th September 1999 at Sydney

• Modular categories after Turaev II:
  Invariants of 3-manifolds & the skein category
  Daniel Steffen

• More on contractilbe presentations
  Steve Lack

22nd September 1999 at Macquarie

• Non-permutative operads in a presheaf topos
  Mark Weber

• Pénon's 5-minute definition of weak omega-category
  Michael Batanin

29th September 1999 at Sydney

• Non-permutative operads in a presheaf topos (cont.)
  Mark Weber

• On proving the faithfulness of monad-morphisms
  Max Kelly

13th October 1999 at Sydney

• Classification of compact ringed spaces using sheaf representations
  Sun Shu-Hao

• Further thoughts on comparing monads
  Max Kelly

20th October 1999 at Macquarie

• Classification of compact ringed spaces using sheaf representations II
  Sun Shu-Hao

• Local smallness of cocompletions
  Jiri Velebil

27th October 1999 at Sydney

• When small limits of small functors are small
  Steve Lack

• From modules to accessible functors
  Ross Street

10th November 1999 at Sydney

• Finite preorders and topological descent (joint work with Manuela Sobral)
  George Janelidze

• Thoughts on transport of structure for 2-monads
  Max Kelly

17th November 1999 at Macquarie

• Non-permutative operads in a presheaf topos II
  Mark Weber

• An extension of Grothendieck's semidirect/wreath product construction arising from enriched category theory
  Ross Street

24th November 1999 at Sydney

• Internal crossed modules
  George Janelidze

• Non-permutative operads in a presheaf topos II (cont.)
  Mark Weber

1st December 1999 at Macquarie

• Constructing braided monoidal categories from infinitesimal data
  Christian Kassel

• Internal crossed modules II
  George Janelidze

9th December 1999 at Sydney

• Completion of braided monoidal categories and action of the Grothendieck-Teichmüller group
  Christian Kassel

• Central extensions in universal algebra
  George Janelidze

15th December 1999 at Macquarie

• Dehornoy's linear ordering on braids
  Christian Kassel

• Strongly separable morphisms
  George Janelidze