## Talks from 1998

Here is a list of all talks given in 1998 at the Australian Category Seminar. Click on the title for an abstract, or on the speaker's name for other talks by that speaker.

You may also view talks from
all years, or from
any of the following individual years:

1996
1997
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022

### 16 December 1998, Sydney

- 2pm: Jeremy Gunawardena – The unreasonable ineffectiveness of mathematics in computer engineering
- 4pm: Max Kelly – Polyads, locally-bounded categories, and monadicity

### 9 December 1998, Macquarie

- 2pm: Claudio Hermida – Some reflections on 2-fibrations
- 4pm: André Joyal – Higher-dimensional category theory II

### 2 December 1998, Sydney

- 2pm: Michael Batanin – Iterated localization for operads and the n-categorical tensor product problem (cont.)
- 4pm: André Joyal – Higher-dimensional category theory

### 25 November 1998, Macquarie

- 2pm: Max Kelly – New results on the monadicity over graphs of categories with finite limits III
- 4pm: Michael Batanin – Iterated localization for operads and the n-categorical tensor product problem

### 18 November 1998, Sydney

- 2pm: Henry Weld – An algebra of asynchronous binary circuits
- 4pm: Ross Street – Long modules, half-Long modules, and the Knizhnik-Zamolodchikov equation

### 11 November 1998, Macquarie

- 2pm: André Joyal – Homology theory of multiplicative systems
- 4pm: Max Kelly – New results on the monadicity over graphs of categories with finite limits II

### 4 November 1998, Sydney

- 2pm: Max Kelly – New results on the monadicity of categories with limits over graphs
- 4pm: Steve Lack – Exact completions of regular categories

### 28 October 1998, Macquarie

- 2pm: André Joyal – Homology operations
- 4pm: Ross Street – Morita Rivista

### 14 October 1998, Sydney

- 2pm: Enrico Vitale – Localizations of algebraic categories
- 4pm: Giulio Katis – On the algebra of systems governed by the continuity equation

### 7 October 1998, Macquarie

- 2pm: Enrico Vitale – A categorical approach to the Brauer Groups
- 4pm: Henry Weld – Towards a category of pipelines

### 23 September 1998, Sydney

- 2pm: Graeme Segal – Braided monoidal categories and topology
- 4pm: Claudio Hermida – A (multi)categorical approach to weak n-cats (Part I)

### 16 September 1998, Macquarie

- 2pm: Bob Walters – On the algebra of systems with boundary
- 4pm: Paddy McCrudden – Tannaka duality for Maschkean categories

### 9 September 1998, Sydney

- 2pm: André Joyal – Q-rings and the homology of the symmetric groups
- 4pm: Diming Lu – Finite dimensional corepresentations of the quantum group GL(q)(2)

### 2 September 1998, Macquarie

- 2pm: Steve Lack – Meditation on pseudomonads
- 4pm: Dominic Verity – Pseudomonads

### 26 August 1998, Sydney

- 2pm: Francisco Marmolejo – 2-monads and Makkai's theorem for pretoposes
- 4pm: Paul Taylor – A categorical approach to the ordinals and the axiom of replacement

### 19 August 1998, Macquarie

- 2pm: Hongde Hu – Contractible coherence spaces and free bicompletions of categories
- 4pm: Sjoerd Crans – The role of teisi in post-modern algebra

### 12 August 1998, Sydney

- 2pm: Claudio Hermida – Simulations and modal logic
- 4pm: Paul Taylor – A unified treatment of geometric and higher order logic

### 5 August 1998, Macquarie

- 2pm: Francisco Marmolejo – Pseudomonads and distributive laws
- 4pm: Paul Taylor – What is the generalized notion of algebraic theory that includes the theory of categories?

### 29 July 1998, Sydney

- 2pm: Vaughan Pratt – Universal topology: Representing concrete objects by Chu spaces
- 4pm: Paddy McCrudden – Snapshots of four conferences

### 22 July 1998, Macquarie

- 2pm: Mark Weber – Impressions of certain maths conferences
- 4pm: Ross Street – The chain rule

### 15 July 1998, Macquarie

- 2pm: Robin Cockett – Linear bicategories

### 8 July 1998, Macquarie

- 2pm: Karl-Georg Schlesinger – Quantum set theory, manifold notions and non-abelian cohomology
- 4pm: Steve Lack – Cofinite sieves and free restriction categories

### 1 July 1998, Sydney

- 2pm: Robin Cockett – Linear bicategories
- 4pm: Giulio Katis – An algebra for systems governed by differential and integral equations

### 24 June 1998, Macquarie

- 2pm: Sjoerd Crans – v^: R^ => R~^
- 4pm: Mike Johnson – Travel report

### 17 June 1998, Sydney

- 2pm: Robbie Gates – Generic separables and images in extensive categories
- 4pm: Ross Street – The naturality of twist

### 10 June 1998, Macquarie

- 2pm: Michael Batanin – Some properties of generalized computads
- 4pm: Robin Cockett – Characterizing partial map classifiers

### 3 June 1998, Sydney

- 2pm: Terry Bisson – Q-rings and the algebraic theory of homology operations
- 4pm: Ross Street – Internal categories

### 27 May 1998, Macquarie

- 2pm: Gwangwu Xu – Operator spaces and group algebras
- 4pm: Robin Cockett – Partial map classifiers and restriction classifiers (more from last week)

### 20 May 1998, Sydney

- 2pm: Barry Jay – Using categorical concepts in programming language design: FISH
- 4pm: Robin Cockett – A characterization of categories of partial maps

### 13 May 1998, Macquarie

- 2pm: Sjoerd Crans – What is symmetry again?
- 4pm: Ross Street – Analytic functors on globular sets

### 6 May 1998, Sydney

### 29 April 1998, Macquarie

- 2pm: Robin Cockett – Full completeness for categories enriched in commutative monoids
- 4pm: Giulio Katis – On accounting and quantities distributed over space and time

### 22 April 1998, Sydney

- 2pm: Stephen Eriksson-Bique – Some parallel programming examples using homomorphisms
- 4pm: George Janelidze – Galois theory in symmetric monoidal categories

### 15 April 1998, Macquarie

- 2pm: Steve Lack – Free cocompletions
- 4pm: George Janelidze – Galois theory in symmetric monoidal categories

### 8 April 1998, Sydney

- 2pm: Ryan Shelswell – Logic in a tos
- 4pm: George Janelidze – Central extensions of universal algebras

### 25 March 1998, Sydney

- 2pm: Mike Fourman – Formal methods for system integration
- 4pm: Sjoerd Crans – Z tensor product for (Gray-Cat)_tensor-categories

### 18 March 1998, Macquarie

- 2pm: Michael Batanin – How to define an operad by generators and relations
- 4pm: Max Kelly – The canonical enrichment of a category

### 11 March 1998, Sydney

- 2pm: Mark Weber – Lawvere theories and an analogous characterisation problem
- 4pm: Ross Street – Operads without numbers

### 4 March 1998, Macquarie

- 2pm: Jonathon Burns – Vector bases, arrays, and adjunctions
- 4pm: George Janelidze – Boolean Galois theories

### 25 February 1998, Sydney

- 2pm: Giulio Katis – Compositional verification of distributed algorithms
- 4pm: George Janelidze – Functorial factorization, well-pointedness, and separability

### 11 February 1998, Sydney

- 2pm: Sjoerd Crans – Some geometry of 2-categorical k-tensor calculus
- 4pm: Ross Street, George Janelidze, and Steve Lack – Three short talks

### 4 February 1998, Macquarie

- 2pm: Ross Street – A braiding for Pointed Groups
- 4pm: Paddy McCrudden – A tensor product for V-actegories

### 21 January 1998, Macquarie

- 2pm: Steve Lack – On the monadicity of categories with chosen weighted limits
- 4pm: George Janelidze – Semidirect products and extensions in protomodular categories (III)

### 14 January 1998, Sydney

- 2pm: Max Kelly – On free (enriched) categories with a class of colimits
- 4pm: George Janelidze – Semidirect products and extensions in protomodular categories (II)