Text this: Basic caterogy theory for computer scientistis