A Study on Cubic <i>H</i>-Relations in a Topological Universe Viewpoint

Abstract

We introduce the concrete category CRel P ( H ) [resp. CRel R ( H ) ] of cubic H-relational spaces and P-preserving [resp. R-preserving] mappings between them and study it in a topological universe viewpoint. In addition, we prove that it is Cartesian closed over Set . Next, we introduce the subcategory CRel P , R ( H ) [resp. CRel R , R ( H ) ] of CRel P ( H ) [resp. CRel R ( H ) ] and investigate it in the sense of a topological universe. In particular, we obtain exponential objects in CRel P , R ( H ) [resp. CRel R , R ( H ) ] quite different from those in CRel P ( H ) [resp. CRel R ( H ) ].

Keywords

• cubic <i>H</i>-relational space
• cubic <i>H</i>-reflexive relation
• topological category
• cartesian closed category
• topological universe