I would say, yes. Plus, if "effectively" is a statement about resources, then the algorithm takes reasonable time and storage. But it may sound this...
A category does not have to have morphisms between every two objects. For example, in the category of sets there is no morphisms from a nonempty set...