Title :
A Kind of R-Complete Category for R-Posets
Author :
Wu, Li-gang ; Fan, Lei ; Gao, Yang
Author_Institution :
Inst. of Math. & Interdiscipl. Sci., Capital Normal Univ., Beijing, China
Abstract :
In this paper we firstly construct the category CRPOSR ep with objects the same as CRPOSR (with as objects R-complete R-posets where R-limits preserve orders of approximating order family and as morphisms R-continuous mappings) and as morphisms e-p pairs. Secondly omega-chains, R-chains and R-completeness are defined in CRPOSR ep. They are generalizations of omega-chains and omega-completeness in poset. Thirdly we give a kind of characterizations of R-limit in CRPOSR ep. Finally we prove that CRPOSR ep is R-complete. It is worth pointing out that a R-limit construction in CRPOSR ep is given in this work.
Keywords :
approximation theory; R-complete category; R-posets; omega-chain; order family approximation; Buildings; Computer applications; Concurrent computing; Educational technology; Mathematical model; Mathematics; Terminology;
Conference_Titel :
Computational Sciences and Optimization, 2009. CSO 2009. International Joint Conference on
Conference_Location :
Sanya, Hainan
Print_ISBN :
978-0-7695-3605-7
DOI :
10.1109/CSO.2009.194