faithful functor

短语

词形变化

faithful functors 复数 faithful functors

释义与例句

n.
  1. 1.

    A functor which maps morphisms from its source to its target category in such a way that the restriction of that mapping to any source hom-set is injective into the corresponding target hom-set.

    计算机 工程 数学