理解可视化：一种使用范畴论与符号学的形式化方法
计算机科学中的逻辑
2013-11-21 v1 图形学
人机交互
摘要
本文结合符号学与范畴论的词汇，对可视化进行了形式化分析。文章展示了熟悉的可视化过程如何契合 Saussure 和 Peirce 的符号学框架，并利用范畴论工具扩展这些结构，从而提供一个理解实践中可视化的通用框架，包括：系统之间的关系、从这些系统收集的数据、以表示形式呈现这些数据、阅读这些表示以创建可视化，以及利用这些可视化来创建对受检系统的知识和理解。通过展示熟悉的信息可视化概念（如字面性、敏感性、冗余性、歧义性、通用性和图表垃圾）如何自然地从该框架中产生并能够被形式化且精确地定义，验证了所得框架的有效性。本文推广了先前关于可视化形式化特征的工作（其中包括 Ziemkiewicz 和 Kosara 的工作），并使我们能够形式化地区分先前工作未能区分的可视化过程属性。
引用
@article{arxiv.1311.4376,
title = {Understanding Visualization: A Formal Approach using Category Theory and Semiotics},
author = {Paul Vickers and Joe Faith and Nick Rossiter},
journal= {arXiv preprint arXiv:1311.4376},
year = {2013}
}
备注
15 pages, 14 figures