Skip to content(if available)orjump to list(if available)

Categorical Foundations for Cute Layouts

Categorical Foundations for Cute Layouts

4 comments

·September 22, 2025
Visit

jonathrg

Needs to be capitalized as CuTe

bgavran

This is an interesting writeup, I wonder if the authors considered a categorical approach to representation of general applicative arrays (which might be tree-shaped), as described here (https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/a...) or here (https://github.com/bgavran/TensorType)

carterschonwald

This is neat. Reminds me that I am like a decade overdue to write up my own work in this part of array computation

andersa

Suggest watching this as an intro to what this is about! https://www.youtube.com/watch?v=ufa4pmBOBT8