Hey mathstodon ...
Thinking about architecture and design of commercial data environments and software applications in more formal ways than the average set thinking dominating IT.
What is your experience with using category theory outside of a research scope?