Open AccessA Duality Between Ω-categories and Algebraic Ω-categories
Author(s) -
Wei Yao,
Bin Zhao
Publication year - 2014
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2014.01.013
Subject(s) - mathematics , functor , dual (grammatical number) , algebraic number , duality (order theory) , pure mathematics , algebra over a field , functor category , inverse , linguistics , mathematical analysis , philosophy , geometry
In this paper, we propose a definition of algebraic Ω-categories. Let Ω-POID denote the category of Ω-categories with Ω-functors between them such that inverse image of ideals are also ideals, and let Ω-AlgDomG denote the category of algebraic Ω-categories with Scott continuous functors between them having left Ω-adjoints. We show that Ω-AlgDomG and Ω-POID are dual equivalent to each other
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom