#noindex
[[WtEn:functor]] = https://en.wiktionary.org/wiki/functor
----
두 [[범주,category]]사이의 [[사상,map]]?
----
tmp from Namu:함수#s-12 ( Namu:함자 redir to )
[[범주론,category_theory]]에서는 [[사상,morphism]]의 대상으로 [[mathematical_structure]], 그리고 [[범주,category]] 그 자체를 대상으로 삼아서
집합론적인 함수 개념과는 달라진다.
예를 들어서 [[부등호,inequality_sign]]도 범주론에선 [[관계,relation]]가 존재한다고 보고 이를 사상으로 취급할 수 있다.
이런 식으로 확장된 사상 중에서,
 * 두 범주 간의 사상으로서
 * 사상끼리의 [[합성,composition]]과 [[항등사상,identity_morphism]]을 보존하는 것 // [[보존,conservation]]?
을 '''함자,functor'''라고 한다. chk
----
MKLINK
[[bifunctor]] =,bifunctor =,bifunctor . bifunctor
{
bifunctor
쌍함자 via kms .... https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=bifunctor

https://en.wiktionary.org/wiki/bifunctor
 " A functor between [[bicategory]]ies" { WtEn:bicategory https://en.wikipedia.org/wiki/Bicategory KmsE:bicategory x ([[Date(2023-08-24T01:50:33)]]) Ndict:bicategory x ([[Date(2023-08-24T01:50:33)]]) Naver:바이카테고리 Naver:bicategory }
Ndict:bifunctor x
Naver:바이펑터 ''/// 이런건 검색엔진의 thesaurus에 들어 있지 않아서 이렇게 검색하는 것도 한글문서를 찾는데 도움이 되는듯하다''
Naver:bifunctor
Bing:바이펑터
Bing:bifunctor
Ggl:바이펑터
Ggl:bifunctor
"bifunctor"
}
[[representable_functor]] { https://encyclopediaofmath.org/wiki/Representable_functor }
[[adjoint_functor]]
{
수반함자, 딸림함자 via kms ... https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=functor
https://encyclopediaofmath.org/wiki/Adjoint_functor
}
[[faithful_functor]]
{
https://mathworld.wolfram.com/FaithfulFunctor.html
}
[[forgetful_functor]]
{
(also called underlying functor) (MW)

https://mathworld.wolfram.com/ForgetfulFunctor.html
}
[[covariant_functor]] =,covariant_functor =,covariant_functor . covariant_functor
{
covariant functor
REL [[covariance]] [[함자,functor]]
WtEn:covariant_functor x ([[Date(2023-08-24T01:50:33)]])
WpEn:Covariant_functor
WpEn:Functor#Covariance_and_contravariance
https://mathworld.wolfram.com/CovariantFunctor.html
 ''preserves the directions of arrows''
"covariant functor"
}
[[contravariant_functor]] =,contravariant_functor =,contravariant_functor . contravariant_functor
{
contravariant functor
REL [[contravariance]] [[함자,functor]]
WtEn:contravariant_functor o
WpEn:Contravariant_functor
WpEn:Functor#Covariance_and_contravariance
https://mathworld.wolfram.com/ContravariantFunctor.html
 ''reverses the directions of arrows''
"contravariant functor"
}

[[endofunctor]] =,endofunctor . endofunctor
{
https://ncatlab.org/nlab/show/endofunctor
} // endofunctor Naver:endofunctor Google:endofunctor


[[functor_category]] =,functor_category =,functor_category . functor_category
{

[[WtEn:functor_category]] o
= https://en.wiktionary.org/wiki/functor_category


}

= in functional_programming =
pagename [[펑터,functor]]로 할까?

[[applicative_functor]]
https://www.pls-lab.org/en/Applicative_functor

lionhairdino - 한 번쯤 나올 법 했는데, 아직 없었던 펑터 이야기
https://lionhairdino.github.io/posts/2023-03-09-functor.html



----
https://en.wiktionary.org/wiki/functor
https://artofproblemsolving.com/wiki/index.php/Functor
https://mathworld.wolfram.com/Functor.html
https://wiki.haskell.org/Category_theory/Functor
https://ncatlab.org/nlab/show/functor

[[범주론,category_theory]]