Morfismo (teoria das categorias): diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 1:
'''Morfismo''' (ou '''seta'''), no contexto de [[Teoria das categorias]], é um dos elementos que formam uma [[categoria (teoria das categorias)|categoria]]. Podemos entender uma categoria como sendo uma coleção de elementos chamados [[objeto (teoria das categorias)|objetos]] e ''morfismos'' entre estes objetos. A única operação exigida é a ''composição de morfismos''.
Na categoria '''Set''' objetos são [[conjunto]]s e morfismos são as funções (totais) entre eles. No entanto, no caso geral de categorias, um paralelo entre morfismos e funções nem sempre é válido. Um exemplo é a categoria '''Rel''' que possui relações como morfismos.
{{teoria das categorias}}
| |||