Yes! This isn&#x27;t an accident. Erik Meijer, who contributed extensively to the Reactive Framework at Microsoft, has been very vocal about his use of category theory for software design. (<a href="https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=JMP6gI5mLHc" rel="nofollow">https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=JMP6gI5mLHc</a>) He currently runs Applied Duality which is uses category theory as its guiding design principle (<a href="http:&#x2F;&#x2F;www.applied-duality.com&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.applied-duality.com&#x2F;</a>)