범주 (수학): 두 판 사이의 차이

! 기호 !! 대상 !! 사상 !! 사상 합성 !! 항등 사상

| Set || [[집합]] || [[함수]] || [[함수의 합성]] || [[항등 함수]]

| Ord || [[원순서 집합]] || [[단조함수]]|| [[함수의 합성]] || [[항등 함수]]

| Mag || [[마그마 (대수학)|마그마]] || 마그마 [[준동형 사상]] || [[함수의 합성]] || 항등 준동형 사상

| Grp || [[군 (수학)|군]] || [[군 준동형 사상]] || [[함수의 합성]] || 항등 준동형 사상

| Ab || [[아벨 군]] || [[군 준동형 사상]] || [[함수의 합성]] || 항등 준동형 사상

| Vect_''K'' (<math>K</math>는 [[체 (수학)|체]]) || <math>K</math> 위의 [[벡터 공간]] || [[선형 변환]] || [[함수의 합성]] || 항등 선형 변환

| Top || [[위상 공간 (수학)|위상 공간]] || [[연속 함수]] || [[함수의 합성]] || || 항등 함수

| Cat || 작은 범주 || [[함자 (수학)|함자]] || 함자의 합성 || 항등 함자

| Rel || [[집합]] || [[관계 (수학)|관계]] || <math>a(\sim_2\circ\sim_1)b\iff\exists c\colon a\sim_1 c\sim_2 b</math> || 등호 <math>=</math>

| [[부분 순서 집합]] <math>(P,\le)</math> || <math>P</math>의 원소 || <math>\hom(x,y)=\{(x,y)\colon x\le y\}</math> || <math>(y,z)\circ(x,y)=(x,z)</math> || <math>\operatorname{Id}_x=(x,x)</math>

| [[모노이드]] <math>(M,\cdot,1_M)</math> || <math>1_M\operatorname{ob}(M)=\{\bullet\}</math> (임의의 유일한 대상) || <math>M</math>의 원소 || 모노이드 이항 연산 <math>m\circ n=m\cdot n</math> || 모노이드 항등원 <math>1_M</math>

| <math>\mathcal C^{\operatorname{op}}</math> (<math>\mathcal C</math>는 임의의 범주) || <math>\mathcal C</math>의 대상 || <math>\hom_{\mathcal C^{\operatorname{op}}}(X,Y)=\hom_{\mathcal C}(Y,X)</math> || <math>f\circ_{\mathcal C^{\operatorname{op}}} g=g\circ_{\mathcal C} f</math> || <math>\mathcal C</math>의 항등 사상