A categoria dos conjuntos, ou Set, é a categoria cujos objetos são conjuntos e os morfismos são funções.