endo

Jason Kim·2020년 9월 5일
0

endo-

그리스어가 어원으로 inner, internal, within등의 의미를 지닌다. 닫힌계를 의미한다. (참고: https://tpgns.github.io/2018/04/07/functors-and-categories/#fn5)

endofunction

정의역(domain)과 공역(codomain)이 같은 함수. 즉, 입출력 타입이 같은 함수 a -> a를 말한다. (참고: https://en.wikipedia.org/wiki/Endomorphism#Endofunctions)

endofunctor

functor는 한 카테고리에서 다른 카테고리로 mapping시킨다. 동일한 카테고리로 mapping이되면 endofunctor이다. haskell의 타입은 단일 카테고리로 구성되기 때문에 haskell에서의 functor는 사실상 모두 endofunctor이다.

0개의 댓글