[논문 리뷰] Categories of contexts

Marcel Erné|arXiv (Cornell University)|2014. 07. 02.

Rough Sets and Fuzzy Logic참고 문헌 13인용 수 7

한 줄 요약

이 논문은 개념적 준동형사상과 개념 연속 준동형사상이라는 두 가지 핵심 준동형사상 유형을 도입함으로써 형식적 문맥과 완전 격자 사이의 범주적 동치와 대칭성을 수립한다. 완전 준동형사상을 갖춘 완전 격자의 범주는 개념적 준동형사상 하에서의 문맥의 범주에 대한 전형적 반사 부분범주임을 보이며, 개념 연속 준동형사상 하에서는 이중의 준동형관계가 존재하여, 축소된 문맥과 비가역적으로 생성된 완전 격자 사이의 범주적 동치와 대칭성을 이끌어낸다.

ABSTRACT

Morphisms between (formal) contexts are certain pairs of maps, one between objects and one between attributes of the contexts in question. We study several classes of such morphisms and the connections between them. Among other things, we show that the category CLc of complete lattices with complete homomorphisms is (up to a natural isomorphism) a full reflective subcategory of the category of contexts with so-called conceptual morphisms; the reflector associates with each context its concept lattice. On the other hand, we obtain a dual adjunction between CLc and the category of contexts with so-called concept continuous morphisms. Suitable restrictions of the adjoint functors yield a categorical equivalence and a duality between purified contexts and doubly based lattices, and in particular, between reduced contexts and irreducibly bigenerated complete lattices. A central role is played by continuous maps between closure spaces and by adjoint maps between complete lattices.

연구 동기 및 목표

• 형식적 문맥과 그에 관련된 개념 격자 사이의 범주적 관계를 명확히 하기.
• 문맥 간에 두 가지 다른 준동형사상 유형인 개념적 준동형사상과 개념 연속 준동형사상의 정의와 분석하기.
• 완전 준동형사상과 함께 완전 격자의 범주가 개념적 준동형사상 하에서의 문맥의 범주에 대한 전형적 반사 부분범주임을 수립하기.
• 완전 준동형사상과 함께 개념 연속 준동형사상 하에서 완전 격자와 문맥 사이의 이중 준동형관계를 유도하기.
• 축소된 문맥과 비가역적으로 생성된 완전 격자 사이의 범주적 동치와 대칭성을 제한된 준동형자 함수를 통해 보여주기.

제안 방법

• 문맥 간의 사상 쌍으로서의 개념적 준동형사상은 인cidense를 유지하고, 사상에 대한 역상에 대한 닫힘 조건을 만족시키는 것으로 정의된다.
• 개념 연속 준동형사상은 인cidense를 반영하고, 일반화 및 특수화와 관련된 연속성 조건을 만족시키는 쌍으로 정의된다.
• 확장과 의도에 대한 닫힘 체계와 수반 사상들을 사용하여 완전 격자 맥락에서 연속성과 완전성의 특성을 기술한다.
• 개념 격자 함자를 사용하여 문맥을 그에 관련된 완전 격자로 매핑하고, 이가 개념적 준동형사상의 범주에서 반사자로 작용함을 보여준다.
• 수반 함자를 제한하여 축소된 문맥과 비가역적으로 생성된 격자 사이의 범주적 동치를 수립한다.
• 표준 문맥 함자를 사용하여 비가역 원소의 최소 합-기저와 교차 기저를 통해 격환에서 문맥을 재구성한다.

실험 결과

연구 질문

• RQ1 문맥 간의 개념적 준동형사상은 그들의 개념 격자 간의 완전 준동형사상과 어떻게 관련되어 있는가?
• RQ2 개념 연속 준동형사상 하에서의 문맥의 범주의 범주적 구조는 무엇이며, 완전 격자와 어떻게 관련되어 있는가?
• RQ3 완전 격자의 범주와 개념 연속 준동형사상이 있는 문맥의 범주 사이에 이중 준동형관계를 수립할 수 있는가?
• RQ4 어떤 조건에서 축소된 문맥과 비가역적으로 생성된 완전 격자 사이에 범주적 동치가 발생하는가?
• RQ5 완전 격자의 합-기저와 교차 기저는 이중성과 동치성 맥락에서 준동형사상과 어떻게 상호작용하는가?

주요 결과

• 완전 준동형사상과 함께 완전 격자의 범주는 개념적 준동형사상 하에서의 문맥의 범주에 대한 전형적 반사 부분범주이며, 반사자로 개념 격자 함자가 작용한다.
• 완전 준동형사상과 함께 개념 연속 준동형사상 하에서 완전 격자의 범주와 문맥의 범주 사이에 이중 준동형관계가 존재한다.
• 개념 격자 함자와 표준 문맥 함자를 통해 축소된 문맥의 범주와 비가역적으로 생성된 완전 격자의 범주 사이에 범주적 동치가 수립된다.
• 축소된 문맥의 범주와 개념 연속 준동형사상이 있는 비가역적으로 생성된 완전 격자의 범주 사이에 이중성이 확보되며, 이는 최소 합-기저와 교차 기저를 유지하는 완전 준동형사상에 의해 이루어진다.
• 축소된 문맥 간의 개념적 준동형사상은 그들의 개념 격자 간의 비가역성 유지 완전 준동형사상과 일대일 대응된다.
• 축소된 문맥에서의 잔여 및 잔여화된 준동형사상 쌍은 비가역적으로 생성된 격자에서의 대응하는 완전 준동형사상 유형과 등가이고 이중적인 관계를 이룬다.