functor = https://en.wiktionary.org/wiki/functor

두 범주,category사이의 사상,map?

tmp from 함수#s-12 ( 함자 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
bifunctor x
바이펑터 /// 이런건 검색엔진의 thesaurus에 들어 있지 않아서 이렇게 검색하는 것도 한글문서를 찾는데 도움이 되는듯하다
bifunctor
바이펑터
bifunctor
바이펑터
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
covariant_functor x (2023-08-24)
Covariant_functor
Functor#Covariance_and_contravariance
https://mathworld.wolfram.com/CovariantFunctor.html
"covariant functor"
}
contravariant_functor =,contravariant_functor =,contravariant_functor . contravariant_functor
{
contravariant functor
REL contravariance 함자,functor
contravariant_functor o
Contravariant_functor
Functor#Covariance_and_contravariance
https://mathworld.wolfram.com/ContravariantFunctor.html
"contravariant functor"
}

endofunctor =,endofunctor . endofunctor
{
https://ncatlab.org/nlab/show/endofunctor
} // endofunctor endofunctor endofunctor

functor_category =,functor_category =,functor_category . functor_category
{

functor_category o
= https://en.wiktionary.org/wiki/functor_category

}