Past Category Theory Seminars

 

This is roughly speaking a list of the Category Theory seminars held at the Department of Pure Mathematics and Mathematical Statistics in Cambridge when I was there (October 1996 to September 2002). More exactly, it's a list of the ones at which I took notes and where these notes ended up in a file rather than a pile.

Jump down to: 1996/7, 1997/8, 1998/9, 1999/2000, 2000/1, 2001/2.

My home page is here. Information on current Category Theory seminars in Cambridge is here.

 

1996-1997

 

Autumn term 1996

15 October
Peter Johnstone
The non-classifying topos of a first-order theory

22 October
Martin Hyland
Girard's completeness theorem for linear logic

29 October
Jeff Egger
Duality

5 November
D Cubric
Normalization via the Yoneda lemma

19 November
Audrey Tan
Some full completeness results for models of multiplicative linear logic

26 November
Kim Wagner
Enriched categories, adjoint bimodules, Cauchy completeness

Spring term 1997

21 January
Peter Johnstone
Some remarks on Scott's category of equilogical spaces

28 January
Martin Hyland
What is the cyclic category?

4 February
Jeff Egger
Plonka's theorem

25 February
Peter Johnstone
The non-classifying topos, continued

Summer term 1997
Higher-dimensional theme

8 May
Tom Leinster
Bicategories (I)

8 May
Neil Strickland
Operads

13 May
Martin Hyland
Generalizing operads

13 May
Craig Snydal
Constructing a TQFT (I)

20 May
Tom Leinster
Bicategories (II)

20 May
Craig Snydal
Constructing a TQFT (II)

27 May
Martin Hyland
Compact closed cores

27 May
Neil Strickland
Some easy examples of TQFTs

3 June
Richard Borcherds
(Relaxed) multilinear categories

4 June
André Joyal
[no notes]

10 June
Jeff Egger
Hilbert categories

10 June
Nils Baas
Cobordisms with singularities and higher categories

18 June
Martin Hyland
Definition of lax n-category

1 July
Martin Hyland
Reconstruction theorems

Summer holiday 1997

18 September
Roman Fric
Sequential convergence and sequential continuity

19 September
Robin Cockett
Linear bicategories, I

25 September
Martin Hyland
What I haven't done

26 September
Robin Cockett
Linear bicategories, II

 

1997-1998

 

Autumn term 1997

14 October?
Tom Leinster
General operads and multicategories

21 October
Robin Cockett
Linear bicategories, III

28 October
Jeff Egger
Tamsamani's definition of n-category

4 November
Selwyn Blieden
Theories of abstract homotopy

11 November
Peter Johnstone
What do sub-open maps classify?

18 November
Sergei Soloviev
A finite completeness theorem for SMCCs and multiplicative intuitionistic linear logic

Spring term 1998

3 February
Martin Hyland
Orthogonality and linear logic

10 February
Tom Leinster
Another definition of n-category

17 February
Peter Johnstone
On not-quite-toposes of coalgebras

24 February
Craig Snydal
Relaxed multilinear categories

3 March
Robin Cockett
Quadramodules

10 March
Jeff Egger
Finiteness

10 March
Jamie Gabbay
The Schanuel topos

24 March
Andrea Schalk
Games

31 March
Michael Makkai
A type-theoretic view of higher-dimensional categories (I)

 

1998-1999

 

Autumn term 1998

13 October
Peter Johnstone
Brno's flavour of the month: sifted colimits and the Pitts cocompletion

20 October
Richard Borcherds
Quantum field algebras

27 October
Tom Leinster
What can a category be enriched in?

3 November
Craig Snydal
A concrete example of a relaxed multilinear category

10 November
Martin Hyland
Kripke logical relations and gluing

Spring term 1999

2 February
Peter Johnstone
The amazing strength of amazing right adjoints

9 February
Tom Leinster
Coherence and Cayley representation

16 February
Selwyn Blieden
Fibre bundles

23 February
Craig Snydal
From axiomatic vertex algebras to relaxed multicategories

9 March
Andrea Schalk
Self-dualization

Summer holiday 1999

22 June
H Watanabe
Distributivity for a monad and a comonad

16 August
John Baez
Categorification and QFT

19 August
Tom Leinster
Penon's definition of weak n-category

24 August
Todd Trimble
What are `fundamental n-groupoids'?

26 August
Craig Snydal & Martin Hyland
Vertex algebras and singularities

2 September
John Power
Sketches

14 September
John Baez
2-Hilbert spaces

 

1999-2000

 

Autumn term 1999

12 October
Tom Leinster
Homotopy algebras for operads

19 October
Paul Taylor
Abstract Stone duality

26 October
Jeff Egger
Kuratowski finiteness revisited

2 November
Joe Templeton
Frobenius algebras

9 November
Todd Trimble
The Lie operad

16 November
Eugenia Cheng
[no notes]

23 November
Martin Hyland
[no notes]

30 November
Jeff Egger
[no notes]

Spring term 2000

1 February
Tom Leinster
Moral degeneracy in the periodic table

15 February
Eugenia Cheng
The relationship between multitopic sets and opetopic sets

22 February
John Power
Symmetric monoidal sketches

Summer holiday 2000

3 August
Peter Freyd
The reals as a coalgebra

 

2000-2001

 

Autumn term 2000

10 October
Peter Johnstone
Freyd = Dedekind, constructively

17 October
Martin Hyland
An adumbration of higher-dimensional linear algebra

24 October
Tom Leinster
Deligne's conjecture

31 October
Joe Templeton
Frobenius algebras II

7 November
Ieke Moerdijk
Lie theory for groupoids

21 November
Eugenia Cheng
Strictness in the opetopic theory of bicategories

Spring term 2001

23 January
Martin Hyland
The Eckmann-Hilton argument and idempotent 2-monads

30 January
Marcelo Fiore
Some results on combinatorial functors

6 February
Tom Leinster
Batanin meets Baez and Dolan: yet more ways to define weak n-category

13 February
Bob Coecke
From Birkhoff-von Neumann to Eilenberg-Mac Lane: categories for the digesting physicist

20 February
Joe Templeton
Cofree cyclic operad on a symmetric operad

27 February
Edmund Robinson
Proof nets for a fragment of classical logic

6 March
Martin Hyland
Traces

Summer term 2001

1 May
Peter Johnstone
How not to prove the pullback-stability theorem for tidy morphisms

8 May
Tom Leinster
Monoidal maps, Kleisli categories, simplicial sets, and Gamma-spaces

15 May
Eugenia Cheng
Universality

22 May
Joe Templeton
Compact closed categories

5 June
Edmund Robinson
Classical logic, intuitionistic logic and continuations

Summer holiday 2001

16 August
John Baez
Normed division algebras: a categorical approach

 

2001-2002

 

Autumn term 2001

16 October
Peter Johnstone
Open/compact duality in topos theory

23 October
Martin Hyland
Categories of games

30 October
Burt Totaro
An introduction to deformation theory

6 November
Tom Leinster
A_infinity-categories

13 November
Martin Hyland
Triangulated categories

15 November
Matias Menni
About \new-quantifiers

20 November
Marcelo Fiore
Semantic analysis of normalization I

27 November
Marcelo Fiore
Semantic analysis of normalization II

Spring term 2002

22 January
Constantin Teleman
Stacks as simplicial objects

29 January
Joe Templeton
Monoidal coherence/weak adjunctions

5 February
Tom Leinster
Coherence in a small world

12 February
Peter Johnstone
Are sublocales splittable?

19 February
Eugenia Cheng
On trees and Kelly-Mac Lane graphs

26 February
John Power
Semantics for computational effects

Summer term 2002

7 May
Peter Johnstone
Stably skeletal maps are open

14 May
Tom Leinster
Universal properties of fractals

21 May
Justin Sawon
Rozansky-Witten weight systems and Lie algebra objects

28 May
Eugenia Cheng
What I did on my holidays

Summer holiday 2002

13 August
Marcelo Fiore & Tom Leinster
Rigs

 

My home page is here. This page was last modified on 13 October 2003.