I have just learned that an MIT spinout offering up to $1.5M to ventures in Applied Category Theory. Here is the RFP link: Conexus RFP
Reading the above document I think the Pijul project could fit the bill.
8 Likes