Talk:Classification theorem

Clarify; find reference
complete set of invariants: invariants, e.g. a number, a cohomology group, a characteristic class, etc. can always tell objects apart, i.e. when two objects have different invariant the objects themselves are never in the same equivalence class, but in general not vice versa; a complete (set of) invariants are the ones that strengthens this condition to equivalence (from single-direction implication); e.g. "complete knot invariant", or more trivially just the objects themselves.

realizable: are they talking about https://ncatlab.org/nlab/show/realizability?

computable: they might be talking informally about "the invariants are easy to know", or in the sense of Computability theory. Fourier-Deligne Transgirl (talk) 03:01, 7 December 2023 (UTC)