Logic Explanation of AI Classifiers by Categorical Explaining Functors