Isomorfismo (teoria das categorias)
De Wikipedia, a enciclopédia encyclopedia
Um isomorfismo (ou iso), no contexto de teoria das categorias, é uma seta invertível. Mais precisamente, uma seta numa categoria é um isomorfismo se e somente se existe tal que e . Nesse caso, , a inversa de , é única, e denotada por .
Toda seta iso é mono e epi, embora o contrário não seja necessariamente verdade. Por exemplo, na categoria formada por dois objetos e , os morfismos identidade, e um único morfismo , é um monomorfismo e um epimorfismo, porém não é um isomorfismo.
Em conjuntos podemos pensar uma seta iso como sendo uma função bijetora.