Categories of the 4-valued inverse order nested sets
点击次数：
论文类型：会议论文
发表时间：2010-01-01
收录刊物：Scopus、EI
卷号：1
页面范围：129-133
摘要：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.