Universal propertyIn mathematics, more specifically in , a universal property is a property that characterizes up to an isomorphism the result of some constructions. Thus, universal properties can be used for defining some objects independently from the method chosen for constructing them. For example, the definitions of the integers from the natural numbers, of the rational numbers from the integers, of the real numbers from the rational numbers, and of polynomial rings from the field of their coefficients can all be done in terms of universal properties.
Preadditive categoryIn mathematics, specifically in , a preadditive category is another name for an Ab-category, i.e., a that is over the , Ab. That is, an Ab-category C is a such that every hom-set Hom(A,B) in C has the structure of an abelian group, and composition of morphisms is bilinear, in the sense that composition of morphisms distributes over the group operation. In formulas: and where + is the group operation. Some authors have used the term additive category for preadditive categories, but here we follow the current trend of reserving this term for certain special preadditive categories (see below).
Pointed spaceIn mathematics, a pointed space or based space is a topological space with a distinguished point, the basepoint. The distinguished point is just simply one particular point, picked out from the space, and given a name, such as that remains unchanged during subsequent discussion, and is kept track of during all operations. Maps of pointed spaces (based maps) are continuous maps preserving basepoints, i.e.
Zero ringIn ring theory, a branch of mathematics, the zero ring or trivial ring is the unique ring (up to isomorphism) consisting of one element. (Less commonly, the term "zero ring" is used to refer to any rng of square zero, i.e., a rng in which xy = 0 for all x and y. This article refers to the one-element ring.) In the , the zero ring is the terminal object, whereas the ring of integers Z is the initial object. The zero ring, denoted {0} or simply 0, consists of the one-element set {0} with the operations + and · defined such that 0 + 0 = 0 and 0 · 0 = 0.
Category of small categoriesIn mathematics, specifically in , the category of small categories, denoted by Cat, is the whose objects are all and whose morphisms are functors between categories. Cat may actually be regarded as a with natural transformations serving as 2-morphisms. The initial object of Cat is the empty category 0, which is the category of no objects and no morphisms. The terminal object is the terminal category or trivial category 1 with a single object and morphism. The category Cat is itself a , and therefore not an object of itself.
Zero morphismIn , a branch of mathematics, a zero morphism is a special kind of morphism exhibiting properties like the morphisms to and from a zero object. Suppose C is a , and f : X → Y is a morphism in C. The morphism f is called a constant morphism (or sometimes left zero morphism) if for any W in C and any g, h : W → X, fg = fh. Dually, f is called a coconstant morphism (or sometimes right zero morphism) if for any object Z in C and any g, h : Y → Z, gf = hf. A zero morphism is one that is both a constant morphism and a coconstant morphism.
Comma categoryIn mathematics, a comma category (a special case being a slice category) is a construction in . It provides another way of looking at morphisms: instead of simply relating objects of a to one another, morphisms become objects in their own right. This notion was introduced in 1963 by F. W. Lawvere (Lawvere, 1963 p. 36), although the technique did not become generally known until many years later. Several mathematical concepts can be treated as comma categories. Comma categories also guarantee the existence of some s and colimits.
Free objectIn mathematics, the idea of a free object is one of the basic concepts of abstract algebra. Informally, a free object over a set A can be thought of as being a "generic" algebraic structure over A: the only equations that hold between elements of the free object are those that follow from the defining axioms of the algebraic structure. Examples include free groups, tensor algebras, or free lattices. The concept is a part of universal algebra, in the sense that it relates to all types of algebraic structure (with finitary operations).
