주입공간과 여접의 범주론적 접근
이 논문은 집합 위의 모나드 T와 양자대 V 로 정의되는 (T,V)‑이론을 바탕으로 T‑범주, T‑함자, T‑모듈을 전개하고, 가중 콜리밋과 여접을 도입한다. 핵심 결과는 코콤플리트 T‑범주가 정확히 완전 충실한 T‑함자에 대해 주입(injective)인 경우와 동치이며, 이러한 범주들은 Set 위의 적절한 모나드의 대수와 일치한다는 점이다. 또한 옴니버스 Yoneda 함자의 좌측 여접 존재가 코콤플리트성을 보장하고, 이 구조가 기존 위상공간 …
저자: Dirk Hofmann
본 논문은 “주입공간과 여접의 범주론적 접근”이라는 제목 아래, 집합 위에 정의된 모나드 T와 양자대 V를 결합한 topological theory (T,V,ξ)를 기반으로 새로운 범주론적 구조를 전개한다.
1. **서론 및 배경**
저자는 기존의 위상공간을 각각의 객체와 ultrafilter‑convergence을 화살표로 보는 관점을 소개한다. Lawvere의 1973년 논문을 확장하여, ultrafilter와 점 사이의 수렴 관계 x→x 를 화살표로 해석하고, 이를 통해 위상공간 자체를 하나의 범주로 보는 “spaces are categories” 사상을 제시한다. 이 아이디어를 일반화하기 위해, 화살표의 값이 Boolean 2 가 아니라 일반 양자대 V 에 놓일 수 있음을 강조한다.
2. **(T,V)‑이론의 정의**
- **양자대 V**: 완전 폐쇄된 모노이드 (V,⊗,k) 이며, ⊥
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기