"A goal of the ACT community is to bridge the gap between theorists using category-theoretic modeling tools and those who want to use the models to say somethin

"A goal of the ACT community is to bridge the gap between theorists using category-theoretic modeling tools and those who want to use the models to say something useful and true about the world" This is key. Sure category theoretic abstractions are useful as a common language. Lot's of theorems are applicable in many domains. The hard thing is understanding all this stuff and mapping it into your domain.