함수 범위의 객체에서 도식으로의 전이와 응용

본 논문은 “함수 Φ: A→S와 Ψ: B→S 사이에 많은 객체 a∈A에 대해 Φ(a)≅Ψ(b)인 b∈B가 존재한다”는 전제 하에, 이러한 관계를 단순 객체 수준에서 포스셋 P에 인덱싱된 복잡한 도식까지 확장할 수 있는 일반적인 범주론적 프레임워크를 구축한다. 핵심 아이디어는 ‘라더(larder)’와 ‘리프터(lifter)’라는 두 가지 새로운 구조를 도입하는 것이다. 라더는 A, B, S와 두 함수 Φ, Ψ, 그리고 ‘이중 화살표(double arrow)’라는 특수 사상을 포함하는 데이터 체계이며, 리프터는 포스셋 P가 ‘각 주축이 조인‑세미라티스이며, 유한 부분집합의 상한 집합이 유한히 생성된 상위 부분집합’이라는 조합론적 조건을 만족하도록 하는 구조이다. 논문의 첫 번째 장에서는 배경과 동기, 그리고 기존의 대표적인 문제(그라츠어‑슈미트 정리, 비판점 문제, 격자 확장 문제 등)를 소개한다. 이어서 기본 개념(집합 이론, 보석 대수, 포스셋, 범주론, 유도된 콜리밋 등)을 정리하고, k‑프레젠테이션과 약한 k‑프레젠테이션, 그리고 함수의 유도된 콜리밋 확장에 대한 이론을 전개한다. 두 번째 장에서는 ‘의사 조인‑세미라티스(pseudo join‑semilattice)’와 ‘P‑스케일드 불 대수’를 정의하고, 이들의 구조적 성질을 분석한다. 특히 P‑스케일드 불 대수의 정상 사상과 정규 커버링, 그리고 구조 2