En matemática, la categoría de conjuntos es categoría cuyos objetos son todos los conjuntos y los morfismos son las funciones.