jak zapewne wiadomo w tym momencie, uwielbiałem książkę Scotta Aaronsona "Dlaczego każdy filozof powinien interesować się teorią złożoności obliczeniowej" Gdybym miał magiczną różdżkę, chciałbym, aby te dwie również istniały: - Dlaczego każdy filozof powinien interesować się teorią typów homotopowych - Dlaczego każdy filozof powinien interesować się sheafami i optyką kategoryczną

byłyby idealne, gdyby były napisane podobnie do tekstów Scotta - coś o szerokim zasięgu, niezbyt obciążone technikaliami, a bardziej koncentrujące się na koncepcjach i tym, jak są użyteczne w myśleniu o istniejących pytaniach lub zainteresowaniach, które mogą mieć inne dziedziny.

wiązki jako formalizacja "kontekstu" / kontekstowa rozproszona natura informacji oraz soczewki (w sensie optyki kategorycznej) jako "agenci i ich okablowanie" najprawdopodobniej sprawią, że niektórzy młodzi badacze ML doświadczą ogromnych momentów eureka, które prowadzą do interesujących badań, ale niestety nie ma populisty, który miałby wystarczająco szerokie ramiona, aby napisać to arcydzieło, myślę.

aktualne próby są zbyt formalne i zbyt obciążone machiną