Commutativity and Kleisli laws of codensity monads of probability measures
이 논문은 확률 측도의 코디던스 (codensity) 단위를 통해 Giry 단위와의 클라이슬리 (Kleisli) 법칙 존재성, 마르코프 범주와 관련된 라크 단조성 및 아핀성 조건, 그리고 데이 컨볼루션을 통한 텐서곱의 특징화 등 확률 단위의 세 가지 핵심 성질을 체계적으로 분석하고 증명합니다.
🔢 Category
math.CT
52 편의 논문
Formal extension of noncommutative tensor-triangular support varieties
이 논문은 비가환 텐서-삼각형 지지 다양체 이론을 비컴팩트 부분으로 확장하는 방법을 제시하고, 특정 조건 하에서 확장된 지지 이론이 영 대상을 감지함을 증명하여 최근의 추측을 부분적으로 확인합니다.
Norms in equivariant homotopy theory
이 논문은 Bachmann-Hoyois 가 도입한 진 G-스펙트럼의 노름 대수 -범주가 임의의 유한군 에 대해 G-대칭 스펙트럼 내의 엄밀히 가환 대수로 모델링됨을 증명하고, 이를 통해 초가환 글로벌 링 스펙트럼의 -범주를 다양한 G-스펙트럼 범주들의 부분적으로 느슨한 극한으로 재해석하며, 이를 위해 매개변수화된 고차 대수 분야에서 새로운 결과들을 제시합니다.
Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
이 논문은 입력에 따라 출력이 즉시 결정되는 시스템 (Mealy 머신) 과 보조 변수가 입력에 의해 매개변수화되는 재고 및 흐름 다이어그램을 구성하기 위해 종속 방향 와이어링 다이어그램의 연산자와 그 대수를 도입하고, 이를 Mealy 머신으로 해석하는 의미론을 제시합니다.
A local treatment of finite alignment and path groupoids of nonfinitely aligned higher-rank graphs
이 논문은 비유한 정렬 고차원 그래프에 대해 국소적 유한 정렬 부분을 식별하고, 이를 통해 국소 콤팩트 경로 및 경계 경로 공간과 그람다이드를 정의하며, 기존 이론을 확장하고 증명한 결과를 제시합니다.
The Grothendieck group of an extriangulated category
이 논문은 외삼각 범주 내의 -강성 부분 범주에 대한 분할 그로텐디크 군을 연구하여, 실팅 부분 범주와 -클러스터 틸팅 부분 범주에 대한 그로텐디크 군의 동형 관계를 증명하고, 유형의 -클러스터 범주에 대한 그로텐디크 군의 구체적인 구조를 규명합니다.
Convex Duality Made Difficult
이 논문은 최적화 문제를 대상으로 하는 범주를 정의하고 범주론적 방법을 통해 미니맥스 정리와 볼록 함수의 레전드르 쌍대성 ((f*)*=f) 과 같은 기존 결과를 재도출함으로써 볼록 최적화 연구에 새로운 관점을 제시합니다.
Composable Uncertainty in Symmetric Monoidal Categories for Design Problems
이 논문은 마르코프 범주와 enriched 범주의 베이스 변경 구성을 활용하여 대칭 모노이달 범주에 불확실성을 통합함으로써, 공학적 설계 문제와 베이지안 학습 등 다양한 응용 분야에 적용 가능한 새로운 범주론적 틀을 제시합니다.
A Critical Pair Enumeration Algorithm for String Diagram Rewriting
이 논문은 대칭 모노이드 범주에서 프라베니우스 구조가 없는 문자열 다이어그램 재작성 시스템의 모든 임계 쌍을 열거하고 그 정확성과 포괄성을 증명하여, 임계 쌍 분석을 자동화하는 알고리즘을 제시합니다.
Fractured Structures in Condensed Mathematics
이 논문은 Lurie 의 의미에서 응집된 애니마 (condensed anima) 의 -토포스에 분열된 구조 (fractured structure) 를 구성하여 응집된 애니마의 성질을 규명하고 극단적으로 비연결 공간 (extremally disconnected spaces) 의 극한을 분석함으로써 클라우젠 (Clausen) 의 질문에 답하고 추가적인 분열 구조 후보들을 배제합니다.
Homotopy Posets, Postnikov Towers, and Hypercompletions of -Categories
이 논문은 호모토피 집합과 군, 연결성 및 절단 사상, 세포적 구성 등 기본적인 호모토피적 개념이 -범주와 -범주로 enriched 된 presentable 범주로 확장될 수 있음을 보이며, 이를 통해 Postnikov 타워와 관련된 구조와 완비성을 규명합니다.
Model structure arising from one hereditary complete cotorsion pair on extriangulated categories
이 논문은 약한 멱등 완비 외삼각 범주에서 한 개의 유전적 완전 코트론 쌍을 사용하여 모델 구조와의 대응 관계를 확립하고, 실팅 객체 및 코-t-구조를 통해 모델 구조를 구성하는 방법을 제시합니다.
Additive Enrichment from Coderelictions
이 논문은 미분 선형 범주에서 코더리렉션이 이산적 설정에서도 정의될 수 있음에도 불구하고, 쌍대대수 합성을 통해 가법적 풍부화를 유도하여 미분 선형 범주를 코더리렉션을 갖춘 모노이달 쌍대대수 모달리티로 특징짓고 코더리렉션의 유일성을 증명하며, 안티포드가 아벨 군으로의 풍부화와 어떻게 관련되는지 논의합니다.
The holonomy Lie -groupoid of a singular foliation I
이 논문은 기하학적 분해 (geometric resolution) 를 갖는 특이 foliation 에 대해, Androulidakis-Skandalis 의 bi-submersion 기법을 재귀적으로 적용하여 그 보편적 Lie -대수다발 (universal Lie -algebroid) 을 유한차원 Kan 단순 다양체로 적분하고, 그 1-절단 (1-truncation) 이 Androulidakis-Skandalis 홀로노미 군다발이 됨을 증명합니다.
Filter Quotient Model Structures
이 논문은 필터 몫 구성이 모델 범주 구조를 보존하고 특정 성질을 계승하지만 모든 성질을 계승하지는 않으며 필터 몫 -범주 구성과 호환됨을 증명합니다.
Can a Lightweight Automated AI Pipeline Solve Research-Level Mathematical Problems?
이 논문은 차세대 대규모 언어 모델을 인용 기반 검증에 최적화된 경량 자동화 파이프라인에 통합하여 ICCM 및 'First Proof'와 같은 연구 수준의 수학 문제들을 해결하고 그 증명을 검증 및 공개했다는 점을 보여줍니다.
Ganea decompositions of classifying spaces
이 논문은 콤팩트 연결 리 군의 분류 공간 에 대한 호모토피 분해를 연구하여, 특정 쌍의 Borel 섬유화에 대한 조건을 제시하고 이를 통해 얻어지는 공간들의 유리수 계수 코호몰로지 및 -이론을 명시적으로 계산하며, 고전적 Ganea 정리를 -범주론으로 확장하는 부록을 포함합니다.
Proceedings Eighth International Conference on Applied Category Theory
이 논문은 2025 년 6 월 플로리다 대학교에서 개최된 제 8 회 응용 범주론 국제 학술대회 (ACT2025) 의 개요와 컴퓨터 과학, 양자 계산 등 다양한 분야의 연구 결과를 담은 Proceedings 의 내용을 소개합니다.
Revisiting colimits in and homotopy category
이 논문은 가중 콜리미트와 심플리셜 집합의 성질을 활용하여 범주의 (코)완비성과 호모토피 범주 함자의 존재를 체계적으로 증명하고, 이를 통해 내의 동등자와 국소화 구성을 재정의합니다.
Proto-exact categories and injective Banach modules
이 논문은 프로토-정확 범주에서의 덮개와 포락에 대한 기본 이론을 개발하고, 이를 적용하여 임의의 바나환 위의 바나브 모듈 범주가 충분한 사영성을 가진다는 것을 증명합니다.