CATEGORY THEORY SYMPOSIUM