teoria categorica

teoria categorica

teoria categorica in logica, locuzione che indica una teoria matematica i cui modelli interpretativi sono tutti isomorfi tra loro. È tale per esempio l’aritmetica formalizzata con gli assiomi di Peano. La teoria dei gruppi è invece una teoria non categorica perché ci sono più modelli di gruppo tra loro non isomorfi (si vedano anche → modello; → categoricità).