I only read two pages on homotopy so far, I cannot answer that :)

		agumonkey on July 7, 2017 \| parent \| context \| favorite \| on: Where Do Type Systems Come From? I only read two pages on homotopy so far, I cannot answer that :)