              We have already implicitly encountered in passing two of Aristotle’s appeals to category theory: (i) in his approach to time, which he comes to treat as a non-substantial being; and (ii) in his commitment to the core-dependent homonymy of being, which introduces some rather more contentious considerations. These may be revisited briefly to illustrate how Aristotle thinks that his doctrine of categories provides philosophical guidance where it is most needed.