Are you asking whether it has beneficial features that Set Theory doesn't have (it does)? Or are you asking for examples of useful application (which there are

Are you asking whether it has beneficial features that Set Theory doesn't have (it does)? Or are you asking for examples of useful application (which there are a number)? Or are you asking for examples of useful application such that category was absolutely necessary?