 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 zeroobject of Mag, and because Mag is algebraic, Mag is pointed and complete.^{[1]}
References
Categories: Categorytheoretic categories
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