2 papers
cs.LO2026
Compositional Program Verification with Polynomial Functors in Dependent Type Theory
C. B. Aberlé
We present a framework for compositional program verification based on polynomial functors in dependent type theory. In this framework, polynomial functors serve as program interfa…
math.CT2025
Double Orthogonal Factorization Systems
C. B. Aberlé, Elena Caviglia, Matthew Kukla +4
We define strict and lax orthogonal factorization systems on double categories. These consist of an orthogonal factorization system on arrows and one on double cells that are compa…