Category theory was founded on topics like algebraic topology, so there's actually a rich framework of analogies to draw on between the two topics. The problem is, most of us aren't algebraic topologists.
I want to find a better set of analogies between category theory and software engineering, that aren't so coupled to yet other fields of mathematics. I feel like they exist, but in a lot of ways, I'm still in the pre-rigor phase on category theory :(
