主要观点：范畴论为知识表示和数据库系统提供数学基础，现有流行方法将数据库实例建模为集合与函数范畴的函子或集合、关系和蕴含的 2 -范畴的 2 -函子，通过双函子将函数和关系模型统一到集合、函数、关系和蕴含的双范畴中，以易理解、实例驱动的方式表明“关系双范畴”的抽象结构是表示知识的灵活且有表现力的语言，并展示了柯德关系代数精神下的数据查询如何被双函子语义捕获。
关键信息：12 页，含参考文献和附录，将发表于 ACT 2024，涉及范畴论（math.CT）、数据库（cs.DB）、计算机科学逻辑（cs.LO）领域，引用为[arXiv:2403.19884]（math.CT）或[arXiv:2403.19884v2]（math.CT），通过 DataCite 发布 arXiv 分配的 DOI 为[https://doi.org/10.48550/arXi...]，有提交历史，从 Evan Patterson 提交，v1 于 2024 年 3 月 28 日 23:48:48 UTC，v2 于 2024 年 6 月 17 日 18:55:45 UTC，大小均为 158KB。