"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.