Categories for Tools