David Spivak has a company, http://conexus.ai http://conexus.ai, that is applying category theory to data migration as described in 7 sketches. It will soon be

David Spivak has a company, http://conexus.ai http://conexus.ai, 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 http://ventures.conexus.ai http://ventures.conexus.ai over the coming weeks for details.