https://filesoo.com/product/71615/synthetic-philosophy-of-contemporary-mathematics