기본군 자유군 나무위키:프로젝트/수학 가환 다이어그램 항등 함자 쌍대성 보편성질 쌍대합 극한(범주론) 쌍대곱 푸시아웃(범주론) 쌍대 범주 당김(범주론) 곱(범주론) 끝(범주론) 쌍대극한 완비 범주 시작(범주론)