Basil Smith Title: Back to the Roots Abstract: Is the Modern Algebra notion of a function a category mistake? We consider an elementary theory of relations and ask some metamathematical questions.