Categories in Cool