Lambda calculus has a couple constructions that look superficially quite different from the set-theory ones, but satisfy the category-theoretic requirements.
… as does the set-theoretic one.
ETA: Now that I read more closely, you didn’t imply otherwise.
… as does the set-theoretic one.
ETA: Now that I read more closely, you didn’t imply otherwise.