Na teoria das categorias, uma adjunção ( F , G , ϕ ) : C ⇀ D {\displaystyle (F,G,\phi ):C\rightharpoonup D} é uma tripla consistindo de dois functores...

definir o conceito de equivalência de categorias. Ver artigo principal: Adjunção (teoria das categorias) Uma adjunção entre functores F : C → D e G : D →...

mesma que a unidade da adjunção) e multiplicação μ = GεF : T2 ⇒ T. A seguir, exemplos de mônades provenientes de adjunções: A adjunção entre o functor livre...

matéria prima adicionada à forma farmacêutica Adjunção (teoria das categorias) Adjunção (teoria dos corpos) ADJ Assistente Agregado Atributo Junta Todas as páginas...

Na teoria das categorias, limites e colimites generalizam diversas construções, sendo produtos e coprodutos uns de seus mais simples casos particulares...

Na teoria das categorias, equivalência de categorias é o conceito "correto" para dizer se categorias são "essencialmente as mesmas". Assim como objetos...

Na teoria das categorias, um objeto exponencial é um objeto que representa o conjunto de morfismos entre dois objetos, de modo que generaliza a ideia...

natural para matemática baseada em categorias. Antes de estudar topos, é necessário conhecimento em teoria das categorias. O classificador de subobjetos é...

Na teoria das categorias, a extensão de Kan trata do problema de aproximar um functor por outro functor definido em outra categoria. O conceito recebe...

substituição ou adjunção". "Substituição" substitui um nó fronteira com outra árvore cujo nó superior tem o mesmo rótulo; e "Adjunção" insere uma árvore...

adjunção é válida para um adjunto tem que se manter válida para todos os conjuntos. Os axiomas de Peano também podem ser entendidos usando a teoria das...