Abstract: Ω-category has category theory and order theory double meaning,which can provide a quantitative model for the semantics of computer programming languages. In this paper we researched the equalizer and product in the category of ΩCat,and given the Ω-valued product in two ways both pointed andnon-pointed.Furthermore,we proved that the Ω-Cat category is a complete category.
Publication Year: 2012
Publication Date: 2012-01-01
Language: en
Type: article
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot