Release Time:2019-03-11 Hits:
Indexed by: Conference Paper
Date of Publication: 2010-01-01
Included Journals: Scopus、EI
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.