Really interesting application of category theory, I'd love to see a nonlinear editor with a good UI. Don't know if the general public would bite, but I think there could be a niche market there.
As an aside, thanks @ColinWright for another high quality submission. HN needs more of these kinds of articles.