Math-Ct
메트릭 풍부 범주와 근사 프라세 극한
코알지브라를 위한 강완전 논리
연산자 공간을 연결하는 범주론적 방법
푸카야 범주의 순환 동형성과 선형화된 접촉 동류학
푸시아웃과 정확성: 다이엑시트 범주에 대한 새로운 관점
L 퍼지 최강 사후조건 변환기의 선형 아핀 성질과 아이디포턴트 반모듈 구조
제한 범주와 풍부한 범주의 동등성
부분 순서 구조를 위한 프리스트리 이중성
표현가능 공간 위의 확장된 비에트로이스 모나드
카테고리 이론으로 보는 데이터베이스 쿼리와 제약
모노이달 컴퓨터 I 기본 계산 가능성 및 문자열 다이어그램
중간자 공격을 추적하는 모노이달 범주론
패턴 그래프 재작성 시스템
측정 기반 양자 컴퓨팅을 위한 ZX 그래프 접근법
모노이달 범주가 연결하는 기하와 대수의 새로운 시각
지속성 모듈의 구조와 안정성
다항식 다이어그램을 이용한 선형 논리 범주
범주론과 새로운 공리적 방법
지수형 클레이슬리 모노이드와 이멘베르 대수
