Groupoidal completely distributive lattices

被引：8
|
作者：
Pedicchio, MC
Wood, RJ
机构：
[1] Univ Trieste, Dept Math Sci, I-34100 Trieste, Italy
[2] Dalhousie Univ, Dept Math Stat & Comp Sci, Halifax, NS B3H 3J5, Canada
来源：
JOURNAL OF PURE AND APPLIED ALGEBRA | 1999年 / 143卷 / 1-3期
关键词：
D O I：
10.1016/S0022-4049(98)00119-4
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
The Adamek and Pedicchio proof that top(op) is a quasi-variety is adapted to show that the opposite of the category of pre-ordered sets is also a quasi-variety. The constructive proof given requires a description of power objects in terms of (constructively) completely distributive lattices and such a description is provided by the Carboni and Waiters notion of "groupoidal" object in a cartesian bicategory. (C) 1999 Elsevier Science B.V. All rights reserved. AMS Classification: 18B35; 06D10.
引用
收藏
页码：339 / 350
页数：12
相关论文
共 50 条
12345