4 ms·Reddit AMA: Brendan Fong and David Spivak about Applied Category Theory3 points by wisnesky 7y ago