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