Merkitty setti

Joukko, jossa on merkitty piste, on joukko , jossa on merkitty piste . Merkittyjen pistejoukkojen väliset kuvaukset ovat funktioita , jotka vievät yhden pisteen toiseen, eli kartoituksia siten, että joskus käytetään seuraavaa merkintää: $X$ $x_{0}\in X$ $f:X\Y:ksi$ $f(x_{0})=y_{0}$

f:(X,x_{0})\to (Y,y_{0})

Pistejoukot voidaan määritellä yksinkertaiseksi algebralliseksi rakenteeksi . Yleisalgebran kannalta nämä ovat rakenteita, joissa on yksi nollaoperaatio , joka valitsee merkityn pisteen. Siten algebralliset rakenteet nollaoperaatioilla ovat joukkoja, joissa on merkitty piste, esimerkiksi ryhmä on joukko, jossa on merkitty piste neutraalina elementtinä ja ryhmähomomorfismit säilyttävät neutraalin elementin.

Joukkojen luokka , joissa on merkitty piste ja tämän pisteen säilyttävät mappaukset, muodostavat luokan , jossa on nollaobjekti – singleton , jossa on merkitty piste . ${\näyttötyyli (\{a\},a)}$

Kirjallisuus

McLane S. Kategoriat työskentelevälle matemaatikolle / Per. englannista. toim. V. A. Artamonova. - M .: Fizmatlit, 2004. - 352 s. — ISBN 5-9221-0400-4 .

Gregory Berhuy. Johdatus Galois-kohomologiaan ja sen sovelluksiin . - Cambridge University Press , 2010. - Voi. 377. - S. 34. - (London Mathematical Society Lecture Note Series). - ISBN 0-521-73866-0 .