Definition:Variable Element

Definition

Let $\mathbf C$ be a metacategory, and let $C$ be an object of $\mathbf C$.

A variable element of $C$ is a morphism $f: B \to C$ with codomain $C$.

Also known as

Some authors speak of generalized elements.

Also see

• Definition:Constant (Category Theory)

Sources

• 2010: Steve Awodey: Category Theory (2nd ed.) ... (previous) ... (next): $\S 2.3$