Category theory for students of CS, SE, Math.