Dictionary
Words, grammatical forms and meanings linked to the ontology.
generalized element en · NOUN
Meanings
-
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.
1995, Colin McLarty, Elementary Categories, Elementary Toposes, Oxford University Press, →ISBN, page 17:
Forms
Hyponyms
generic element