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