nLab
injective-on-objects functor

Injective-on-objects functors

A functor between strict categories is called injective-on-objects if its object-function is injective. Injective-on-objects functors are exactly the isocofibrations in $Cat$.

Related pages

basic properties of…

• functors

  • faithful functor

  • full functor

  • full and faithful functor

  • injective-on-objects functor

  • essentially surjective functor

    • surjective-on-objects functor

    • bijective-on-objects functor

  • essentially surjective and full functor

  • equivalence of categories

• 2-functors

  • full and faithful 2-functor

  • locally fully faithful 2-functor

  • equivalence of 2-categories

• (∞,1)-functors:

  • fully faithful (∞,1)-functor

  • essentially surjective (∞,1)-functor

  • equivalence of (∞,1)-categories