como provavelmente é conhecido neste momento, eu amei o livro de Scott Aaronson "Por que todo filósofo deve se importar com a Teoria da Complexidade Computacional" Se eu tivesse uma varinha mágica, gostaria que esses dois também existissem: - Por que todo filósofo deve se importar com a Teoria dos Tipos de Homotopia - Por que todo filósofo deve se importar com Feixes e Óptica Categórica

seriam perfeitos se escritos de forma semelhante ao de Scott - algo com um apelo amplo, não muito sobrecarregado com a maquinaria e mais com os conceitos, e como eles são úteis para pensar sobre questões existentes ou interesses que outros campos possam ter

os feixes como uma formalização de "contexto" / a natureza distribuída contextual da informação, e as lentes (no sentido da óptica categórica) como "agentes e suas conexões" provavelmente fariam com que alguns jovens pesquisadores de ML tivessem enormes momentos de eureka que levariam a pesquisas interessantes, mas infelizmente não há um populista por aí que tenha os ombros largos o suficiente para escrever essa obra-prima, eu acho.

as tentativas atuais são demasiado formais e estão demasiado sobrecarregadas pela maquinaria