Contents

category theory

# Contents

## Idea

The notion of a constant morphism in a category generalises the notion of constant function.

## Definition

###### Definition

A constant morphism in a category $\mathcal{C}$ is a morphism $c\colon B \to C$ with the property that if $f,g\colon A \to B$ are morphisms in $\mathcal{C}$ then $c \circ f = c \circ g$. In other words, for every object $A$, at most one morphism from $A$ to $C$ factors through $f$.

Thus, $c$ is a constant morphism if the function $c_* \colon \mathcal{C}(A,B) \to \mathcal{C}(A,C)$ given by composition with $c$ is a constant function for every object $A$.

Another definition that is sometimes used is the following.

###### Definition

If $\mathcal{C}$ has a terminal object, then $c:B\to C$ is constant iff it factors through this terminal object.

If $\mathcal{C}$ does not have a terminal object, then we can reformulate this by saying that the image of $c$ under the Yoneda embedding, $(c\circ -) \colon \mathcal{C}(-,B)\to \mathcal{C}(-,C)$, factors through the terminal presheaf. In elementary terms, this means that we can choose for each object $X$ a morphism $f_X:X\to C$ such that (1) $f_B=c$ and (2) the $f_X$ are natural in $X$, i.e. for any $g:Y\to X$ we have $f_X g = f_Y$.

This second definition implies the first, but they are not equivalent in general. In the category of sets, the first implies the second if the set $B$ is inhabited, or if the set $B$ is empty set and the set $C$ is inhabited. (By excluded middle, $B$ is either inhabited or empty, so it suffices to assume that $C$ is inhabited with no assumption about $B$.)

More generally, if $c\colon B \to C$ is a morphism in a category $\mathcal{C}$, then the two definitions are equivalent if $\mathcal{C}(A,B)$ is inhabited for every $A$, since we can then define $f_X = c g$ for some (hence any) $g:A\to B$. If $\mathcal{C}$ has a terminal object $1$, then this is equivalent to the existence of a global section $b\colon 1 \to B$.

See the forum for further discussion of this.

## Relation to (sub)terminal objects

The identity morphism on an object $B$ satisfies definition 1 if and only if $B$ is subterminal; it satisfies definition 2 iff $B$ is terminal. In particular, the identity function on the empty set satisfies definition 1 but not definition 2.

## Examples

Using the two-point set, it is simple to show that the constant morphisms in Set are precisely the constant functions.

Last revised on April 16, 2021 at 12:28:38. See the history of this page for a list of all contributions to it.
{"ft_lang_label":"__label__en","ft_lang_prob":0.93197477,"math_prob":0.99977595,"size":1938,"snap":"2022-40-2023-06","text_gpt3_token_len":421,"char_repetition_ratio":0.14943123,"word_repetition_ratio":0.0057636886,"special_character_ratio":0.21775025,"punctuation_ratio":0.11627907,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9999881,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-10-03T07:10:09Z\",\"WARC-Record-ID\":\"<urn:uuid:099fe8be-18d4-4829-87a9-e41e69c38a36>\",\"Content-Length\":\"31194\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:0bb41c25-f6ed-404f-a8de-b7aee5dc038c>\",\"WARC-Concurrent-To\":\"<urn:uuid:c6348b0b-f1c2-473e-93d6-eb3a981f1afc>\",\"WARC-IP-Address\":\"172.67.177.13\",\"WARC-Target-URI\":\"https://ncatlab.org/nlab/show/constant+morphism\",\"WARC-Payload-Digest\":\"sha1:WJMUUDXOV2WCBDAXUP3RN5I6B62CF7VS\",\"WARC-Block-Digest\":\"sha1:DMYOPVNORS6ZBKHRYFJW3RATOA5JCYWF\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-40/CC-MAIN-2022-40_segments_1664030337404.30_warc_CC-MAIN-20221003070342-20221003100342-00284.warc.gz\"}"}