A Toolkit for Structured Lifts
Category Theory
2025-12-18 v1 Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.2512.14988,
title = {A Toolkit for Structured Lifts},
author = {Chris Kapulkin and Yufeng Li},
journal= {arXiv preprint arXiv:2512.14988},
year = {2025}
}
Comments
33 pages; comments very welcome