공함수 수반쌍 시작(범주론) 함자 범주 당김 밂 완비 범주 항등 사상 단사와 전사 쌍대곱 동형 사상 끝(범주론) 영대상 Categories for the Working Mathematician 세트 곱(범주론) 정의역과 공역 함자 범주 항등함수 싱글톤(집합) 분리 합집합 함수 부분함수 곱집합 모노이드 대상 대칭군 ETCS 공집합 범주/종류 군(대수학) 모노이드 범주론/분야 틀:범주론 퀴버 범주/여러 가지 범주 Hom