jak je už asi známo, miloval jsem knihu Scotta Aaronsona Proč by se měl každý filozof zajímat o teorii výpočetní složitosti Kdybych měl kouzelnou hůlku, nechal bych tyto dvě také: - Proč by se měl každý filozof zajímat o teorii homotopických typů - Proč by se měl každý filozof zajímat o svazky a kategorickou optiku

byly by perfektní, kdyby byly napsány podobně jako Scottovy – něco s širokým záběrem, ne příliš zatíženým mechanismy, ale spíše koncepty a tím, jak jsou užitečné pro přemýšlení o existujících otázkách nebo zájmech jiných oborů

svazky jako formalizace "kontextu" / kontextuální distribuované povahy informací a čočky (v kategorickém smyslu) jako "agenti a jejich zapojení" by pravděpodobně způsobily, že někteří mladí výzkumníci ML by měli obrovské eureka momenty, které vedou k zajímavému výzkumu, ale bohužel neexistuje populista, který by měl dost široká ramena napsat takové mistrovské dílo, myslím

Současné pokusy jsou příliš formální a příliš zatížené strojem