Category Set Theory