1997 Seminars

15th January 1997 at Sydney

• Descent
  Paddy McCrudden

• Holiday thoughts on Tannaka duality
  Ross Street

22th January 1997 at Macquarie

• Bicategories and abstract specifications of concurrent systems
  Giulio Katis

• The Charade Braid
  Ross Street

29th January 1997 at Sydney

• Prototypic weak interactive categories
  Mike Johnson

• Hopf algebras and combinatorics
  Steve Lack

5th February 1997 at Macquarie

• The combinatorics of higher-dimensional lax natural transformations
  Sjoerd Crans

• Using pasting diagrams to represent programs
  Richard Buckland (richardb@macadam.math.mq.edu.au)

12th February 1997 at Sydney

• Using pasting diagrams to represent programs II: Properties of schemes
  Richard Buckland (richardb@macadam.math.mq.edu.au)

• Lax World
  Steve Lack

19th February 1997 at Macquarie

• On coherent situations
  Sjoerd Crans

• Cell diagrams for choice
  Richard Buckland (richardb@macadam.math.mq.edu.au)

26th February 1997 at Sydney

• On concurrent impertaive programming
  Giulio Katis

• Dynamic Evaluation
  Steve Lack

5th March 1997 at Macquarie

• On braided monoidal categories and double loop spaces
  Clemens Berger (cberger@math.unice.fr)

• On the monadicity over graphs of categories with limits
  Max Kelly

12th March 1997 at Sydney

• Injectivity in locally presentable categories
  Jiri Adámek

• Nerves of braided monoidal categories and lax 3-categories
  Clemens Berger (cberger@math.unice.fr)

19th March 1997 at Macquarie

• The higher operads of Michael Batanin
  Ross Street

• Injectivity in locally presentable categories
  Jiri Adámek

26th March 1997 at Sydney

• Finitary Sketches
  Jiri Adámek

• On the nerve of 4-dimensional teisi
  Sjoerd Crans

9th April 1997 at Sydney

• Zen from three conferences
  Ross Street

• On property-like structures
  Steve Lack

16th April 1997 at Macquarie

• Banach spaces and convex modules
  Nico Pumplün (Dieter.Pumpluen@fernuni-Hagen.de)

• Transfors and their localizations
  Sjoerd Crans

23rd April 1997 at Sydney

• The 2-category of equipments and adjunctions therein
  Max Kelly

• An algebra for constructing Petri nets as transition systems
  Giulio Katis

30th April 1997 at Macquarie

• Tensors and transfors
  Sjoerd Crans

• On the monadicity of finitary monads
  Steve Lack

7th May 1997 at Sydney

• Equipments (cont.)
  Max Kelly

• On the construction of free Gray-categories from deformation classes of legible progressive 3-surface diagrams.
  Margaret McIntyre(margaret@math.mq.edu.au)

14th May 1997 at Macquarie

• Finite coproducts in variable categories
  Ross Street

• Categorical consultancy and finite cocompleteness
  Mike Johnson

21st May 1997 at Sydney

• A characterization of the image of Comod: Coalg(R) --> Cat/(R-Mod)
  Paddy McCrudden

• Finitary monads on globular sets and notions of computad they generate
  Michael Batanin

28th May 1997 at Macquarie

• Small is beautiful -- An Introduction to Synthetic Differential Geometry
  René Lavendhomme

• Plus-constructions I have known
  Steve Lack

4th June 1997 at Sydney

• On De Rham's Theorem
  René Lavendhomme

• Enriched accessible categories
  Carmen Quinteiro (quinteir@uvigo.es)

11th June 1997 at Macquarie

• Descent, fibrations, and internal categories
  Ivan LeCreurer (LeCreurer@agel.ucl.ac.be)

• Internal categories in Malcev varieties
  Marino Gran (gran@agel.ucl.ac.be)

18th June 1997 at Sydney

• Categories with feedback
  Giulio Katis

• Parenthetic remarks
  Ross Street

25th June 1997 at Macquarie

• Pasting potpourri
  Sjoerd Crans

• Footnote to parenthetic remarks
  Ross Street

2nd July 1997 at Sydney

• Categories with feedback: some examples
  Giulio Katis

• The extensive reflection of a distributive category
  Steve Lack

6th August 1997 at Macquarie

• A tensor product of Gray-categories
  Sjoerd Crans

• A general notion of accessibility
  Max Kelly

13th August 1997 at Sydney

• A general notion of accessibility (cont.)
  Max Kelly

• On the fundamental theorem of coalgebra
  Sun Shu-Hao

20th August 1997 at Macquarie

• On the fundamental theorem of coalgebra and Tannakian recovery of categories
  Sun Shu-Hao

• B tensor product of Gray-categories
  Sjoerd Crans

27th August 1997 at Sydney

• A general notion of accessibility (cont.)
  Max Kelly

• Concurrency theory and the rise of capitalism:
  span(graph), Paciolo, and partita doppia
  Bob Walters

3rd September 1997 at Macquarie

• On polynomial invariants of exceptional simple linear algebraic groups
  Alex Iltyakov (aleks@maths.usyd.edu.au)

• Linearly recursive sequences, braided hopf algebras and "ring"
  Paddy McCrudden

10th September 1997 at Sydney

• A general notion of accessibility (cont.)
  Max Kelly

• On the general coherence result of Power
  Steve Lack

24th September 1997 at Sydney

• A general notion of accessibility (conc.)
  Max Kelly

• Quantum groups in V
  Paddy McCrudden

1st October 1997 at Macquarie

• C tensor product of Gray-categories
  Sjoerd Crans

8th October 1997 at Sydney

• Computing left Kan extensions
  Michael Bush (bush_m@maths.usyd.edu.au)

• Van Kampen squares, pushouts, and retract equivalences
  Steve Lack

15th October 1997 at Macquarie

• Remarks on Poincaré-Birkhoff-Witt theorem and quantum enveloping algebra
  Sun Shu-Hao

• D tensor product of Gray-categories
  Sjoerd Crans

22nd October 1997 at Sydney

• Montreal's progress in weak categories
  (notes on Joyal's and Hermida's talks and Joyal-Street's conversations)
  Michael Batanin

• Circuits and feedback
  Bob Walters

29th October 1997 at Macquarie

• On recent joint work with Adamek
  Max Kelly

• Montreal's progress in weak categories (cont.)
  (notes on Joyal's and Hermida's talks and Joyal-Street's conversations)
  Michael Batanin

5th November 1997 at Sydney

• A general notion of operad
  Steve Lack

• E tensor product of Gray-categories
  Sjoerd Crans

12th November 1997 at Macquarie

• On representations of local compact groups which are not necessarily commutative
  Sun Shu-Hao

• Commutator theory
  George Janelidze

19th November 1997 at Sydney

• Commutator Theory II
  George Janelidze

• Distributed Algorithms I
  Giulio Katis

26th November 1997 at Macquarie

• Distributed algorithms II
  Giulio Katis

• A characterization of the image of Comod
  Paddy McCrudden

3rd December 1997 at Sydney

• Commutator Theory III
  George Janelidze

• Some geometry of Gray-categories
  Margaret McIntyre (margaret@macadam.math.mq.edu.au)