Informal definition
가 있는데, 다음 법칙들을 만족.
MKL
Pagename TBD
QQQ F의 정확한 의미... sigma-algebra의 sigma 비슷해 보이는데
morphism =,morphism =,morphism . 사상 morphism ...
모피즘,morphism?
사상,morphism?
{
morphism
morphism =
- 형태(셰이프,shape 피겨,figure ....)에 대한 것. 이건 몇 개 안 됨.
- 수학의 일반적인 뜻(esp 범주, 함수, 사상) - 보통 사상,morphism으로 번역되는 - 사상,map 사상,mapping 함수,function 연산,operation 연산자,operator 변환,transformation(curr 변환)과 거의 같은 그거
로 나눌 수 있음
사상
모피즘 ? // transliteration: morphism-모피즘 맞는듯, via '이소모피즘-isomorphism' via kornorms. / 근데 저 예 하나는 아이소에 가깝지 않나. 영어로는? -
isomorphism : "/àisəmɔ́:rfizm/". Yes, 아이소에 가까움.
//이하
연산,operation esp
이항연산,binary_operator
//and
연산자,operator(=
작용소,operator) esp
이항연산자,binary_operator(=
이항작용소,binary_operator) 와 mkl
결합법칙,associativity (vg) =,associativity =결합 ....
결합성,associativity 결합법칙,commutative_law ? or rule?
{
associativity
결합성?
4. tmp videos en / category theory ¶
metacategory =,metacategory =,metacategory . metacategory
{
metacategory
메타범주?
6.2. decategorification ¶
decategorification
decategorification =,decategorification =,decategorification . decategorification
{
(0:29)
범주란?
(6:50)
집합론적 함수와의 비교 //
집합론,set_theory
(즉 사상(함수)이 집합론적 함수에서 벗어났다)
1≤2에서 ≤는 집합론에서 말하는 함수는 아니다. 근데 범주론에선 사상이다.