Un conjunto es una colección de objetos. Donde la noción de pertenencia es falsa o verdadera.
Como concepto es la base de todo el método abstracto de la matemática.
Aquí la noción de objetos debe ser tomada en un sentido amplio, por ejemplo el conjunto de los algoritmos para resolver cúbicas...
La categoría de conjuntos consiste en el estudio de las propiedades operacionales utilizando conjuntos. Un ejemplo es estudiar las diferentes formas de transformar de uno a otro (función).
La categoría de conjuntos es el ejemplo inicial de muchos tipos de categorías. Otras categorias son: La categoría de grupos, la categoría de espacios vectoriales, la categoría de los espacios topológicos...