nLab FinInj

Idea

FinInjFinInj (or FinSet injFinSet_inj) is the wide subcategory of FinSet with its morphisms restricted to monomorphisms (injective functions).

It may be characterised as:

Created on September 25, 2022 at 12:13:02. See the history of this page for a list of all contributions to it.