Objeto terminal
Origem: Wikipédia, a enciclopédia livre.
Objeto terminal, no contexto de Teoria das categorias, é um objeto especial em uma categoria.
O objeto terminal, t, é simplesmente a noção dual de objeto inicial. Significa que, dado um objeto b da categoria, existe um único .
Em Set qualquer conjunto unitário (conjunto com um único elemento) é terminal. Isto ocorre pois, dado qualquer outro conjunto, só existe uma função total com origem neste conjunto e destino no conjunto unitário, que é a função constante (aquela em que os valores da função para todo o domínio são iguais).
[editar] Ver também
[editar] Ligações externas
- Categories, Types and Structures por Andrea Asperti e Giuseppe Longo
- Lâminas para um curso curto de Teoria das Categorias por Carlos Campani
[editar] Referências
- Mac Lane, Saunders (1998). Categories for the Working Mathematician (2nd ed.). Graduate Texts in Mathematics 5. Springer. ISBN 0-387-98403-8.
- Barr, Michael & Wells, Charles, Category Theory for Computing Science, Prentice Hall, London, UK, 1990.
- Asperti, Longo, "Categories, Types, and Structures", The MIT Press, Cambridge, Massachusetts, London, England.
Conceitos e construções categoriais:
Objeto | Morfismo | Categoria | Objeto inicial | Objeto terminal
Monomorfismo | Epimorfismo | Isomorfismo | Limite | Colimite
Produto categorial | Coproduto categorial | Equalizador | Coequalizador
Produto fibrado | Soma amalgamada | Cone | Cocone | Functor
Transformação natural | Objeto exponencial | Adjunção