견인(수학) 푸시아웃(범주론) 풀백 밂 끝(범주론) 곱(범주론) C*-대수 역함수 미분형식 부분함수 쌍대성 수학 관련 정보 극한(범주론) 틀:범주론 함자 반대 범주 정의역과 공역 파이버