2002 Seminars

23rd January 2002 at Macquarie

• Algebraic foundations for higraphs and statecharts
  Konstantinos Tourlas

• Operadic suspension and n-fold lax monoidal categories
  Michael Batanin

6th February 2002 at Macquarie

• Homological algebra in monoidal categories
  Alexei Davydov

• Operadic suspension, n-operads and symmetric operads
  Michael Batanin

13th February 2002 at Sydney

• Homological algebra in monoidal categories (cont.)
  Alexei Davydov

• Homotopy theory in 2-categories; homotopy theory of 2-monads
  Steve Lack

20th February 2002 at Macquarie

• Iterated smash product, associativity, and related questions
  George Janelidze

• Remarks on the simplicial categories
  Ross Street

6th March 2002 at Macquarie

• Some internal categorical structures
  George Janelidze

• Combinatorics of internal n-operads
  Michael Batanin

13th March 2002 at Sydney

• Poly-categories via spans and monads
  Jürgen Koslowski

• Some internal categorical structures II
  George Janelidze

20th March 2002 at Macquarie

• Coherence requirements for pseudo-algebras for the 2-monad (-)² on CAT
  Bob Rosebrugh

• An adjunction in the context of monoidal categories
  Max Kelly

27th March 2002 at Sydney

• The monotone-light factorization for categories via orders and preorders: work of J.J.Xarez
  George Janelidze

• Distributing with the monoid monad
  Mark Weber

17th April 2002 at Macquarie

• The real van Kampen theorem for toposes
  Steve Lack

• Roots of unity as a Lie algebra II
  Ross Street

1st May 2002 at Macquarie

• Tensor product and structural theory in functor context
  Yefim Katsov

15th May 2002 at Macquarie

• The 2-category of D-algebras, lax morphisms, and modifications: some of its properties established in Blackwell's 1976 thesis, but now provided with elementary proofs replacing the use of Gray's op-quasi-adjunctions
  Max Kelly

• Homological algebra in monoidal categories II. Deformation theory
  Alexei Davydov

22nd May 2002 at Sydney

• Limits in the category of algebras and lax morphisms
  Max Kelly

• Partial functions, matrices, and extensivity
  Steve Lack

12th June 2002 at Macquarie

• Modules for substitudes
  Ross Street

• Q_n operads
  Michael Batanin

19th June 2002 at Sydney

• A collage of odds and coends related to operads
  Ross Street

• Pointing a category
  Steve Lack

3rd July 2002 at Sydney

• On the polarized products of Cockett and Seeley
  Mike Johnson

• Informal discussion of polarized products, props, and polyads

7th August 2002 at Macquarie

• Loop structure on the categories of extensions
  Alexei Davydov

• One example of an n-operad with its n-suspension being E_n-operad
  Michael Batanin

14th August 2002 at Sydney

• Symmetry of 6j-symbols
  Alexei Davydov

• A factorization system inter alia pertaining to descent
  Ross Street

21st August 2002 at Macquarie

• R-matrices from categorical point of view
  Alexei Davydov

• Computads and slices of operads
  Michael Batanin

28th August 2002 at Sydney

• Transport of structure along equivalences, with applications
  Max Kelly

• A need for descent in variable bicategories
  Ross Street

30th October 2002 at Macquarie

• Braids and symplectic spaces
  Alexei Davydov

• Even more braidings
  Ross Street

20th November 2002 at Sydney

• Quantum groupoids, modules and star-autonomy
  Ross Street

• Obstruction to associativity
  Alexei Davydov

27th November 2002 at Macquarie

• Adjunctions in a 2-category and applications to transport of structure
  Max Kelly

• Quantum groupoids, modules and star-autonomy, II: Star-autonomy, Chu, and antipodes
  Ross Street

4th December 2002 at Sydney

• Braided premonoidal coherence and the quark state confinement
  William Joyce

• Introduction to geometry of concurrency
  Eric Goubault

11th December 2002 at Macquarie

• Braided Lie algebras
  Shahn Majid

• A directed homotopy category
  Eric Goubault

18th December 2002 at Sydney

• A first attempt to describe the fundamental category of a po-space
  Eric Goubault

• Coherence for n-fold loop spaces
  Michael Batanin