The Theory of Re-presentability in Computation