[논문 리뷰] Categories vs. groupoids via generalised Mal'tsev properties

Nelson Martins-Ferreira, Tim Van der Linden|arXiv (Cornell University)|2012. 06. 13.

Advanced Algebra and Logic인용 수 9

한 줄 요약

이 논문은 일반화된 Mal'tsev 성질을 가진 범주에서 내부 범주와 내부 군oids 간의 구별을 조사하며, 균형 잡힌 Mal'tsev 범주에서 핵 쌍과 등식자를 갖는 경우, 내부 전순서가 동치관계임과 정확히 일치할 때 내부 범주와 군oids가 일치함을 보여준다—등가로는, 그 다양체가 n-순서화 가능임을 의미한다. 주요 기여는 이중 곱에 의존하지 않는 내재된 범주적 구조를 통한 n-순서화 가능성의 새로운 특성화이며, 함의 대수를 사용하여 약한 Mal'tsev, Goursat 이지만 Mal’tsev가 아닌 다양체를 구성하는 것이다.

ABSTRACT

We study the difference between internal categories and internal groupoids in terms of generalised Mal'tsev properties---the weak Mal'tsev property on the one hand, and $n$-permutability on the other. In the first part of the article we give conditions on internal categorical structures which detect whether the surrounding category is naturally Mal'tsev, Mal'tsev or weakly Mal'tsev. We show that these do not depend on the existence of binary products. In the second part we focus on varieties of algebras.

연구 동기 및 목표

• 일반화된 Mal'tsev 성질에 따라 내재된 범주와 내재된 군oids 간의 차이를 이해하기 위해.
• 이중 곱에 의존하지 않고 내재된 범주적 구조를 사용하여 자연스러운 Mal’tsev, Mal’tsev, 그리고 약한 Mal’tsev 범주를 특성화하기 위해.
• 특히 보편 대수의 다양체의 맥락에서, 약한 Mal’tsev 범주에서 내재된 범주가 언제 내재된 군oids가 되는지 조사하기 위해.
• 특히 내재된 전순서가 동치관계임과 같은 조건을 포함하여, 내재된 구조에 기반한 n-순서화 가능성의 새로운 특성화를 제공하기 위해.
• 약한 Mal’tsev 및 Goursat 이지만 Mal’tsev가 아닌 범주를 체계적으로 구성함으로써 이러한 성질들이 독립적임을 보여주는 예를 제시하기 위해.

제안 방법

• 이중 곱에 의존하지 않고, 핵 쌍과 분할된 당김을 기본 구조로 사용한다.
• 반사적 그래프가 최대 하나의 내재된 범주적 구조를 갖는 약한 Mal’tsev 범주 개념을 적용한다.
• 내재된 범주에서 다중 곱 그래프로의 忘却 함자(forgotten functor)를 사용하며, 핵 쌍과 등식자를 갖는 약한 Mal’tsev 범주에서 이것이 동형임을 보여준다.
• Mal’tsev 조건을 일반화한 새로운 준항성 조건을 도입하여 약한 Mal’tsev 준다양체를 정의한다.
• Hagemann의 정리(정리 4.3)와 그 확장(정리 4.8)을 사용하여 Goursat(3-순서화 가능) 준다양체에서 약한 Mal’tsev 준다양체를 구성한다.
• 특정 곱 테이블을 가진 함의 대수를 사용하여 구체적인 예를 구성함으로써, Mal’tsev 조건을 만족하지 않음에도 불구하고 약한 Mal’tsev 및 Goursat 조건을 만족하는 비Mal’tsev 행동을 보여준다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 범주에서 내재된 범주와 내재된 군oids가 일치하는가?
• RQ2 내재된 범주적 구조, 예를 들어 다중 곱 그래프와 전순서를 사용하여 약한 Mal’tsev 성질을 어떻게 특성화할 수 있는가?
• RQ3 약한 Mal’tsev 범주에서 n-순서화 가능성과 내재된 전순서가 동치관계임의 성질 간의 관계는 무엇인가?
• RQ4 약한 Mal’tsev 및 Goursat 성질을 갖지만 Mal’tsev가 아닌 범주가 존재할 수 있으며, 이러한 예를 어떻게 시스템적으로 구성할 수 있는가?
• RQ5 n-순서화 가능 다양체에서 내재된 범주가 내재된 군oids가 되기 위해 약한 Mal’tsev 성질이 반드시 필요한가?

주요 결과

• 핵 쌍과 등식자를 갖는 약한 Mal’tsev 범주에서, 내재된 범주에서 다중 곱 그래프로의 忘却 함자는 동형이다.
• 내재된 군oids에서 내재된 범주로의 忘却 함자는 동형이 되는 것과 정확히 일치할 조건은 모든 내재된 전순서가 동치관계임이다.
• 유한한 준다양체에서, 모든 내재된 전순서가 동치관계임의 조건은 어떤 n에 대해 n-순서화 가능임과 동치이다.
• 준항성 조건 (ba)x = (ab)c = (ba)x′ 및 (bc)x = (cb)a = (bc)x′ ⇒ x = x′ 을 만족하는 함의 대수의 다양체는 약한 Mal’tsev 준다양체이지만 Mal’tsev가 아니다.
• 정리 4.8의 구성은 약한 Mal’tsev, Goursat 이지만 Mal’tsev가 아닌 준다양체를 체계적으로 생성할 수 있게 하며, 이러한 성질들이 상호 독립적임을 보여준다.
• 이 논문은 n-순서화 가능 다양체에서 약한 Mal’tsev 성질이 내재된 범주가 내재된 군oids가 되도록 보장하기 위해 불필요하다는 것을 보여주며, n-순서화 가능성 자체로도 충분하다.