The category\mathbf {Set} is the category where the objects are (small) sets, the morphisms are functions between these sets, composition is function composition ((g \circ f)(x) \triangleq g(f(x))) and identity is just the identity function \lambda x. x.