平滑算法中的组合性
摘要：反向过滤正向引导（BFFG）是一种双向算法，由Mider等人[2021]提出，并在Van der Meulen和Schauer[2022]中在一般情况下进行了更深入的研究。在范畴论中，光学已被提出用于建模具有双向数据流的系统。我们将BFFG与光学连接起来，并证明了组合BFFG的构建模块的不同方法对应于等价的光学。
作者：Moritz Schauer and Frank van der Meulen
论文ID：2303.13865
分类：Category Theory
分类简称：math.CT
提交时间：2023-03-31