Math-Ct
재작성 2 이론의 일반적 일관성 정리와 응용
두 사각형 보조정리와 연결 사상
반사와 공반사의 신비한 동등성
이중 범주에서의 모나드
n 변환 이론을 통한 약한 오메가 구조와 함수의 새로운 접근
트리포스에서 토포스로의 2범주적 분석
컴팩트 생성 코‑t‑구조에 관한 새로운 관점
범주적 갈루아 이론으로 보는 상대적 교환자
스미스와 후크 조건의 일치: 별곱 그래프와 효과적 동치 관계의 새로운 연결
마그마 등급의 기본 구조와 강한 등급링의 새로운 전이
명목 집합 위의 대수 이론과 변수 바인딩
프로토가법자와 파생 토션 이론 및 동차동류
모노이달 모나드의 형식 이론
위상수학을 통한 수학 통합
M(E,I) 집합의 동류군 토션 연구
이론제시 조합자: 이론 라이브러리의 핵심 구성 요소
클레이슬리 데이터베이스 인스턴스와 모나드 활용
삼각구조와 단순 하강 범주의 동형론적 해석
두꺼운 부분범주에서 삼각형 범주의 국소화와 공국소화
대칭 모노이달 범주를 위한 텐서곱 구조
양자 조화진동자 범주론적 해석
토릭 완전 교차 칼라 야우 범주 자동동형의 유니포텐스
