퍼지 하이퍼 BCK 대수의 범주 연구
본 논문은 퍼지 하이퍼 BCK‑대수의 범주를 정의하고, 그 범주가 곱, 동등자, 동등화자, 공동동등화자를 모두 갖는 완비 범주임을 증명한다. 이를 통해 풀백(pullback)과 같은 기본적인 범주론적 구조가 존재함을 확인한다.
저자: Joseph Dongho
본 논문은 퍼지 하이퍼 BCK‑대수(Fuzzy Hyper BCK‑Algebra)의 범주(FH)를 정의하고, 그 범주가 여러 기본적인 범주론적 구조를 갖는 완비 범주임을 증명한다.
**1. 서론**에서는 하이퍼 구조가 1934년 F. Marty에 의해 도입된 배경과, Y.B. Jun 일행이 이를 BCK‑대수에 적용한 선행 연구를 소개한다. 이어서 퍼지 하이퍼 BCK‑대수의 개념을 제시하고, 논문의 목표를 명시한다.
**2. 기본 정의**에서는 다음을 차례로 정의한다.
- **하이퍼 연산** ∗: H×H→P⁎(H) (비공집합들의 집합).
- **하이퍼 순서** x < y ↔ O∈x∗y, 그리고 집합 간 순서 A < B ↔ ∀a∈A ∃b∈B (a
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기