Categoria dos conjuntos
categoria em matemática / De Wikipedia, a enciclopédia encyclopedia
Na área matemática da teoria das categorias, a categoria dos conjuntos, denotada por Set, é a categoria cujos objetos são conjuntos. As setas ou morfismos entre conjuntos A e B são as funções totais de A para B, e a composição de morfismos é a composição de funções.
Muitas outras categorias (como a categoria dos grupos, com homomorfismos de grupo como setas) adicionam estrutura aos objetos da categoria dos conjuntos e/ou restringem as setas a funções de um tipo particular.