It is possible, in a category with finite products, to internalize the notion of a relation on an object or more generally, between two objects. In the category of Sets, a relation on a set X is a subset of X × X and it is an equivalence relation if it has reflexivity, symmetry and transitivity properties. in this seminar we want to define relation, reflexive, symmetric, transitive and finally equivanence relation on an object in a category with finite limits.
