 Category of injective functions

The category of injective functions is the full subcategory of $[2,\mathbf{Set}]$ whose objects are injective functions. It is cartesian closed: products are computed pointwise, and exponentiating an injection by any arrow again gives an injection.