首页|A representation of L-domain by formal concept analysis

A representation of L-domain by formal concept analysis

扫码查看
原文链接
  • NSTL
  • Springer Nature
Abstract In this paper, we represent L-domains by means of formal concept analysis. Based on the attributive continuous formal contexts, we propose the notions of LDF-contexts and F\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {F}}$$\end{document}-morphisms and show that they provide concrete representations of L-domains and Scott-continuous functions between them, respectively. Moreover, the category of LDF-contexts with F\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {F}$$\end{document}-morphisms is proven to be equivalent to that of L-domains with Scott-continuous functions as morphisms.

LDF-contextF\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {F}}$$\end{document}-morphismL-domainScott-continuous functionCategorical equivalenceFormal concept analysis

Wang Shengwen、Li Qingguo

展开 >

Hunan University

2022

10.1007/s00500-022-07326-y

Soft computing

Soft computing

EISCI
ISSN：1432-7643
年,卷(期)：2022.26(19)
  • 1
  • 31