Generalized element

English

Noun

1. Template:Lb A morphism whose codomain is some specified object.
   • Template:Quote-book

     Thinking of $x{\in }_{A}B$ as a generalized element, for any $f:B\to C$, we may write $f(x)$ for the composite $f\circ x$. In this notation the first domain–codomain axiom reads as follows: for any $x{\in }_{A}B$ and $f:B\to C$ there is a well-defined $f(x){\in }_{A}C$; that is, at each stage A, f takes A-elements of B to A-elements of C.

Hyponyms

• Template:L