Welcome, Steele!

That sounds really intriguing.

Could you describe a small example of how you apply category theory to the design of software?