基于一阶谓词和范畴论的形状与形状型

Shape and Shape Type Based on the First Order Predicate and Category Theory

为了对形状的语义分析进行更加深入地研究,在形式系统、一阶谓词演算和范畴论的基础上,给出了形状及形状型的定义,并讨论了形状与形状型在计算机科学中的应用.

In order to deepen the research of shape semantics analysis,the paper gives the definition of shape and shape type and applications in computer sciences based on formal system,predicate of first order calculus and category theory.