Relations With I-structure in Categories With Pullbacks


Mara Alagić


Theory of relations in both set-theoretical and in categorical approach, rarely is concerned with a possible existing structure between objects on which relations are defined. The aim of this paper is to give one model of relations having in mind a specific structure, the so-called $I$-structure, between objects in the domain of considered relations and to consider some properties of such category of relations.