오리톢 [902596] · MS 2019 · 쪽지

2022-06-22 20:03:14
조회수 76

Cov

게시글 주소: https://orbi.kr/00057263964

A: X 가 만약에 path, locally path, semi locally simply connected이고 x_0를 X의 base point 라고 하면 X의 covering space 카테고리랑 Right pi_1(X,x_0)-set 카테고리랑 같은 카테고리야. 왜냐면 pi_1(X,x_0)는 pi(X)의 full subcategory이고 X가 path connected니까 pi_1(X,x_0)에서 pi(X)로 가는 inclusion이 equivalence of category이고 그래서 Func(pi(X),Set)와 Func(pi_1(X,x_0),Set)이 같은 카테고리고 후자는 Right pi_1(X,x_0)-set 카테고리랑 같고 covering 카테고리랑 Funct(pi(X),Set)이랑 같은 카테고리잖아.

B: 이건 또 무슨 추상적인 개소리야?

0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.

오리톢 [902596]

쪽지 보내기


  • 첫번째 댓글의 주인공이 되어보세요.