tmp from 함수#s-12 ( 함자 redir to )
범주론,category_theory에서는 사상,morphism의 대상으로 mathematical_structure, 그리고 범주,category 그 자체를 대상으로 삼아서
집합론적인 함수 개념과는 달라진다.
예를 들어서 부등호,inequality_sign도 범주론에선 관계,relation가 존재한다고 보고 이를 사상으로 취급할 수 있다.
이런 식으로 확장된 사상 중에서,
범주론,category_theory에서는 사상,morphism의 대상으로 mathematical_structure, 그리고 범주,category 그 자체를 대상으로 삼아서
집합론적인 함수 개념과는 달라진다.
예를 들어서 부등호,inequality_sign도 범주론에선 관계,relation가 존재한다고 보고 이를 사상으로 취급할 수 있다.
이런 식으로 확장된 사상 중에서,
- 두 범주 간의 사상으로서
- 사상끼리의 합성,composition과 항등사상,identity_morphism을 보존하는 것 // 보존,conservation?
MKLINK
bifunctor =,bifunctor =,bifunctor . bifunctor
{
bifunctor
쌍함자 via kms .... https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=bifunctor
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
바이펑터 /// 이런건 검색엔진의 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)
" A functor between bicategoryies" { bicategory https://en.wikipedia.org/wiki/Bicategory bicategory x (2023-08-24) bicategory x (2023-08-24) 바이카테고리 bicategory }
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
}
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
}
}
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
preserves the directions of arrows
"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
reverses the directions of arrows
"contravariant functor"}
endofunctor =,endofunctor . endofunctor
{
https://ncatlab.org/nlab/show/endofunctor
} // endofunctor endofunctor endofunctor
{
https://ncatlab.org/nlab/show/endofunctor
} // endofunctor endofunctor endofunctor
}
in functional_programming ¶
pagename 펑터,functor로 할까?
lionhairdino - 한 번쯤 나올 법 했는데, 아직 없었던 펑터 이야기
https://lionhairdino.github.io/posts/2023-03-09-functor.html
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
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