Brendan and David’s early paper on applied category theory is also a good resource