Is there a characterisation of functors F:CD satisfying the following condition:

  • For each XObj(Cats), the postcomposition functor

    F:Fun(X,C)Fun(X,D)

    is conservative?

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: