Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
Resultados no título das páginas
- {{DEFAULTSORT:Funtores Plenos Fieis}} [[Categoria:Funtores]] ...3 kB (506 palavras) - 10h30min de 17 de dezembro de 2018
Resultados no conteúdo das páginas
- .../var> → <var>C</var>}}, sempre [[funtores plenos e fiéis|fiel]], e que é [[funtores plenos e fiéis|pleno]] se e só se a subcategoria é plena.<ref>{{harv | Mac ...1 kB (222 palavras) - 13h25min de 25 de fevereiro de 2020
- ...m definição e aplicação de uma seqüência ''K<sub>n</sub>(R)'' de [[Functor|funtores]]<ref>Barr, Michael & Wells, Charles, Category Theory for Computing Science ...1 kB (206 palavras) - 16h11min de 22 de outubro de 2021
- {{DEFAULTSORT:Funtores Plenos Fieis}} [[Categoria:Funtores]] ...3 kB (506 palavras) - 10h30min de 17 de dezembro de 2018
- **[[Produto tensorial de funtores]] ...2 kB (301 palavras) - 18h09min de 13 de fevereiro de 2019
- é um [[funtores plenos e fiéis|functor pleno e fiel]].<ref name=riehlYon/> Em particular, c ...2 kB (327 palavras) - 22h31min de 11 de fevereiro de 2020
- ...]] (isto é, tal que a coleção de seus objetos forma um conjunto), então os funtores contravariantes de ''C'' para '''Set''', juntamente com as transformações n ...8 kB (1 306 palavras) - 22h00min de 5 de julho de 2023
- ...ath>F : C \to D</math> ser parte de uma equivalência de categorias é ser [[funtores plenos e fiéis|functor pleno, fiel]] e ''essencialmente sobrejetivo'' (isto ...4 kB (583 palavras) - 13h09min de 21 de abril de 2020
- ...rvar que os símbolos que aparecem em um universo de Herbrand são [[functor|funtores]] e [[constantes]] de L. ...4 kB (730 palavras) - 14h41min de 3 de março de 2019
- 5 kB (723 palavras) - 03h34min de 27 de janeiro de 2025
- * {{math|<var>G</var>}} é [[funtores plenos e fiéis|fiel]] se e só se cada {{math|<var>ε</var><sub><var>d</var>< * {{math|<var>G</var>}} é [[funtores plenos e fiéis|pleno]] se e só se cada {{math|<var>ε</var><sub><var>d</var> ...21 kB (3 460 palavras) - 19h57min de 26 de outubro de 2023
- ...ativas e funcionais da fala da linguagem, e entre os símbolos para função (funtores de nome) e símbolos para relação (predicados). Até mesmo conectivos lógicos ...7 kB (1 163 palavras) - 14h51min de 28 de junho de 2020
- ...|relação homogênea]] em ''A'' e a segunda em ''B''. Como as imagens desses funtores hom estão em '''Rel''' própria, neste caso hom é um [[functor hom interno]] ...7 kB (1 014 palavras) - 13h02min de 6 de maio de 2024
- 8 kB (1 410 palavras) - 14h40min de 11 de fevereiro de 2020
- 15 kB (2 503 palavras) - 19h46min de 30 de novembro de 2023
- ...ta medem o defeito do produto tensorial não ser exato à esquerda. Todos os funtores Tor de ordem mais alta são montados no produto tensorial derivado. ...56 kB (9 304 palavras) - 13h26min de 27 de agosto de 2022
- ...do <math display="inline">\mathrm{Vect}_{\mathbb{F}}</math> ), e [[Functor|funtores]] <math display="inline">P \to D</math> são chamados de '''módulos de persi ...arbitrárias <math display="inline">D,E</math>. Então, para quaisquer dois funtores <math display="inline">F,G:P\to D</math>, tem-se <math display="inline">d_I ...89 kB (13 314 palavras) - 21h05min de 13 de maio de 2023