• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.05a
• /
• pp.29-32
• /
• 2003

We introduce the subcategories IRe $l_{PR}$ (H), IRe $l_{PO}$ (H) and IRe $l_{E}$(H) of IRe $l_{R}$(H) and study their structures in a viewpoint of the topological universe introduced by L.D.Nel. In particular, the category IRe $l_{R}$(H)(resp. IRe $l_{P}$(H) and IRe $l_{E}$(H)) is a topological universe eve, Set. Moreover, we show that IRe $l_{E}$(H) has exponential objects.ial objects.