おそらくご存知の通り、私はスコット・アーロンソンの『なぜすべての哲学者は計算複雑性理論を気にすべきか』が大好きでした もし魔法の杖があれば、この二つも存在させるでしょう: - なぜすべての哲学者はホモトピー型理論に関心を持つべきか - なぜすべての哲学者は層と圏論光学に関心を持つべきか
スコットのように幅広い魅力を持ち、機械的な要素にこだわらず、概念や既存の問いや他分野の関心を考えるのに役立つものがあれば完璧でしょう
層は「文脈」や情報の文脈的分散性の形式化であり、レンズ(カテゴリー的光学的意味で)は「エージェントとその配線」として扱われるでしょう。若い機械学習研究者の中には大きなひらめきがあり、興味深い研究に至るかもしれませんが、残念ながらその傑作を書けるほど肩幅の広いポピュリストはいません
現在の試みはあまりにも形式的すぎ、機械的な動きに足止めされています
227