0: simplified categories