9.6.5 Essentially Injective Functors

Let C and D be categories.

A functor F:CD is essentially injective if it satisfies the following condition:

  • For each A,BObj(C), if F(A)F(B), then AB.

Is there a characterisation of functors F:CD such that:

  1. 1. For each XObj(Cats), the precomposition functor
    F:Fun(D,X)Fun(C,X)

    is essentially injective, i.e. if ϕFψF, then ϕψ for all functors ϕ and ψ?

  2. 2. For each XObj(Cats), the postcomposition functor
    F:Fun(X,C)Fun(X,D)

    is essentially injective, i.e. if FϕFψ, then ϕψ?

This question also appears as [MO 468125].


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: