underlying functor

名词 n.

英文释义

名词 n.
  1. a forgetful functor
    — 3.1.10 Example If you forget [that] you can compose arrows in a category and you forget which arrows are the identities, then you have remembered only that the category is a graph. This gives an underlying functor U#58;#92;mathbf#123;Cat#125;#92;rightarrow#92;mathbf#123;Grf#125;, since every functor is a graph homomorphism although not vice versa.

词形变化

0 次浏览 数据来源: Wiktionary