2005 Seminars

5th January 2005 at Macquarie

• "Exactness" via distributivity
  Richard Wood

• Promonoidal braiding and centre
  Ross Street

12th January 2004 at Sydney

• Operads within monoidal pseudo-algebras
  Mark Weber

• Promonoidal braiding and centre II
  Ross Street

19th January 2005 at Macquarie

• Pro W-categories
  Richard Wood

• Surface diagrams and permutohedra
  Dominic Verity

9th February 2004 at Sydney

• Pro W-categories II
  Richard Wood

• Comonads, corings, and collages
  Steve Lack

16th February 2005 at Macquarie

• Syntax and semantics of Gauss elimination procedure
  Aurelio Carboni

• Surface diagrams and permutohedra II
  Dominic Verity

23rd February 2005 at Macquarie

• Categorical Getzler-Jones operad
  Michael Batanin

• Lax braidings and lax centres
  Ross Street

2nd March 2005 at Macquarie

• Categorical Getzler-Jones operad II
  Michael Batanin

• Adding duals
  Alexei Davydov

16th March 2005 at Macquarie

• Cartesian (Bicategories 1.5 and Equipments 2.5)
  Richard Wood

• Traces, duals, and composition
  Steve Lack

30th March 2005 at Macquarie

• Frobenius algebras and quantum groupoids
  Ross Street

• Operadic compactification
  Michael Batanin

1st April at Macquarie

• On the uniqueness of the theory of higher categories
  Bertrand Toen

6th April at Macquarie

• A polytopic approach to (fairly) general infinity-computads, part I
  Thorsten Palm

• Cartesian bicategoires II
  Richard Wood

13th April 2005 at Sydney

• The logic of tricategories
  Robin Cockett

• Enriched categories with colimits of some class
  Vincent Schmitt

20th April 2005 at Macquarie

• Tricategorical logic: 1-representation
  Robin Cockett

4th May 2005 at Macquarie

• Dendrotopic sets, encore: composition and representability
  Thorsten Palm

• Free braided monoidal 2-categories
  Alexei Davydov

11th May 2005 at Sydney

• Dendrotopic sets, encore, continued
  Thorsten Palm

• Free braided monoidal 2-categories, II
  Alexei Davydov

18th May 2005 at Macquarie

• Dendrotopic sets, encore, continued
  Thorsten Palm

• Theory of products and coproducts in the semantics of communication
  Robin Cockett

25th May 2005 at Macquarie

• Dendrotopic sets, encore, continued - and finished
  Thorsten Palm

• Higher adjoint equivalences
  Ross Street

15th June 2005 at Macquarie

• E_n-operads: a street directory
  Michael Batanin

• Convolution-enriched categories and centre
  Ross Street

22nd June 2005 at Macquarie

• E_n-operads: a street directory II
  Michael Batanin

• Ehresmann's theorem for restriction categories
  Robin Cockett

29th June 2005 at Macquarie

• Comonads, restriction categories, and generalized partial maps
  Steve Lack

6th July 2005 at Macquarie

• More on categories of extensions
  Thorsten Palm

• From cat²-groups to Tamsamani's weak 3-groupoids: An overview
  Simona Paoli

27th July 2005 at Macquarie

• Quasicategories
  André Joyal

• A manifold construction for restriction categories
  Robin Cockett

3rd August 2005 at Macquarie

• Modular categories and group actions on braided tensor categories
  Michael Müger

• Weak complicial sets I
  Dominic Verity

10th August 2005 at Sydney

• From Cat²-groups to Tamsamani weak 3-groupoids: part I
  Simona Paoli

• Weak complicial sets II
  Dominic Verity

24th August 2005 at Macquarie

• Derivators
  Denis-Charles Cisinski

• From Cat²-groups to Tamsamani weak 3-groupoids: part II
  Simona Paoli

31st August 2005 at Macquarie

• More on derivators
  Denis-Charles Cisinski

• A categorical approach to Maslov index
  Alexei Davydov

7th September 2005 at Macquarie

• Logical challenges for category theory
  Jonathon Cohen

21st September 2005 at Macquarie

• On work in progress
  Dominic Verity

• Comodules and coproduct decomposition
  Ross Street

5th October 2005 at Macquarie

• Coherence for n-fold loop spaces explicitly (work in progress)
  Michael Batanin

• Semistrict models of connected 3-types and Tamsamani's weak 3-groupoids
  Simona Paoli

26th October 2005 at Macquarie

• Internalising the theory of weak complicial sets
  Dominic Verity

• More on Frobenius algebras
  Alexei Davydov

9th November 2005 at Sydney

• Dold-Kan, internal categories, and polyads
  Steve Lack

• Internalising the theory of weak complicial sets (cont)
  Dominic Verity

16th November 2005 at Macquarie

• Internalising the theory of weak complicial sets III
  Dominic Verity

• What is the Cauchy completion of a monoidal functor?
  Ross Street

23rd November 2005 at Macquarie

• Complementary orders and n-fold loop spaces
  Michael Batanin

30th November 2005 at Macquarie

• Strictifying bicategories in Tamsamani's model - work in progress
  Simona Paoli

• Infinitesimal braiding
  Alexei Davydov

7th December 2005 at Macquarie

• Centres of localization
  Ross Street

• Categorical operads
  Alexei Davydov

14th December 2005 at Macquarie

• Quasi-category derived functors and localization
  Hugh Robinson

• Enrichment through partiality
  Steve Lack

21st December 2005 at Macquarie

• Categories with slicing and their sites
  Thorsten Palm