보수적인 펑터

수학의 한 분야인 범주론에서 보수적인 펑터는 ${\displaystyle \mathrm{functor}}$ F${\displaystyle }$: ${\displaystyle C}$→ D ${\displaystyle F:$C의 어떤 형태론 f에 대해 F(f)가 이소모르퍼시즘이라는 것은 f가 이소모르퍼시즘이라는 것을 암시한다$.$

예

Grp에서 Set까지와 같이 대수학에서 건망증이 심한 펑커스는 보수적이다.더 일반적으로, 모든 모나디 펑터는 보수적이다.^[1]반대로, 탑에서 셋트로 이어지는 망각적인 펑터는 보수적이지 않다. 왜냐하면 모든 연속적인 편견이 동형상주의인 것은 아니기 때문이다.

균형 잡힌 범주에서 충실한 모든 사람들은 보수적이다.^[2]

참조

외부 링크

• nLab의 보수적인 펑터

이 범주 이론 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.

• v
• t