Natural Transformation

간단한? 설명

”자연성(naturality)“은 수학에서 함수나 변환자(transformer) 사이의 관계가 다른 수학적인 구조를 변형해도 변환의 특성을 유지하는 것을 의미합니다. 이러한 관계는 수학적인 구조 간에 일관성을 유지하며 변환을 적용할 수 있도록 해줍니다.

예를 들어, 두 개의 함수 F와 G가 있고, 어떤 구조에서 F와 G를 적용할 때 일관성이 유지된다고 가정해봅시다. 그렇다면 이 두 함수 사이의 관계는 “자연성”을 가진다고 할 수 있습니다. 즉, 어떤 변환을 적용하더라도 결과가 일관성 있게 유지되는 것입니다.

Reference

• Natural_transformation
• 모나드의 모든 것
• FunctionalProgramming