4 ms·
First of all categorical in a math context does not always refer to category theory. In logic a theory is called categorical in K if it has only one model of ca
by omaranto 6y ago
First of all categorical in a math context does not always refer to category theory. In logic a theory is called categorical in K if it has only one model of cardinality K up to isomorphism.
Second, is this really a common problem? People using the word categorical in a math context without mean either category-theoretical or the meaning in logic? Do you have an example?