như có lẽ đã được biết đến ở thời điểm này, tôi rất thích cuốn sách của Scott Aaronson "Tại sao mọi triết gia nên quan tâm đến Lý thuyết Độ phức tạp Tính toán" Nếu tôi có một cây đũa thần, tôi sẽ muốn hai cuốn sách này cũng tồn tại: - Tại sao mọi triết gia nên quan tâm đến Lý thuyết Kiểu Homotopy - Tại sao mọi triết gia nên quan tâm đến các Sheaves và Quang học Phân loại

chúng sẽ hoàn hảo nếu được viết tương tự như của Scott - một cái gì đó có sức hấp dẫn rộng rãi, không bị ràng buộc quá nhiều với cơ chế mà nhiều hơn với các khái niệm, và cách chúng hữu ích để suy nghĩ về các câu hỏi hiện có hoặc những mối quan tâm mà các lĩnh vực khác có thể có.

các bó như một hình thức hóa của "bối cảnh" / bản chất phân phối theo ngữ cảnh của thông tin, và các ống kính (theo nghĩa quang học phân loại) như "các tác nhân và cách kết nối của chúng" sẽ rất có khả năng khiến một số nhà nghiên cứu ML trẻ tuổi có những khoảnh khắc eureka lớn dẫn đến những nghiên cứu thú vị nhưng thật buồn là không có ai đủ sức mạnh để viết nên kiệt tác đó mà tôi nghĩ.

các nỗ lực hiện tại quá chính thức và bị ràng buộc bởi cơ chế quá nhiều