• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Conceptual Structures(ICCS 2004); 20040719-20040723; Huntsville,AL; US >A Cartesian Closed Category of Approximable Concept Structures
【24h】

A Cartesian Closed Category of Approximable Concept Structures

机译：近似概念结构的笛卡尔封闭类别

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical structures which are normally not restricted to the finite cases. In this paper we establish a systematic connection between formal concept analysis and domain theory as a categorical equivalence, enriching the link between the two areas as outlined in [25]. Building on a new notion of approximate concept introduced by Zhang and Shen, this paper provides an appropriate notion of morphisms on formal contexts and shows that the resulting category is equivalent to (a) the category of complete algebraic lattices and Scott continuous functions, and (b) a category of information systems and approximable mappings. Since the latter categories are cartesian closed, we obtain a cartesian closed category of formal contexts that respects both the context structures as well as the intrinsic notion of approximable concepts at the same time.
机译：无限的上下文及其对应的晶格具有理论和实践意义，因为它们可以与通常不限于有限情况的其他数学结构提供联系和见解。在本文中，我们建立了形式概念分析和领域理论之间的系统联系，作为范畴对等，丰富了[25]中概述的两个领域之间的联系。本文基于Zhang和Shen提出的一种新的近似概念，在形式上下文中提供了适当的形态学概念，并证明了所得的类别等同于（a）完全代数格和Scott连续函数的类别，以及（ b）一类信息系统和近似映射。由于后面的类别是笛卡尔封闭的，因此我们获得了形式上下文的笛卡尔封闭类别，该类别同时尊重上下文结构以及近似概念的内在概念。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号