Although not explicitly stated this application [1] of codesign for engineerring problems is actually built using category theory [1]: https://arxiv.org/abs/15

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 https://arxiv.org/abs/1512.08055