Category Logical Reasoning