Applied Category Theory
David Spivak has a company, <a href="http://conexus.ai" rel="nofollow">http://conexus.ai</a>, that is applying category theory to data migration as described in 7 sketches.  It will soon be expanding and soliciting proposals to fund applied category theory start-ups in many domains, as well as providing some example proposal ideas. Watch <a href="http://ventures.conexus.ai" rel="nofollow">http://ventures.conexus.ai</a> over the coming weeks for details.