MIT spinout offering $1.5M to ventures in Applied Category Theoryreddit.com8 points·wisnesky··0 commentsOpen articleSaveView on HN