数学、特に圏論において、可換図式()は、対象(あるいは"頂点")と射(あるいは"矢"、"辺")の図式であって、始点と終点が同じである図式のすべての向き付きの道が合成によって同じ結果になるようなものである。可換図式は代数学において方程式が果たすような役割を圏論において果たす(barr-wells,section 1.7を参照)。