Learning Computer Science With Categories