Infranatural transformation という便利そうな用語を発見したので・・・ Infranatural transformation Natural transformation から naturality 要件を除いたもの。要はただの族。 これを transformation と呼ぶ場合もある*1一方、natural transformation(的な…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。