Ylinuoli

Ylinuoli on kategoriateorian käsite, jolla tarkoitetaan kahden kategorian välistä rakennetta säilyttävää kuvausta. Sitä voidaan pitää kategoriateorian vasteena kuvauksille tai homomorfismeille, mutta se toimii kategorioiden tasolla: se kuvaa kategorian pisteet ja nuolet toisen kategorian pisteiksi ja nuoliksi siten, että liitokset ja identiteettinuolet säilyvät.

Ylinuolesta käytetään myös nimityksiä funktori (engl. functor), rakennekuvaus, ylikuvaus tai kuvain.

Kansantajuinen selitys

Ylinuoli on tapa kuvata kategoria toiseksi niin, että sen keskeiset ominaisuudet säilyvät.

Kategoria koostuu pisteistä ja niiden välisistä nuolista. Ylinuoli vie jokaisen lähtökategorian pisteen johonkin maalikategorian pisteeseen, ja vastaavasti jokaisen nuolen johonkin maalikategorian nuoleen. Keskeistä on, että jos lähtökategoriassa kaksi nuolta voidaan liittää peräkkäin, niin niiden kuvat maalikategoriassa voidaan liittää samalla tavalla.

Esimerkiksi joukkojen kategoriassa pisteet ovat joukkoja ja nuolet ovat kuvauksia joukkojen välillä. Ylinuoli voisi kuvata jokaisen joukon ${\displaystyle A}$ toiseksi joukoksi ${\displaystyle F(A)}$ ja jokaisen kuvauksen ${\displaystyle f\colon A\to B}$ toiseksi kuvaukseksi ${\displaystyle F(f)\colon F(A)\to F(B)}$. Jos alkuperäisessä kategoriassa voi muodostaa yhdistetyn kuvauksen ${\displaystyle g\circ f}$, niin maalikategoriassakin vastaavat kuvaukset voidaan yhdistää samalla tavalla: ${\displaystyle F(g)\circ F(f)}$.

Määritelmä

Olkoot ${\displaystyle {\mathcal {A}}}$ ja ${\displaystyle {\mathcal {B}}}$ kategorioita. Ylinuoli ${\displaystyle F\colon {\mathcal {A}}\to {\mathcal {B}}}$ kuvaa

• jokaisen lähtökategorian pisteen ${\displaystyle X\in {\dot {\mathcal {A}}}}$ maalikategorian pisteeksi ${\displaystyle F(X)\in {\dot {\mathcal {B}}}}$ ja
• jokaisen lähtökategorian nuolen ${\displaystyle X\xrightarrow {f} Y}$ maalikategorian nuoleksi ${\displaystyle F(X)\xrightarrow {F(f)} F(Y)}$.

Lisäksi ylinuolelta vaaditaan kaksi ehtoa:

1. Nuolten liitos säilyy eli jos lähtökategoriassa on voimassa ${\displaystyle X\xrightarrow {f} Y\xrightarrow {g} Z}$, niin maalikategoriassa on ${\displaystyle F(f+g)=F(f)+F(g)}$.
2. Lähtökategorian identiteettinuoli kuvautuu vastaavaksi maalikategorian identiteettinuoleksi eli ${\displaystyle F(\mathrm {id} _{X})=\mathrm {id} _{F(X)}}$.

Nämä kaksi ehtoa takaavat, että ylinuoli säilyttää kategorian rakenteen: nuolten liitokset pysyvät samoina ja pisteiden identiteettinuolet säilyvät.

Erityisiä ylinuolia

Olkoon ${\displaystyle F\colon {\mathcal {A}}\rightarrow {\mathcal {B}}}$ ylinuoli. Määritellään jokaiselle pisteparille ${\displaystyle A,B\in {\dot {\mathcal {A}}}}$ kuvaus ${\displaystyle F_{A,B}\colon {\vec {\mathcal {A}}}(A,B)\rightarrow {\vec {\mathcal {B}}}(F(A),F(B))}$ siten että ${\displaystyle f\mapsto F(f)}$. Ylinuoli ${\displaystyle F}$ on

• täysi, mikäli jokaiselle pisteparille ${\displaystyle A,B\in {\dot {\mathcal {A}}}}$ kuvaus ${\displaystyle F_{A,B}}$ on surjektio,
• uskollinen, mikäli jokaiselle pisteparille ${\displaystyle A,B\in {\dot {\mathcal {A}}}}$ kuvaus ${\displaystyle F_{A,B}}$ on injektio,
• täysin uskollinen, mikäli se on sekä täysi että uskollinen,
• oleellisesti surjektio pisteille, mikäli jokaiselle pisteelle ${\displaystyle X\in {\dot {\mathcal {B}}}}$ on olemassa piste ${\displaystyle Y\in {\dot {\mathcal {A}}}}$ siten että ${\displaystyle F(Y)}$ ja ${\displaystyle X}$ ovat isomorfisia.

Merkitys kategoriateoriassa

Ylinuolet ovat keskeisiä käsitteitä kategoriateoriassa, sillä niiden avulla voidaan määritellä muun muassa luonnolliset muunnokset, Yonedan apulause ja ylinuolten kategoria. Myös kategoriat itse muodostavat kategorian, jonka nuolia ovat ylinuolet. Tämä mahdollistaa kategoriateorian soveltamisen itsensä tutkimiseen.

Lähteet

• Huhtamäki, Hermanni: Yonedan apulause. (Kandidaatintutkielma) Helsingin yliopisto, 25.6.2025. Teoksen verkkoversio Zenodo-julkaisualustalla (pdf) Viitattu 8.10.2025.
• Leinster, Tom. Basic Category Theory. Cambridge studies in advanced mathematics 143. Cambridge University Press. 2014. ISBN 978-1-107-04424-1. Verkkoversio. (englanniksi)
• Niskanen, Markus. Liittofunktorit. Pro gradu -tutkielma. Tampereen yliopisto. Luonnontieteiden tiedekunta. Matematiikka. Marraskuu 2017. Viitattu 20.8.2021.