机构:
South China Normal Univ, Sch Math Sci, Guangzhou 510631, Peoples R ChinaSouth China Normal Univ, Sch Math Sci, Guangzhou 510631, Peoples R China
Zhang, Xia
[1
]
Paseka, Jan
论文数: 0引用数: 0
h-index: 0
机构:
Masaryk Univ, Fac Sci, Dept Math & Stat, Kotlarska 2, CZ-61137 Brno, Czech RepublicSouth China Normal Univ, Sch Math Sci, Guangzhou 510631, Peoples R China
Paseka, Jan
[2
]
Ma, Wen
论文数: 0引用数: 0
h-index: 0
机构:
South China Normal Univ, Sch Math Sci, Guangzhou 510631, Peoples R ChinaSouth China Normal Univ, Sch Math Sci, Guangzhou 510631, Peoples R China
Ma, Wen
[1
]
机构:
[1] South China Normal Univ, Sch Math Sci, Guangzhou 510631, Peoples R China
[2] Masaryk Univ, Fac Sci, Dept Math & Stat, Kotlarska 2, CZ-61137 Brno, Czech Republic
poset with an operator;
order-embedding;
lax morphism;
completion;
sup-algebra;
injective object;
injective hull;
INJECTIVE HULLS;
ALGEBRAS;
D O I:
暂无
中图分类号:
TP18 [人工智能理论];
学科分类号:
081104 ;
0812 ;
0835 ;
1405 ;
摘要:
In this note, we study completions of posets with a closure operation. Firstly, we show that every such completion is injective in the category of posets with a closure operation with respect to a subclass of order embeddings. Moreover, we show how to construct injective hulls for arbitrary posets with a closure operation.
机构:
S China Normal Univ, Sch Math Sci, Guangzhou 510631, Guangdong, Peoples R China
So Illinois Univ, Dept Math, Carbondale, IL 62901 USAS China Normal Univ, Sch Math Sci, Guangzhou 510631, Guangdong, Peoples R China
Zhang, Xia
Laan, Valdis
论文数: 0引用数: 0
h-index: 0
机构:
Univ Tartu, Inst Math, EE-50409 Tartu, EstoniaS China Normal Univ, Sch Math Sci, Guangzhou 510631, Guangdong, Peoples R China
机构:
S China Normal Univ, Sch Math Sci, Guangzhou 510631, Guangdong, Peoples R China
So Illinois Univ, Dept Math, Carbondale, IL 62901 USAS China Normal Univ, Sch Math Sci, Guangzhou 510631, Guangdong, Peoples R China
Zhang, Xia
Laan, Valdis
论文数: 0引用数: 0
h-index: 0
机构:
Univ Tartu, Inst Math, EE-50409 Tartu, EstoniaS China Normal Univ, Sch Math Sci, Guangzhou 510631, Guangdong, Peoples R China