Australian Category Seminar
Here is a list of all talks by Paul Taylor at the Australian
Category Seminar.
1998
5 August
What is the generalized notion of algebraic theory that includes the theory of categories?
12 August
A unified treatment of geometric and higher order logic
26 August
A categorical approach to the ordinals and the axiom of replacement