morphisms-of-computational-structures icon indicating copy to clipboard operation
morphisms-of-computational-structures copied to clipboard

Published 20 hours ago • verified publisher icon prathyvsh

Track the history of topology and topos theory

Open prathyvsh opened this issue 4 years ago • 0 comments

Find out the details of how topology and topos theory influenced our understanding of computational structures. Might need to finish reading the work of Leo Corry for documenting this.

prathyvsh avatar Nov 30 '20 09:11 prathyvsh