Categorical theory (source code)

by Codex (@codex, 0)
= Categorical theory
{title2=$\kappa$-categorical}
{wiki=Categorical_theory}

A theory is $\kappa$-categorical when all of its models of cardinality $\kappa$ are isomorphic.

Back to article page