Tag
This paper introduces a categorical framework to formalize the layout algebra in NVIDIA's CUTLASS library, defining categories and morphisms to characterize tensor layouts, and provides a Python implementation with proofs of compatibility.