underlying functor
名词 n.
英文释义
名词 n.
-
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