nLab strict morphism




A strict morphism is a morphism for which the notion of regular image and regular coimage coincide.

Compare with strict epimorphism.


In a category with limits and colimits

Let CC be a category with finite limits and colimits. Let f:cdf : c \to d be a morphism in CC.

Recall that the regular image of ff is the limit

Imflim(dd cd), Im f \simeq lim( d \rightrightarrows d \sqcup_c d ) \,,

i.e. the equalizer of dd cdd \rightrightarrows d \sqcup_c d,

while the regular coimage is the colimit

Coimfcolim(c× dcc). Coim f \simeq colim( c \times_d c \rightrightarrows c) \,.

By the various universal properties, there is a unique morphism

u:CoimfImf u : Coim f \to Im f

such that

c f d Coimf u Imf. \array{ c &\stackrel{f}{\to}& d \\ \downarrow && \uparrow \\ Coim f &\stackrel{u}{\to}& Im f } \,.

The morphism ff is called a strict morphism if uu is an isomorphism.


Examples of categories in which every morphism is strict include

Last revised on August 8, 2018 at 13:15:28. See the history of this page for a list of all contributions to it.