강화된 이중함수를 통한 동형 및 코동형 이론

논문은 크게 네 부분으로 구성된다. 첫 번째 장에서는 수치적으로 생성된(pointed) 공간의 정의와 기본 성질을 정리한다. 여기서 “수치적으로 생성된”이란, 각 공간이 연속적인 실수값 함수들의 집합으로부터 위상적으로 생성된다는 의미이며, 이러한 공간들은 일반적인 콤팩트-열린(Compact‑Open) 위상과 동형이면서도 스매시 곱에 대해 닫힌 구조를 갖는다. 저자는 이 범주가 완비(complete)와 코완비(cocomplete)임을 보이기 위해, 모든 작은 한계와 여극한이 존재함을 직접 구성하고, 특히 스매시 곱이 좌측 폐쇄(left adjoint)와 우측 폐쇄(right adjoint) 관계를 만족함을 증명한다. 두 번째 장에서는 풍부(enriched) 범주 이론을 도입한다. 스매시 곱을 텐서(tensor) 연산으로, 내부 함숫값을 내부 호몰로지(internal hom)로 삼아, 이 범주가 V‑enriched(여기서 V는 위상공간 범주) 구조를 갖는다는 것을 보인다. 이를 통해, 두 변수에 대해 동시에 연속성을 유지하는 이중함수(enriched bifunctor)를 정의할 수 있는 환경이 마련된다. 세 번째 장이 논문의 핵심으로, 저자는 “강화된 이중함수” F: 𝒞 × 𝒞 → 𝒞 를 도입한다. 여기서 𝒞는 앞서 정의한 수치적으로 생성된 포인티드 공간 범주이다. F는 두 입력 공간 X, Y에 대해 스매시 곱 X∧Y와 내부 함숫값