2‑공여한 빌리밋으로 토포이 구축

본 논문은 2‑공여한(diagram) 토포이들의 빌리밋 존재를 체계적으로 구축한다. 서두에서는 2‑범주와 토포이 이론의 기본 용어를 정리하고, 의사콘(pseudo‑cone)과 그 변형인 의사콜리밋(pseudo‑colimit)의 정의를 명확히 한다. 특히, 의사콘의 구성 요소와 연산 규칙(pseudo‑cone equations)을 상세히 제시하고, 이를 이용해 의사콘 사이의 변환(modification)의 조건을 증명한다(섹션 1). 다음으로, 카테고리 CAT⁽ᶠˡ⁾—유한극한을 보존하고 정확한(functor)들만을 허용하는 2‑범주—가 2‑공여한 의사콜리밋에 대해 닫혀 있음을 정리 1.6에서 인용한다. 이 정리는