category-theory 將代理人架構形式化：基於超圖類別與函子的 AGI 比較語言 這篇工作論文提出一套以類別論為核心的代數化框架，目標是描述、比較並分析不同的通用人工智慧（AGI）建築。作者把「建築」視為由感知埠、動作通道、記憶空間等介面，以及政策、推論、動力學與學習更新等原始計算模組，還有若干結構化連線圖示所生成的自由超圖類別。
