Score: 0
A Toolkit for Structured Lifts
Published: December 17, 2025 |
arXiv ID: 2512.14988v1
By: Chris Kapulkin, Yufeng Li
We develop a general framework for working with structured lifting problems, establishing closure and uniqueness properties of their solutions. In a subsequent paper, we apply these results to axiomatize computation rules of cubical type theory.
Similar Papers
85%
Combinatory Completeness in Structured Multicategories
Category Theory
Makes computers understand math rules better.
21 Nov 2025
0
85%
A Judgmental Construction of Directed Type Theory
Logic in Computer Science
Makes computer code safer and more organized.
20 Oct 2025
0
85%
Mechanizing Synthetic Tait Computability in Istari
Programming Languages
Makes computer proofs correct and easier.
14 Sep 2025
0