可換図式
図式追跡(diagram chasing, diagram chase)とは、特にホモロジー代数において用いられる数学的証明の手法である。可換図式が与えられると、図式追跡による証明は、単射や全射あるいは完全列といった図式の性質の形式的な使用を伴う。三段論法が構成され、図式の図による表示はただの視覚的助けである。所望の元あるいは結果が構成されるか確認されると、図式の元を「追跡」することが終わる。
図式追跡による証明の例には、5項補題、スネーク補題、ジグザグ補題、9項補題の典型的な証明がある。