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.