The author uses adjoint functors to explain equivalence and naturality but doesn't actually call it that?