Ponencia: A Category-Theoretic Framework for Algebraic Composition in Models of High-Level Computation
