## 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