<https://www.scientificamerican.com/article/infinity-category-theory-offers-a-birds-eye-view-of-math...