日本語: extranatural transformationの満たすべき公理を示す可換図式。図式は「Ctegory Theory in Context」を基にしたが、圏BとCについて参照元とは逆の設定になっていることに注意 (
![{\displaystyle F:A\times B^{\mathrm {op} }\times B\to D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f24cdb94619aad02d86ba6ea0bda003106344264)
、
![{\displaystyle G:A\times C^{\mathrm {op} }\times C\to D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/075f2fb50124ce2a6c81fed3db0c2893764f532e)
となっている)。
English: An axiom for extranatural transformation, requiring naturality for a. Note that F and G are functor
![{\displaystyle F:A\times B^{\mathrm {op} }\times B\to D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f24cdb94619aad02d86ba6ea0bda003106344264)
and
![{\displaystyle G:A\times C^{\mathrm {op} }\times C\to D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/075f2fb50124ce2a6c81fed3db0c2893764f532e)
, that is different setting from "Category theory in Context" (Riehl, 2016).