Shape and Shape Type Based on the First Order Predicate and Category Theory
LU Su-kui
Journal of Hebei University (Natural Science Edition) . 2010, (3): 323 -326 .  DOI: 10.3969/j.issn.1000-1565.2010.03.021