computationally unbounded agents don’t need categories at all
This can only be true if they do not ever have to interact with computationally bounded agents.
This can only be true if they do not ever have to interact with computationally bounded agents.