Category of injective functions
= Category of injective functions
{title2=$\operatorname{Mono}(\mathbf{Set})$}
The category of injective functions is the full subcategory of $[\mathbf 2,\mathbf{Set}]$ whose objects are <injective function>[injective functions]. It is cartesian closed: products are computed pointwise, and exponentiating an injection by any arrow again gives an injection.