Categories for Software Development