nLab injective-on-objects functor

Contents

Contents

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:

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.