3 ms·MIT spinout offering up to $1.5M to ventures in Applied Category Theory4 points by mathgenius 7y ago