‘Categories of Relations and Functional Relations’, Romaine Jayewardene and Oswald Wyler Applied Categorical Structures, 8 (2000) 279-305.