MIT spinout offering $1.5M to ventures in Applied Category Theory · HackerTrans