1997 Seminars
15th January 1997 at Sydney
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
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
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
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)
Steve Lack Last modified: Mon Mar 24 14:04:21 EST 2003