Category theoretic ideas in data engineering systems design

I have been reading – at a very shallow level – about category theory ( wiki ), and thinking about its applicability to software and system design for data engineering. This post is a loose collection of thoughts on the subject, and a manifesto for employing a more rigorous language when building such systems …