Intuitionistic <i>H</i>‐fuzzy relations

Abstract

We introduce the category IRel ( H ) consisting of intuitionistic fuzzy relational spaces on sets and we study structures of the category IRel ( H ) in the viewpoint of the topological universe introduced by Nel. Thus we show that IRel ( H ) satisfies all the conditions of a topological universe over Set except the terminal separator property and IRel ( H ) is cartesian closed over Set .