网络小猫，或迈向范畴控制论的一些初步步骤
神经与进化计算
2021-01-27 v1 计算机科学与博弈论
范畴论
摘要
我们将控制论系统的范畴论概念定义为广义开放博弈的动态实现，连同一种 coherence 条件。我们表明该概念涵盖了计算神经科学与统计机器学习中广泛的一类控制论系统，揭示了它们的组合结构，并为皮层回路中经验观察到的双向结构提供了抽象依据。我们的构造建立在一个观察之上：贝叶斯更新以光学方式复合，我们沿此过程借助状态依赖随机信道的一个纤维范畴证明了这一事实。
引用
@article{arxiv.2101.10483,
title = {Cyber Kittens, or Some First Steps Towards Categorical Cybernetics},
author = {Toby St Clere Smithe},
journal= {arXiv preprint arXiv:2101.10483},
year = {2021}
}
备注
In Proceedings ACT 2020, arXiv:2101.07888. Includes a summary of arXiv:2006.01631