notion数学对象的表现 [数学对象的表现]SimplicialCat 一种数学对象的表现 (presentation), 又称模型 (model), 是指由较少量, 简单, 具体, 容易计算的信息表现一些由抽象方法定义的结构. 通常被表现的那种抽象的结构在理论上更对称, 更优雅; 有时选取适当的表现, 在破坏了对称和优雅的代价下, 使这些对象更便于计算. 代数结构如群, 环, 模等可用一组生成元和关系表现. 模型范畴是一类具有良好性质的无穷范畴的表现.