Diagrama comutativo: diferenças entre revisões

No seguinte diagrama exemplificando o [[teorema de isomorfismo]], comutatividade significa <math>f = \tilde{f} \circ \pi</math>:

 

 

De seguida está um quadrado comutativo genérico no qual <math>h \circ f = k \circ g</math>:

 

 

===Símbolos===

'''Procura por diagrama''' (sugere-se para [[português]] do [[inglês]] ''diagram chasing'') é usado especialmente na [[álgebra homológica]]. Dado um diagrama comutativo, a prova por procura por diagrama envolve a utilização das propriedade do diagrama, tais como mapeamento [[Função injectiva|injectivo]], [[Função sobrejectiva|sobrejectivo]], ou [[Sequência exacta|sequências exactas]]. Este [[silogismo]] é construído para que o aspecto gráfico do diagrama é apenas uma auxílio. Parte do princípio que se procura (''persegue'') elementos à volta do diagrama até que o elemento ou resultado desejado seja construído ou verificado.

 

 

==Diagramas como functores==

 

==Referências==

 

==Ligações externas==