摘要: In this paper, we propose a definition of algebraic @W-categories. Let @W-POID denote the category @W-categories with @W-functors between them such that inverse image ideals are also ideals, and let @W-AlgDom"G Scott continuous functors having left @W-adjoints. We show dual equivalent to each other.
core.ac.uk
cyberleninka.org
sci-hub.se 参考文章(23)
Hongliang Lai, Dexue Zhang, Fundamental study: Complete and directed complete Ω-categories Theoretical Computer Science. ,vol. 388, pp. 1- 25 ,(2007) , 10.1016/J.TCS.2007.09.012
Francis Borceux, Handbook Of Categorical Algebra 1 Basic Category Theory ,(2008)
Kimmo I. Rosenthal, Quantales and their applications Longman Scientific & Technical. ,(1990)
Kim R. Wagner, Solving Recursive Domain Equations with Enriched Categories. ,(1994)
Karl Heinrich Hofmann, Albert Stralka, Michael Mislove, The Pontryagin duality of compact O-dimensional semilattices and its applications ,(1974)
Dirk Hofmann, Pawel Waszkiewicz, Approximation in quantale-enriched categories arXiv: Category Theory. ,(2010)
Paweł Waszkiewicz, On Domain Theory over Girard Quantales Fundamenta Informaticae. ,vol. 92, pp. 169- 192 ,(2009) , 10.3233/FI-2009-0071
Vincent Schmitt, Flatness, preorders and general metric spaces arXiv: Category Theory. ,(2003)
Isar Stubbe, Towards dynamic domains: Totally continuous cocomplete Q-categories Theoretical Computer Science. ,vol. 373, pp. 142- 160 ,(2007) , 10.1016/J.TCS.2007.01.002
M.H. Albert, G.M. Kelly, The closure of a class of colimits Journal of Pure and Applied Algebra. ,vol. 51, pp. 1- 17 ,(1988) , 10.1016/0022-4049(88)90073-4