Set marcat

Un set cu un punct marcat  este un set cu un punct marcat . Mapările între seturi de puncte marcate sunt funcții care duc un punct marcat la altul, adică mapări astfel încât , uneori, se folosește următoarea notație:

Seturile punctate pot fi definite ca o structură algebrică simplă . În ceea ce privește algebrei universale , acestea sunt structuri cu o singură operație nulă care selectează un punct marcat. Astfel, structurile algebrice cu operații nulare sunt mulțimi cu un punct marcat, de exemplu, un grup  este o mulțime cu un punct marcat ca element neutru , iar homomorfismele de grup păstrează elementul neutru.

Clasa de mulțimi cu un punct marcat și mapări care păstrează acest punct formează o categorie , în care există un obiect nul  — un singleton cu un punct marcat .

Literatură

• McLane S. Categorii pentru matematicianul de lucru / Per. din engleza. ed. V. A. Artamonova. - M. : Fizmatlit, 2004. - 352 p. — ISBN 5-9221-0400-4 .

• Gregory Berhuy. O introducere în coomologia Galois și  aplicațiile sale . - Cambridge University Press , 2010. - Vol. 377. - P. 34. - (London Mathematical Society Lecture Note Series). - ISBN 0-521-73866-0 .