An object$U$ in a category$C$ is subterminal if any two morphisms with target$U$ but the same source are equal. In other words, $U$ is subterminal if for any object $X$, there is at most one morphism $X\to U$.

Definition

An umbrella category is a nonempty category $C$ such that for every object $X$ in $C$, there is at least one subterminal object $T$ such that $C(X,T)$ is nonempty (hence being a singleton).

Properties

If $C$ has a terminal object$1$, then $U$ is subterminal precisely if the unique morphism $U \to 1$ is monic; hence the name “sub-terminal.”

If the product$U \times U$ exists, it is equivalent to saying that the diagonal$U \to U \times U$ is an isomorphism.

Examples

The subterminal objects in a topos can be viewed as its “external truth values.” For example, in the topos $Sh(X)$ of sheaves on a topological space$X$, the subterminal objects are precisely the open sets in $X$.

Revised on February 17, 2014 01:50:15
by Cale Gibbard?
(99.247.222.118)