Math-Ct
프로세스 대수의 시간 흐름에 대한 구형 실현과 입방형 기본 동형 유형
주입성 논리와 그 완전성
오른쪽 보스필드 국소화의 존재와 적용
조합적 모델 범주와 접근 가능성
모델 범주에서 강화된 좌부스필드 국소화에 관한 연구
선형 범주의 내재적 기본군
다중다각형의 볼록 껍질 구현
모듈러 텐서 범주에서 알제브라의 모리타 클래스와 전면 중심
좌우 파생함수 합성 비교를 위한 이중범주적 접근
정렬된 면 구조와 다대일 컴퓨탐
통합적 대수적 집합 이론 접근
K3 표면의 파생동형과 방향 보존
선형 술어 논리의 일관성 연구
다중점 d공간을 통한 구형 복합체의 동형론적 해석
확장된 위상양자장 이론과 중력의 새로운 연결
다이어그램 양자 프로토콜의 기저 구조 재정의
드모르간 법칙을 만족하는 분류 토포스
에레슈만의 발자취를 따라 군 기하학에서 군로이드 기하학으로
마수오카 정리의 이중범주적 확장 및 응용
다이어그램 추론의 새로운 패러다임
무한소 입방체 구조와 고차 연결
이중카테고리 일관성 재조명