A functor $F\colon C \to D$ is essentially injective if it is injective on objects “up to isomorphism”, namely on isomorphism classes of objects.
$F\colon C \to D$ is essentially injective or essentially injective on objects if, for any two objects $c$ and $c'$ of $C$, if there is an isomorphism $F(c) \cong F(c')$ in $D$, then $c \cong c'$ in $C$. (The converse holds trivially, since functors preserve isomorphisms.) Equivalently, a functor is essentially injective if and only if it is injective on isomorphism classes.
A functor between discrete categories (or, more generally, skeletal categories) is essentially injective iff it is a injective function between the classes of objects.
An injective-on-objects functor is essentially injective if its image is skeletal, but not generally otherwise.
A composite of any two essentially injective functors is essentially injective.
If $g f$ is essentially injective, then $f$ is essentially injective.
A conservative functor is essentially injective when it is full. More generally, any pseudomonic functor is essentially injective. More generally still, any fully faithful functor is essentially injective.
Some sources call this property “isomorphism reflecting” or “isomorphism creating”. However, such terminology more accurately refers to conservative functors.
basic properties of…
Last revised on August 23, 2023 at 05:17:30. See the history of this page for a list of all contributions to it.