日本語: extranatural transformationの満たすべき公理を示す可換図式。図式は「Ctegory Theory in Context」を基にしたが、圏BとCについて参照元とは逆の設定になっていることに注意 (、 となっている)。
English: An axiom for extranatural transformation, requiring naturality for a. Note that F and G are functor and , that is different setting from "Category theory in Context" (Riehl, 2016).