迈向透镜定律的完整图景
编程语言
2019-10-24 v1 数据库
摘要
双向变换，亦称透镜（lens），在众多应用领域维持一致性方面发挥着重要作用。一个透镜由一对前向与后向函数指定，二者以一致的方式相互关联。该关联被形式化为一组称为透镜定律的方程。本报告研究了透镜定律间精确的依赖关系：哪条定律蕴含另一条，以及哪些定律的组合蕴含另一条。此类蕴含关系构成一个复杂的图结构。以轻量级方式检验双向变换的良定义性将有所助益。
引用
@article{arxiv.1910.10421,
title = {Towards a Complete Picture of Lens Laws},
author = {Keisuke Nakano},
journal= {arXiv preprint arXiv:1910.10421},
year = {2019}
}
备注
Proceedings of the Third Workshop on Software Foundations for Data Interoperability (SFDI2019+), October 28, 2019, Fukuoka, Japan