## A helpful field-guide See a cool visualuization from Quanta Magazine<iframe src="https://www.quantamagazine.org/the-map-of-mathematics-20200213/" allow="fullscreen" allowfullscreen="" style="height:100%;width:100%; aspect-ratio: 4 / 3; "></iframe> ![[Layers of abstraction.png]] ## What are the important fields to know about? ### Behavior and composition is described by [[Category Theory]] ### Structure is described by [[Algebraic Structures]] ### Relationships can be viewed using [[Graph Theory]] ### Self-consistency can be validated by [[Type Theory]] ## Reasoning about Ideas as vectors ### We can use [[Latent Spaces]] to formally talk about ideas ### The relationship between [[Spaces]] and [[Type Theory]] is defined by Homotopy Type Theory