Dowodzenie Popularną metodą dowodzenia, szczególnie w algebrze homologicznej, jest tzw. diagram chasing (ściganie [elementów] po diagramie). Dla danego diagramu przemiennego „dowód przez ściganie” polega na formalnym wykorzystaniu jego własności, takich jak iniektywność, czy suriektywność przekształceń albo ciągi dokładne. W wyniku tego postępowania konstruuje się sylogizm, dla którego graficzne przedstawienie w postaci diagramu jest tylko pomocą wzrokową. Nazwa ma swoje źródło w metodzie dowodzenia: „ściga” się elementy po całym diagramie, aż skonstruuje się upragniony element lub sprawdzi poprawność wyniku.
Linki zewnętrzne [dostęp 2025-12-04].
Kategoria:Teoria kategorii