O Funtor HOM | Categorias para Não Matemáticos #1.12 (#04)

FAÇA PARTE DA NOSSA COMUNIDADE NO DISCORD: https://apoia.se/kaiquegalois Me segue no Instagram:   / kaiquegalois   00:00 - Introdução e Recapitulação da Aula 1 00:43 - O que são Categorias Localmente Pequenas e Hom-sets 01:59 - Proposição 6.1: O Funtor Representável Covariante Hom(A, -) 03:19 - Ação do Funtor nos Morfismos via Composição à Direita 04:42 - Demonstração: Preservação de Identidade e Composição 08:15 - O Funtor Representável Contravariante Hom(-, B) e Set^op 09:40 - Como Hom-sets Caracterizam Produtos Categoriais 11:04 - Construção do Morfismo Induzido para Diagramas de Produto 13:17 - Teorema: O Diagrama de Produto como Bijeção em Set 17:05 - A Categoria Set como Base Representadora de Categorias 17:56 - Corolário: O Funtor Hom Preserva Produtos Binários 18:45 - Conclusão da Aula 1 e Próximos Passos: Teorema da Dualidade