Delta Lenses and Opfibrations
Delta Lenses and Opfibrations
复制标题
Delta 镜头和优化
DOI：
10.14279/tuj.eceasst.57.875
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
R. Rosebrugh
中科院分区：
文献类型：
--
作者：
Michael Johnson;R. Rosebrugh
我们将Diskin等人的Delta透镜（也称为d-透镜）与作者已经研究过的c-透镜（已知等同于opfibrations）进行比较。 与预期相反，c透镜是d透镜，但不是相反。这个结果是令人惊讶的，因为d-透镜似乎提供了与c-透镜相同的信息，而且更多，这表明其含义将是相反的-d-透镜似乎是一种特殊的c-透镜。这个惊奇的来源可以追溯到这两个概念在处理某个基本逗号范畴$（G，1_\bV）$中的态射时的不同方式。 c-透镜和d-透镜都很重要，因为它们扩展了透镜的概念，以考虑在已知的状态之间的转换中可用的信息，这在实践中具有重要意义。
We compare the delta lenses, also known as d-lenses, of Diskin et al. with the c-lenses, known to be equivalent to opfibrations, already studied by the authors. Contrary to expectation a c-lens is a d-lens but not conversely. This result is surprising because d-lenses appear to provide the same information as c-lenses, and some more besides, suggesting that the implication would be the reverse -- a d-lens would appear to be a special kind of c-lens. The source of the surprise can be traced to the way the two concepts deal differently with morphisms in a certain base comma category $(G,1_\bV)$. Both c-lenses and d-lenses are important because they extend the notion of lens to take account of the information available in known transitions between states and this has important implications in practice.