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.


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


You can also use the contact form below: