[bawolff]

Application in the sense they are using it is probably different than the sense you are using it. Although its still probably a fair question regardless.

[AlexCoventry]

Any application where Category Theory is making it substantially easier to express the software or reason about it is fair game, from my perspective.

[lgas]

How about https://arxiv.org/abs/1803.05316?