Categorie van magma's

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de categorietheorie, een abstract deelgebied van de wiskunde, heeft de categorie van magma's (zie categorie, magma voor definities), aangeduid door Mag, als objecten verzamelingen met een binaire operatie, en morfismen gegeven door homomorfismen van operatie (in de zin van de universele algebra).

De categorie Mag heeft direct producten, zodat het concept van een magma object (interne binaire operatie) zin heeft (zoals in elke categorie met directe producten).

Er is een inclusiefunctor van Set naar Med tot (inclusie) Mag als triviale magma's, met operaties, gegeven door de projectie: x' 'T y = y.