Կատեգորիա (մաթեմատիկա)

Մաթեմատիկայում, կատեգորիաները յատուկ մաթեմատիկական կառուցուածքներ են՝ հանրահաշուային ըստ բնոյթի, որ լայն կիրառում ունեն մաթեմատիկայի տարբեր ճիւղերում։ Կատեգորիաների հիմնական առաւելութիւնն այն է, որ նրանք ներառում են շատ մաթեմատիկական գաղափարները մի ընդհանրական լեզուի ներքոյ։ Բացի դրանից կատեգորիական մեթոդներով հնարաւոր է ապացուցել մեծ քանակով փաստեր առանց երբևիցէ խօսելու, թէ ինչ է տեղի ունենում դիտարկուող օբյեկտների ներսում։ Միևնոյն ժամանակ՝ մաթեմատիկոսներին հետաքրքրող օբյեկտներից շատերը պահպանում են կատեգորիական կառուցուածքը․ որպէս օրինակ՝ ֆունդամենտալ խումբը, հոմոլոգիայի, կոհոմոլոգիայի մոդուլները, հոմոտոպիայի խմբերը, և այն։ Մոնոիդները, խմբերը, խմբոիդները, մասնակի կարգաւորուած բազմութիւնները կարող են սահմանուել կատեգորիաների միջոցով։ Մեզ առաւել հետաքրքրող կատեգորիաներից կլինեն, բազմութիւնների կատեգորիան՝ 
  
    
      
        
          
            S
            e
            t
          
        
      
    
    {\displaystyle \displaystyle \mathbf {Set} }
  , խմբերի կատեգորիան՝ 
  
    
      
        
          
            G
            r
            o
            u
            p
          
        
      
    
    {\displaystyle \displaystyle \mathbf {Group} }
  , օղակների կատեգորիան՝ 
  
    
      
        
          
            R
            i
            n
            g
          
        
      
    
    {\displaystyle \displaystyle \mathbf {Ring} }
  , տոպոլոգիական տարածութիւնների կատեգորիան՝ 
  
    
      
        
          
            T
            o
            p
          
        
      
    
    {\displaystyle \displaystyle \mathbf {Top} }
  , որոնք մենք կսահմանենք յաջորդիւ։


== Սահմանում ==
Կատեգորիա 
  
    
      
        
          
            C
          
        
      
    
    {\displaystyle \displaystyle \mathbf {C} }
  -ն բաղկացած է հետևեալ մասերից և պայմաններից։

  
    
      
        
          
            C
          
        
      
    
    {\displaystyle \displaystyle \mathbf {C} }
  -ն ունի օբյեկտերի դաս, որը նշանակւում է 
  
    
      
        
          
            O
            b
          
          (
          
            C
          
          )
        
      
    
    {\displaystyle \displaystyle \mathrm {Ob} (\mathbf {C} )}
  -ով։

  
    
      
        
          
            C
          
        
      
    
    {\displaystyle \displaystyle \mathbf {C} }
  -ն ունի մորֆիզմների դաս, որը նշանակւում է 
  
    
      
        
          
            H
            o
            m
          
          (
          
            C
          
          )
        
      
    
    {\displaystyle \displaystyle \mathrm {Hom} (\mathbf {C} )}
  -ով (երբեմն էլ՝ 
  
    
      
        
          
            M
            o
            r
          
          (
          
            C
          
          )
        
      
    
    {\displaystyle \displaystyle \mathrm {Mor} (\mathbf {C} )}
  -ով)։
Գոյութիւն ունեն երկու արտապատկերում 
  
    
      
        
          ι
          ,
          φ
          :
          
            H
            o
            m
          
          (
          
            C
          
          )
          →
          
            O
            b
          
          (
          
            C
          
          )
        
      
    
    {\displaystyle \displaystyle \iota ,\varphi :\mathrm {Hom} (\mathbf {C} )\rightarrow \mathrm {Ob} (\mathbf {C} )}
  ։ Եթէ 
  
    
      
        
          f
          ∈
          
            H
            o
            m
          
          (
          
            C
          
          )
        
      
    
    {\displaystyle \displaystyle f\in \mathrm {Hom} (\mathbf {C} )}
  , ապա 
  
    
      
        
          ι
          (
          f
          )
        
      
    
    {\displaystyle \displaystyle \iota (f)}
  -ը 
  
    
      
        
          f
        
      
    
    {\displaystyle \displaystyle f}
  -ի աղբիւր կամ սկզբնակէտ է կոչւում, իսկ 
  
    
      
        
          φ
          (
          f
          )
        
      
    
    {\displaystyle \displaystyle \varphi (f)}
  -ը՝ 
  
    
      
        
          f
        
      
    
    {\displaystyle \displaystyle f}
  -ի աւարտ կամ վերջնակէտ։ Եթէ 
  
    
      
        
          A
          ,
          B
          ∈
          
            O
            b
          
          (
          
            C
          
          )
        
      
    
    {\displaystyle \displaystyle A,B\in \mathrm {Ob} (\mathbf {C} )}
  , 
  
    
      
        
          ι
          (
          f
          )
          =
          A
        
      
    
    {\displaystyle \displaystyle \iota (f)=A}
   և 
  
    
      
        
          φ
          (
          f
          )
          =
          B
        
      
    
    {\displaystyle \displaystyle \varphi (f)=B}
  , ապա մենք կգրենք 
  
    
      
        
          f
          :
          A
          →
          B
        
      
    
    {\displaystyle \displaystyle f:A\rightarrow B}
   և կասենք, որ 
  
    
      
        
          f
        
      
    
    {\displaystyle \displaystyle f}
  -ը 
  
    
      
        
          A
        
      
    
    {\displaystyle \displaystyle A}
  -ից 
  
    
      
        
          B
        
      
    
    {\displaystyle \displaystyle B}
   մորֆիզմ է։ Կպահանջենք նաև, որ բոլոր 
  
    
      
        
          A
        
      
    
    {\displaystyle \displaystyle A}
  -ից 
  
    
      
        
          B
        
      
    
    {\displaystyle \displaystyle B}
   մորֆիզմները կազմեն բազմութիւն, բոլոր 
  
    
      
        
          A
        
      
    
    {\displaystyle \displaystyle A}
   և 
  
    
      
        
          B
        
      
    
    {\displaystyle \displaystyle B}
   օբյեկտների համար։ Մենք կնշնակենք այս բազմութիւնը 
  
    
      
        
          [
          A
          ,
          B
          ]
        
      
    
    {\displaystyle \displaystyle [A,B]}
  -ով։ Գրականութեան մէջ այս բազմութիւնը յաճախ նշանակւում է 
  
    
      
        
          
            H
            o
            m
          
          (
          A
          ,
          B
          )
        
      
    
    {\displaystyle \displaystyle \mathrm {Hom} (A,B)}
  -ով կամ 
  
    
      
        
          
            M
            o
            r
          
          (
          A
          ,
          B
          )
        
      
    
    {\displaystyle \displaystyle \mathrm {Mor} (A,B)}
  -ով։
Գոյութիւն ունի համադրոյթի գործողութիւն 
  
    
      
        
          
            ∘
            
              (
              A
              ,
              B
              ,
              C
              )
            
          
          :
          [
          B
          ,
          C
          ]
          ×
          [
          A
          ,
          B
          ]
          →
          [
          A
          ,
          C
          ]
        
      
    
    {\displaystyle \displaystyle \circ _{(A,B,C)}:[B,C]\times [A,B]\rightarrow [A,C]}
  , ցանկացած 
  
    
      
        
          A
          ,
          B
          ,
          C
          ∈
          
            O
            b
          
          (
          
            C
          
          )
        
      
    
    {\displaystyle \displaystyle A,B,C\in \mathrm {Ob} (\mathbf {C} )}
   եռեակի համար։ Եթէ 
  
    
      
        
          f
          :
          B
          →
          C
        
      
    
    {\displaystyle \displaystyle f:B\rightarrow C}
   և 
  
    
      
        
          g
          :
          A
          →
          B
        
      
    
    {\displaystyle \displaystyle g:A\rightarrow B}
  , մենք 
  
    
      
        
          
            ∘
            
              (
              A
              ,
              B
              ,
              C
              )
            
          
          (
          f
          ,
          g
          )
        
      
    
    {\displaystyle \displaystyle \circ _{(A,B,C)}(f,g)}
   գրելու փոխարէն կգրենք 
  
    
      
        
          f
          ∘
          g
        
      
    
    {\displaystyle \displaystyle f\circ g}
  , երբ սա երկիմաստութիւններ չի առաջացնի (այս դէպքում միշտ)։
Ցանկացած օբյեկտ 
  
    
      
        
          A
        
      
    
    {\displaystyle \displaystyle A}
  -ի համար գոյութիւն ունի յատուկ միաւոր մորֆիզմ․ 
  
    
      
        
          
            
              1
            
            
              A
            
          
          ∈
          [
          A
          ,
          A
          ]
        
      
    
    {\displaystyle \displaystyle \mathbf {1} _{A}\in [A,A]}
  ։ Այս մորֆիզմը բաւարարում է հետևեալ պայմանին՝ ցանկացած 
  
    
      
        
          f
          ∈
          [
          B
          ,
          A
          ]
        
      
    
    {\displaystyle \displaystyle f\in [B,A]}
   և 
  
    
      
        
          g
          ∈
          [
          A
          ,
          C
          ]
        
      
    
    {\displaystyle \displaystyle g\in [A,C]}
   մորֆիզմների համար 
  
    
      
        
          f
          =
          
            
              1
            
            
              A
            
          
          ∘
          f
        
      
    
    {\displaystyle \displaystyle f=\mathbf {1} _{A}\circ f}
   ու 
  
    
      
        
          g
          =
          g
          ∘
          
            
              1
            
            
              A
            
          
        
      
    
    {\displaystyle \displaystyle g=g\circ \mathbf {1} _{A}}
  ։
Նաև համադրոյթը ասոցիատիւ է։ Սա նշանակում է, որ հետևեալ դիագրամը կոմուտատիւ է․

  
    
      
        
          
            
              
              
                
                [
                C
                ,
                 
                D
                ]
                ×
                [
                B
                ,
                 
                C
                ]
                ×
                [
                A
                ,
                 
                B
                ]
                
                  →
                  
                    
                    1
                    ×
                    ∘
                    
                  
                
                [
                C
                ,
                 
                D
                ]
                ×
                [
                A
                ,
                 
                C
                ]
              
            
            
              
              
                
                 
                
                  
                  
                    
                      
                        
                      
                      
                        
                          ∘
                          ×
                          1
                        
                      
                      
                        
                          

                          
                        
                      
                    
                  
                  ↓
                
                
                
                
                
                
                
                
                 
                
                  ↓
                  
                    
                      
                        
                      
                      
                        
                          ∘
                        
                      
                      
                        
                          

                          
                        
                      
                    
                  
                  
                
              
            
            
              
              
                
                 
                 
                 
                [
                B
                ,
                 
                D
                ]
                ×
                [
                A
                ,
                 
                B
                ]
                
                  →
                  
                     
                     
                    
                    
                    ∘
                    
                    
                     
                     
                  
                
                [
                A
                ,
                 
                D
                ]
              
            
          
        
      
    
    {\displaystyle {\begin{aligned}&[C,\ D]\times [B,\ C]\times [A,\ B]\xrightarrow {\qquad 1\times \circ \qquad } [C,\ D]\times [A,\ C]\\&\qquad \ \left.{\begin{aligned}\\\circ \times 1\\{}\end{aligned}}\right\downarrow \qquad \qquad \qquad \qquad \qquad \qquad \qquad \ \left\downarrow {\begin{aligned}\\\circ \\{}\end{aligned}}\right.\\&\quad \ \ \ [B,\ D]\times [A,\ B]\xrightarrow {\ \ \qquad \qquad \circ \qquad \qquad \ \ } [A,\ D]\end{aligned}}}
  
Սա կարելի է վերաձևակերպել հետևեալ կերպով․ 
  
    
      
        
          (
          f
          ∘
          g
          )
          ∘
          h
          =
          f
          ∘
          (
          g
          ∘
          h
          )
        
      
    
    {\displaystyle \displaystyle (f\circ g)\circ h=f\circ (g\circ h)}
   բոլոր համապատասխան մորֆիզմների համար։


== Օրինակներ ==
Բազմութիւնները, խմբերը, տոպոլոգիական տարածութիւնները, մոդուլները հեշտութեամբ կարելի է վերածել կատեգորիաների։ Հետևեալ աղիւսեակը ցոյց է տալիս, թէ այս կատեգորիաներում, որոնք են օբյեկները, մորֆիզմները, և որն է համադրոյթը։

Որոշ հանրահաշուային օբյեկտներ կարելի է հեշտութեամբ սահմանել կատեգորիաների միջոցով։ Օրինակ՝ մոնոիդը կարելի է սահմանել, որպէս կատեգորիա մէկ օբյեկտով։ Նմանապէս՝ խումբը կարելի է սահմանել, որպէս մոնոիդ որում բոլոր մորֆիզները իզոմորֆիզմ են, այսինքն՝ ունեն հակադարձներ։ Խմբոիդ դա կատեգորիա է, որի բոլոր մորֆիզմները իզոմորֆիզմ են։ Մասնակի կարգաւորուած բազմութիւնը, դա այնպիսի փոքր կատեգորիա է (այսինքն՝ օբյեկտները բազմութիւն են կազմում), որ 
  
    
      
        
          
            c
            a
            r
            d
          
          {
          [
          A
          ,
          B
          ]
          ∪
          [
          B
          ,
          A
          ]
          }
          ≤
          1
        
      
    
    {\displaystyle \displaystyle \mathrm {card} \{[A,B]\cup [B,A]\}\leq 1}
   բոլոր 
  
    
      
        
          A
          ,
          B
        
      
    
    {\displaystyle \displaystyle A,B}
   օբյեկտների համար։ Լրիւ կարգաւորուած բազմութիւնների դէպքում, 
  
    
      
        
          
            c
            a
            r
            d
          
          {
          [
          A
          ,
          B
          ]
          ∪
          [
          B
          ,
          A
          ]
          }
          =
          1
        
      
    
    {\displaystyle \displaystyle \mathrm {card} \{[A,B]\cup [B,A]\}=1}
  ։
Համարժէքութիւն 
  
    
      
        
          X
        
      
    
    {\displaystyle \displaystyle X}
   բազմութեան վրայ կարելի է կոչել այն խմբոիդը, որը կապակցուած է, այսինքն՝ ցանկացած երկու օբյեկտների միջեւ գոյութիւն ունի մորֆիզմ, որի ցանկացած (համարժէքօրէն՝ որեւէ) օբյեկտի աւտոմորֆիզմների խումբը տրիւեալ է, եւ որի օբյեկներն են 
  
    
      
        
          X
        
      
    
    {\displaystyle \displaystyle X}
  -ի տարրերը։


== Դուալ Կատեգորիա ==
Եթէ մեզ տրուած է որևէ 
  
    
      
        
          
            C
          
        
      
    
    {\displaystyle \displaystyle \mathbf {C} }
   կատեգորիա, մենք կարող ենք սահմանել նրա դուալ 
  
    
      
        
          
            
              C
            
            
              ∗
            
          
        
      
    
    {\displaystyle \displaystyle \mathbf {C} ^{*}}
   կատեգորիան։ Այս կատեգորիայի համար 
  
    
      
        
          
            O
            b
          
          (
          
            
              C
            
            
              ∗
            
          
          )
          =
          
            O
            b
          
          (
          
            C
          
          )
        
      
    
    {\displaystyle \displaystyle \mathrm {Ob} (\mathbf {C} ^{*})=\mathrm {Ob} (\mathbf {C} )}
  , և զուտ տարբերակելու համար 
  
    
      
        
          
            C
          
        
      
    
    {\displaystyle \displaystyle \mathbf {C} }
  -ի 
  
    
      
        
          A
        
      
    
    {\displaystyle \displaystyle A}
   օբյեկտը մենք կնշանակենք 
  
    
      
        
          
            A
            
              ∗
            
          
        
      
    
    {\displaystyle \displaystyle A^{*}}
  -ով 
  
    
      
        
          
            
              C
            
            
              ∗
            
          
        
      
    
    {\displaystyle \displaystyle \mathbf {C} ^{*}}
  -ում։ Մորֆիզմների միջև էլ գոյութիւն համապատասխանութիւն․ 
  
    
      
        
          [
          A
          ,
          B
          ]
          =
          [
          
            B
            
              ∗
            
          
          ,
          
            A
            
              ∗
            
          
          ]
        
      
    
    {\displaystyle \displaystyle [A,B]=[B^{*},A^{*}]}
  ։ 
  
    
      
        
          f
        
      
    
    {\displaystyle \displaystyle f}
   մորֆիզմին համապատասխանող մորֆիզմը կնշանակենք 
  
    
      
        
          
            f
            
              ∗
            
          
        
      
    
    {\displaystyle \displaystyle f^{*}}
  ։ համադրոյթը կսահմանենք այս կանոնով․ 
  
    
      
        
          
            f
            
              ∗
            
          
          ∘
          
            g
            
              ∗
            
          
          =
          (
          g
          ∘
          f
          
            )
            
              ∗
            
          
        
      
    
    {\displaystyle \displaystyle f^{*}\circ g^{*}=(g\circ f)^{*}}
  ։ Կարելի է հեշտօրէն ստուգել, որ բոլոր կատեգորիայի աքսիոմները բաւարարւում են։
Շատ յաճախ ակնյայտ չէ, թէ դուալ կատեգորիան իրենից ինչ է ներկայացնում։ Օրինակ՝ խմբի դուալը համարԺէք է իրեն, սակայն մասնակի կարգաւորուած բազմութեան դուալը նոյն բազմութիւնն է, բայց հակառակ կարգաւորուածութեամբ, և սա միշտ չէ որ համարժէք է սկզբնական կարգաւորուած բազմութեանը։
Բաւականին տարբեր են 
  
    
      
        
          S
          e
          t
        
      
    
    {\displaystyle \mathbf {Set} }
  -ն ու 
  
    
      
        
          
            S
            e
            t
          
          
            ∗
          
        
      
    
    {\displaystyle \mathbf {Set} ^{*}}
  -ը։ Եթէ մեզ տրուած են երկու բազմութիւնները 
  
    
      
        
          A
        
      
    
    {\displaystyle \displaystyle A}
  -ն և 
  
    
      
        
          B
        
      
    
    {\displaystyle \displaystyle B}
  -ն, ապա մենք կարող ենք բնութագրել 
  
    
      
        f
        ∈
        [
        
          B
          
            ∗
          
        
        ,
        
          A
          
            ∗
          
        
        ]
      
    
    {\displaystyle f\in [B^{*},A^{*}]}
  , որպէս ֆունկցիա 
  
    
      
        f
        :
        
          
            P
          
        
        (
        B
        )
        →
        
          
            P
          
        
        (
        A
        )
      
    
    {\displaystyle f:{\mathcal {P}}(B)\rightarrow {\mathcal {P}}(A)}
  , որի դէպքում 

պայմաններն են բաւարւում ցանկանցած 
  
    
      
        
          
            A
          
        
        ⊆
        
          
            P
          
        
        (
        B
        )
      
    
    {\displaystyle {\mathcal {A}}\subseteq {\mathcal {P}}(B)}
   ենթաբազմութիւնների ընտանիքի համար, այդ թւում և դատա՛րկ։ Այստեղ ի յարկէ 
  
    
      
        
          
            
              P
            
          
        
      
    
    {\displaystyle \displaystyle {\mathcal {P}}}
  -ն ենթաբազմութիւնների բազմութեան վերցման գործողութիւնն է։ Մորֆիզմների համադրոյթը այս դէպքում լինում է հասարակ ֆունկցիաների համադրոյթը։ Դուալի այս բնութագրով, դուալ համապատասխանութիւնը ուղարկում է 
  
    
      
        g
        :
        A
        →
        B
      
    
    {\displaystyle g:A\rightarrow B}
   ֆունկցիան 
  
    
      
        
          S
          e
          t
        
      
    
    {\displaystyle \mathbf {Set} }
  -ում առ 
  
    
      
        
          g
          
            −
            1
          
        
        :
        
          
            P
          
        
        (
        B
        )
        →
        
          
            P
          
        
        (
        A
        )
      
    
    {\displaystyle g^{-1}:{\mathcal {P}}(B)\rightarrow {\mathcal {P}}(A)}
   ֆունկցիա 
  
    
      
        
          
            S
            e
            t
          
          
            ∗
          
        
      
    
    {\displaystyle \mathbf {Set} ^{*}}
  -ում։


== Մորֆիզմների Յատուկ Տեսակներ ==
Որոշ մորֆիզմներ ունեն յատուկ անուններ։ 
  
    
      
        
          f
          :
          A
          →
          B
        
      
    
    {\displaystyle \displaystyle f:A\rightarrow B}
   մորֆիզմը

մոնոմորֆիզմ է, եթէ այն ձախ կրճատելի է, այսինքն՝ 
  
    
      
        
          f
          ∘
          
            g
            
              1
            
          
          =
          f
          ∘
          
            g
            
              2
            
          
          ⇒
          
            g
            
              1
            
          
          =
          
            g
            
              2
            
          
        
      
    
    {\displaystyle \displaystyle f\circ g_{1}=f\circ g_{2}\Rightarrow g_{1}=g_{2}}
  
էպիմորֆիզմ է, եթէ այն աջ կրճատելի է, այսինքն՝ 
  
    
      
        
          
            g
            
              1
            
          
          ∘
          f
          =
          
            g
            
              2
            
          
          ∘
          f
          ⇒
          
            g
            
              1
            
          
          =
          
            g
            
              2
            
          
        
      
    
    {\displaystyle \displaystyle g_{1}\circ f=g_{2}\circ f\Rightarrow g_{1}=g_{2}}
  
յատոյթ է, եթէ այն ունի ձախ հակադարձ, այսինքն՝ գոյութիւն ունի 
  
    
      
        g
        :
        B
        →
        A
      
    
    {\displaystyle g:B\rightarrow A}
  , այնպէս որ 
  
    
      
        g
        ∘
        f
        =
        
          
            1
          
          
            A
          
        
      
    
    {\displaystyle g\circ f=\mathbf {1} _{A}}
  
անկում է, եթէ այն ունի աջ հակադարձ, այսինքն՝ գոյութիւն ունի 
  
    
      
        g
        :
        B
        →
        A
      
    
    {\displaystyle g:B\rightarrow A}
  , այնպէս որ 
  
    
      
        f
        ∘
        g
        =
        
          
            1
          
          
            B
          
        
      
    
    {\displaystyle f\circ g=\mathbf {1} _{B}}
  
իզոմորֆիզմ է, եթէ այն յատոյթ է և անկում
էնդոմորֆիզմ է, եթէ 
  
    
      
        
          A
          =
          B
        
      
    
    {\displaystyle \displaystyle A=B}
  , հետևելով այս անուանմանը՝ 
  
    
      
        
          
            E
            n
            d
          
          (
          A
          )
          =
          [
          A
          ,
          A
          ]
        
      
    
    {\displaystyle \displaystyle \mathrm {End} (A)=[A,A]}
  
աւտոմորֆիզմ է, եթէ այն էնդոմորֆիզմ է և իզոմորֆիզմ, հետևելով այս անուանման մենք այն կգրենք, որպէս 
  
    
      
        
          
            A
            u
            t
          
          (
          A
          )
        
      
    
    {\displaystyle \displaystyle \mathrm {Aut} (A)}
  Նկատենք, որ իզոմորֆիզմի աջ և ձախ հակադարձները նոյն են՝ որպէս ասոցիատիւութեան հետևանք։ Նշենք նաև, որ ցանկացած յատոյթ մոնոմորֆիզմ է, իսկ ցանկացած անկում՝ էպիմորֆիզմ։ 
Հեշտօրէն կարելի ստուգել, որ 
  
    
      
        
          S
          e
          t
        
      
    
    {\displaystyle \mathbf {Set} }
  -ում մոնոմորֆիզմներն (էպիմորֆիզմներն) ու յատոյթները (անկումները) համընկնում են ինյեկտիւ (սիւրյեկտիւ) ֆունկիցիաների հետ։ Սակայն 
  
    
      
        
          T
          o
          p
        
      
    
    {\displaystyle \mathbf {Top} }
  -ում իրադրութիւնը փոխւում է։ Մինչդեռ մոնոմորֆիզմները համարժէք են ինյեկտիւ անընդհատ ֆունկցիաներին, էպիմորֆիզմները՝ անպայման չէ, որ լինեն սիւրյեկտիւ։ Սա ցուցադրելու համար, մենք կդիտարկենք 
  
    
      
        i
        :
        
          Q
        
        ↪
        
          R
        
      
    
    {\displaystyle i:\mathbb {Q} \hookrightarrow \mathbb {R} }
  ։ Իրօք, 
  
    
      
        
          Q
        
      
    
    {\displaystyle \mathbb {Q} }
  -ն խիտ է 
  
    
      
        
          R
        
      
    
    {\displaystyle \mathbb {R} }
  -ում, և այդ պատճառով բոլոր 
  
    
      
        
          R
        
      
    
    {\displaystyle \mathbb {R} }
  -ից դուրս եկացող անընդհատ ֆունկցիաները լրիւ որոշուած են 
  
    
      
        
          Q
        
      
    
    {\displaystyle \mathbb {Q} }
  -ում ընդունած իրենց արժէքներով։ Սա նշանակում է, որ 
  
    
      
        
          i
        
      
    
    {\displaystyle \displaystyle i}
  -ն էպիմորֆիզմ է։ Սակայն սիւրյեկտիւ չլինելու պատճառով այն անկում չի կարող լինել։
Դուալիզացումը վեր է ածում մոնոմորֆիզմները էպիմորֆիզմների, յատոյթներն՝ անկումների, և հակառակը։


== Ծանօթագրութիւններ ==
Mac Lane, Saunders (1998), Categories for the Working Mathematician, Graduate Texts in Mathematics 5 (2nd ed.), Springer-Verlag, ISBN 0-387-98403-8 .