In Category Of Sets And Relations, It Is Possible To Describe Functions In Purely Category Terms

Authors

Vladik Kreinovich, The University of Texas at El PasoFollow
Martine Ceberio, The University of Texas at El PasoFollow
Quentin Brefort, ENSTA-BretagneFollow

Publication Date

4-2014

Comments

Technical Report: UTEP-CS-14-35

Abstract

We prove that in the category of sets and relations, it is possible to describe functions in purely category terms.