generalized element
名词 n.
英文释义
名词 n.
-
A morphism whose codomain is some specified object.
— Thinking of x#92;in#95;AB as a generalized element, for any f#58;B#92;rightarrowC, we may write f(x) for the composite f#92;circx. In this notation the first domain–codomain axiom reads as follows: for any x#92;in#95;AB and f#58;B#92;rightarrowC there is a well-defined f(x)#92;in#95;AC; that is, at each stage A, f takes A-elements of B to A-elements of C.
词形变化
0 次浏览
数据来源: Wiktionary