Hits:

Indexed by:会议论文

Date of Publication:2010-01-01

Included Journals:EI、Scopus

Volume:1

Page Number:129-133

Abstract:In this paper, the connection of the 4-valued inverse order nested sets and topos theory is considered. The category QNS of the 4-valued inverse order nested sets is constructed. It is shown that in the category QNS exist Equalizers,Finite Products, Terminal Objects, Exponentials and Subobject Classifiers. Consequently the category QNS forms a topos. ?2010 IEEE.