집단임? 아님 집합임? 어떻게 이해하면좋음?
[일반] 카테고리 이론에서 카테고리가 정확히 뭐임?
ScARfaC..(kayuaao)
2019-11-07 07:24
추천 0
댓글 13
다른 게시글
-
유한체 위에서 근의 공식은 어떻게 나타낼 수 있냐?[일반] 햏자를아시..(am1196) | 19.11.07추천 0
-
이 수는 무리수인가요? [10][일반] 익명(121.173) | 19.11.07추천 0
-
임고답안작성할 때 이정도로 간략해도 돼요? [20][일반] 핑크베리(36.38) | 19.11.06추천 0
-
이건또 무슨 말이지??? [4][일반] 익명(123.109) | 19.11.06추천 0
-
오 선대성적나왔는데 중간값을모르네 [2][일반] 익명(110.34) | 19.11.06추천 0
-
미방 원서 하나만 추천해줘 [7][일반] 익명(211.36) | 19.11.06추천 0
-
복소가 재밌다는 사람이 많네 [7][일반] 익명(59.20) | 19.11.06추천 0
-
이건 ㄹㅇ 문장해석 안됨;; 도와줘 [5][일반] 익명(123.109) | 19.11.06추천 0
-
스크린으로 공부하기 vs 페이퍼북으로 공부하기 [17][일반] 웨리(spirospero1) | 19.11.06추천 1
-
122.45가 말한 해외 대학생활 수기 다른거 찾아옴 [2][일반] 웨리(spirospero1) | 19.11.06추천 1
해당 댓글은 삭제되었습니다.
{x|p(x)}를 '대상'으로 보면 되겠네?
그래 저게 집합이 아닐수도 있으니 된거아닌가? zfc에선 일단 저리 정의하길래 난 걍 p(x)를 x에 대한 조건으로 둬서 그런거라고 생각했는데
아는척 자제
다루게 되는 카테고리중에는 Set 카테고리가 있습니다 집합들을 모아놓고 그들 사이의 함수를 모아둔 건데(카테고리는 이렇게 object와 그들을 잇는 morphism으로 구성됩니다) 집합을 모아놓은 것은 집합이 아니기 때문에.. class를 사용하는거지요
아 그럼 NBG봐야할까요? 아님 ZFC에서 {x|p(x)}를 class로 보기로 했었으니 걍 이렇게 하고 카테고리를 class로 보면될까요?
ㄴㄴㄴ걍 카테고리 자체가 하나의 대상임 오브젝트와 몰피즘으로 된
카테고리를 다른 셋 시오리에 올려놓는건 물론 가능하겠지만 그럼 그건 셋 시오리임
오브젝트들의 모임이 고유 모임인지 집합인지 묻는 것 같아요 - dc App
굳이 셋 시오리에 올려놓으면 많은 경우 프로퍼 크라스겠지만 그 자체가 이상한 생각임
아 뭔가 알거같은데 그냥 집합이고 뭐고 걍 '대상' 이란거야? 일반화된 개념인건가 그럼?
그로센딕 유니버스나 공간에 대한 구체적 논의 없이는 이에 대해 논하기 어려움. 나이브하게 그냥 어떤 성질을 만족하는 대상들과 그 대상들을 연결짓는, 성질을 보존하는 모피즘들을 우리가 논하고 싶을 때 카테고리를 가져온다고 생각하셈
그럼 일단 morphism이랑 object를 모아놓은 하나의 개념으로 받아들이면 될라나