Category of magmas

﻿
Category of magmas

In mathematics, the category of magmas (see category, magma for definitions), denoted by Mag, has as objects sets with a binary operation, and morphisms given by homomorphisms of operations (in the universal algebra sense).

The category Mag has direct products, so the concept of a magma object (internal binary operation) makes sense. (As in any category with direct products).

There is an inclusion functor from Set to Med to (inclusion) Mag as trivial magmas, with operations given by projection: x T y = y.

An important property is that an injective endomorphism can be extended to an automorphism of a magma extension, just the colimit of the (constant sequence of the) endomorphism.

Because the singleton ({*},*) is the zero-object of Mag, and because Mag is algebraic, Mag is pointed and complete.[1]

References

1. ^ Borceux, Francis; Bourn, Dominique (2004). Mal'cev, protomodular, homological and semi-abelian categories. Springer. pp. 7, 19. ISBN 1402019610.

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Category of medial magmas — In mathematics, the medial category Med, that is, the category of medial magmas has as objects sets with a medial binary operation, and morphisms given by homomorphisms of operations (in the universal algebra sense). The category Med has direct… …   Wikipedia

• Category (mathematics) — In mathematics, a category is an algebraic structure that comprises objects that are linked by arrows . A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A …   Wikipedia

• List of category theory topics — This is a list of category theory topics, by Wikipedia page. Specific categories *Category of sets **Concrete category *Category of vector spaces **Category of graded vector spaces *Category of finite dimensional Hilbert spaces *Category of sets… …   Wikipedia

• Outline of category theory — The following outline is provided as an overview of and guide to category theory: Category theory – area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as… …   Wikipedia

• List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

• Magma (disambiguation) — Magma is a type of molten rock found under the Earth s surface. This may also refer to several different things: Contents 1 Computing 2 Fictional characters 3 Mathematics 4 Other …   Wikipedia

• Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

• Magma (algebra) — In abstract algebra, a magma (or groupoid; not to be confused with groupoids in category theory) is a basic kind of algebraic structure. Specifically, a magma consists of a set M equipped with a single binary operation . A binary operation is… …   Wikipedia

• Earth Sciences — ▪ 2009 Introduction Geology and Geochemistry       The theme of the 33rd International Geological Congress, which was held in Norway in August 2008, was “Earth System Science: Foundation for Sustainable Development.” It was attended by nearly… …   Universalium

• List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia