1998 Seminars

7th January 1998 at Macquarie

• Two ways to make a braiding into a transfor
  Sjoerd Crans

• Semidirect products and extensions in protomodular categories
  George Janelidze

14th January 1998 at Sydney

• On free (enriched) categories with a class of colimits
  Max Kelly

• Semidirect products and extensions in protomodular categories (II)
  George Janelidze

21st January 1998 at Macquarie

• On the monadicity of categories with chosen weighted limits
  Steve Lack

• Semidirect products and extensions in protomodular categories (III)
  George Janelidze

4th February 1998 at Macquarie

• A braiding for Pointed Groups
  Ross Street

• A tensor product for V-Actegories
  Paddy McCrudden

11th February 1998 at Sydney

• Some geometry of 2-categorical k-tensor calculus
  Sjoerd Crans

• Three short talks
  Ross Street, George Janelidze, and Steve Lack

25th February 1998 at Sydney

• Compositional verification of distributed algorithms
  Giulio Katis

• Functorial factorization, well-pointedness, and separability
  George Janelidze

4th March 1998 at Macquarie

• Vector bases, arrays, and adjunctions
  Jonathon Burns (burns@latcs1.lat.oz.au )

• Boolean Galois theories
  George Janelidze

11th March 1998 at Sydney

• Lawvere theories and an analogous characterisation problem
  Mark Weber

• Operads without numbers
  Ross Street

18th March 1998 at Macquarie

• How to define an operad by generators and relations
  Michael Batanin

• The canonical enrichment of a category
  Max Kelly

25th March 1998 at Sydney

• Formal methods for system integration
  Mike Fourman (mike.fourman@ed.ac.uk)

• Z tensor product for (Gray-Cat)_tensor-categories
  Sjoerd Crans

8th April 1998 at Sydney

• Logic in a tos
  Ryan Shelswell (ryan@math.mq.edu.au)

• Central extensions of universal algebras
  George Janelidze

15th April 1998 at Macquarie

• Free cocompletions
  Steve Lack

• Galois theory in symmetric monoidal categories
  George Janelidze

22nd April 1998 at Sydney

• Some parallel programming examples using homomorphisms
  Stephen Eriksson-Bique

• Galois theory in symmetric monoidal categories
  George Janelidze

29th April 1998 at Macquarie

• Full completeness for categories enriched in commutative monoids
  Robin Cockett

• On accounting and quantities distributed over space and time
  Giulio Katis

6th May 1998 at Sydney

• A categorical semantics for P-time
  Robin Cockett

• Lax morphisms and limits
  Steve Lack

13th May 1998 at Macquarie

• What is symmetry again?
  Sjoerd Crans

• Analytic functors on globular sets
  Ross Street

20th May 1998 at Sydney

• Using categorical concepts in programming language design: FISH
  Barry Jay

• A characterization of categories of partial maps
  Robin Cockett

27th May 1998 at Macquarie

• Operator spaces and group algebras
  Gwangwu Xu

• Partial map classifiers and restriction classifiers (more from last week)
  Robin Cockett

3rd June 1998 at Sydney

• Q-rings and the algebraic theory of homology operations
  Terry Bisson (bisson@canisius.edu)

• Internal categories
  Ross Street

10th June 1998 at Macquarie

• Some properties of generalized computads
  Michael Batanin

• Characterizing partial map classifiers
  Robin Cockett

17th June 1998 at Sydney

• Generic separables and images in extensive categories
  Robbie Gates (robbie@maths.usyd.edu.au)

• The naturality of twist
  Ross Street

24th June 1998 at Macquarie

• v^: R^ => R~^
  Sjoerd Crans

• Travel report
  Mike Johnson

1st July 1998 at Sydney

• Linear bicategories
  Robin Cockett

• An algebra for systems governed by differential and integral equations
  Giulio Katis

8th July 1998 at Macquarie

• Quantum set theory, manifold notions and non-abelian cohomology
  Karl-Georg Schlesinger(kgschles@esi.ac.at)

• Cofinite sieves and free restriction categories
  Steve Lack

15th July 1998 at Macquarie

• Linear bicategories
  Robin Cockett

22nd July 1998 at Macquarie

• Impressions of certain maths conferences
  Mark Weber

• The chain rule
  Ross Street

29th July 1998 at Sydney

• Universal topology: Representing concrete objects by Chu spaces
  Vaughan Pratt (pratt@cs.stanford.edu)

• Snapshots of four conferences
  Paddy McCrudden

5th August 1998 at Macquarie

• Pseudomonads and distributive laws
  Francisco Marmolejo (quico@matem.unam.mx)

• What is the generalized notion of algebraic theory that includes the theory of categories?
  Paul Taylor (pt@dcs.qmw.ac.uk)

12th August 1998 at Sydney

• Simulations and modal logic
  Claudio Hermida

• A unified treatment of geometric and higher order logic
  Paul Taylor (pt@dcs.qmw.ac.uk)

19th August 1998 at Macquarie

• Contractible coherence spaces and free bicompletions of categories
  Hongde Hu (hongde@math.upenn.edu)

• The role of teisi in post-modern algebra
  Sjoerd Crans

26th August 1998 at Sydney

• 2-monads and Makkai's theorem for pretoposes
  Francisco Marmolejo (quico@matem.unam.mx)

• A categorical approach to the ordinals and the axiom of replacement
  Paul Taylor (pt@dcs.qmw.ac.uk)

2nd September 1998 at Macquarie

• Meditation on pseudomonads
  Steve Lack

• Pseudomonads
  Dominic Verity (domv@macadam.math.mq.edu.au)

9th September 1998 at Sydney

• Q-rings and the homology of the symmetric groups
  André Joyal

• Finite dimensional corepresentations of the quantum group GL(q)(2)
  Diming Lu

16th September 1998 at Macquarie

• On the algebra of systems with boundary
  Bob Walters

• Tannaka duality for Maschkean categories
  Paddy McCrudden

23rd September 1998 at Sydney

• Braided monoidal categories and topology
  Graeme Segal (G.B.Segal@dpmms.cam.ac.uk)

• A (multi)categorical approach to weak n-cats (Part I)
  Claudio Hermida

7th October 1998 at Macquarie

• A categorical approach to the Brauer Groups
  Enrico Vitale (vitale@agel.ucl.ac.be)

• Towards a category of pipelines
  Henry Weld

14th October 1998 at Sydney

• Localizations of algebraic categories
  Enrico Vitale (vitale@agel.ucl.ac.be)

• On the algebra of systems governed by the continuity equation
  Giulio Katis

28th October 1998 at Macquarie

• Homology operations
  André Joyal

• Morita Rivista
  Ross Street

4th November 1998 at Sydney

• New results on the monadicity of categories with limits over graphs
  Max Kelly

• Exact completions of regular categories
  Steve Lack

11th November 1998 at Macquarie

• Homology theory of multiplicative systems
  André Joyal

• New results on the monadicity over graphs of categories with finite limits II
  Max Kelly

18th November 1998 at Sydney

• An algebra of asynchronous binary circuits
  Henry Weld

• Long modules, half-Long modules, and the Knizhnik-Zamolodchikov equation
  Ross Street

25th November 1998 at Macquarie

• New results on the monadicity over graphs of categories with finite limits III
  Max Kelly

• Iterated localization for operads and the n-categorical tensor product problem
  Michael Batanin

2nd December 1998 at Sydney

• Iterated localization for operads and the n-categorical tensor product problem (cont.)
  Michael Batanin

• Higher-dimensional category theory
  André Joyal

9th December 1998 at Macquarie

• Some reflections on 2-fibrations
  Claudio Hermida

• Higher-dimensional category theory II
  André Joyal

16th December 1998 at Sydney

• The unreasonable ineffectiveness of mathematics in computer engineering
  Jeremy Gunawardena (jhcg@hplb.hpl.hp.com)

• Polyads, locally-bounded categories, and monadicity
  Max Kelly