generalized element

名词 n.

英文释义

名词 n.
  1. 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