Mærket sæt

Et sæt med et markeret punkt  er et sæt med et markeret punkt . Mappings mellem markerede punktsæt er funktioner , der tager et markeret punkt til et andet, dvs. mappings sådan at , nogle gange bruges følgende notation:

.

Stiplede sæt kan defineres som en simpel algebraisk struktur . Med hensyn til universel algebra er disse strukturer med en enkelt nuloperation , der vælger et markeret punkt. Således er algebraiske strukturer med nullære operationer mængder med et markeret punkt, for eksempel er en gruppe  et sæt med et markeret punkt som et neutralt element , og gruppehomomorfismer bevarer det neutrale element.

Klassen af ​​sæt med et markeret punkt og tilknytninger, der bevarer dette punkt, danner en kategori , hvori der er et nulobjekt  — en singleton med et markeret punkt .

Litteratur