Although not explicitly stated this application [1] of codesign for engineerring problems is actually built using category theory

[1]: https://arxiv.org/abs/1512.08055