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,
the cofibrations in the canonical model structure on categories (also in the canonical model structure on groupoids).
basic properties of…
Last revised on November 1, 2023 at 06:59:36. See the history of this page for a list of all contributions to it.