https://newsopener.com/science/infinity-category-theory-offers-a-birds-eye-view-of-mathematics/