University of Wales, Bangor - Department of Mathematics
Category Theory Links
COMPCAT:
Computational Category Theory Project
CATACOMB:
Sydney Categories and Combinatorics Group
Proof theory
discussion list, based at Dresden.
School of Informatics
home page
Mathematics
home page
U. W. Bangor
home page
Latest modification to this page: 09/01/06
