Categories for Software Engineering