SYDNEY CATEGORY THEORY ftp SITE maths.su.oz.au directory sydcat Some recent additions: ---------------------- papers/phoa/tech.ps Replacing fibs.ps, topoi.ps, eff.ps, these notes provide an introduction to (aspects of) a) fibrations and polymorphic lambda calculus b) constructive logic, categorical logic and topos theory c) Kleene realizability; PERs and omega-sets d) the effective topos; modest sets and how they model polymorphism They assume some basic knowledge of category theory, logic and typed lambda calculus. No familiarity with indexed categories or with categorical logic or topos theory is required. The notes do not attempt to be comprehensive, but simply try to give a reasonably relaxed account of the material. They are about 150pp including the index and appendixes. There are plenty of exercises. papers/kelly/kan Dvi file for G.M. Kelly, S. Lack, "Finite-product-preserving functors, Kan extensions, and strongly-finitary monads" papers/walters/ccs Information about R.F.C. Walters' book "Categories and Computer Science" published by Carslaw Press in Australia (1991) and to be published in August 1992 by Cambridge University Press papers/walters/coinv Dvi file for G.M. Kelly, S. Lack, R.F.C. Walters, "Coinverters and categories of fractions for categories with structure" ==============================================================================