What Can Category Theory Do for Philosophy? 9–11 July