Kreinovich, V.; Ceberio, M.; Brefort, Q. In Category of Sets and Relations, It Is Possible to Describe Functions in Purely Category Terms. EMJ 2015, 6, 90–94.