|
Quiver Representations
In mathematics, especially representation theory, a quiver is another name for a multidigraph; that is, a directed graph where loops and multiple arrows between two vertices are allowed. Quivers are commonly used in representation theory: a representation of a quiver assigns a vector space to each vertex of the quiver and a linear map to each arrow . In category theory, a quiver can be understood to be the underlying structure of a category, but without composition or a designation of identity morphisms. That is, there is a forgetful functor from (the category of categories) to (the category of multidigraphs). Its left adjoint is a free functor which, from a quiver, makes the corresponding free category. Definition A quiver consists of: * The set of vertices of * The set of edges of * Two functions: giving the ''start'' or ''source'' of the edge, and another function, giving the ''target'' of the edge. This definition is identical to th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quiver Morphism Target Diagram
A quiver is a container for holding arrows or bolts. It can be carried on an archer's body, the bow, or the ground, depending on the type of shooting and the archer's personal preference. Quivers were traditionally made of leather, wood, furs, and other natural materials, but are now often made of metal or plastic. Etymology The English word quiver has its origins in Old French, written as quivre, cuevre, or coivre. Types Belt quiver The most common style of quiver is a flat or cylindrical container suspended from the belt. They are found across many cultures from North America to China. Many variations of this type exist, such as being canted forwards or backwards, and being carried on the dominant hand side, off-hand side, or the small of the back. Some variants enclose almost the entire arrow, while minimalist "pocket quivers" consist of little more than a small stiff pouch that only covers the first few inches. The Bayeux Tapestry shows that most bowmen in medieval ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Approximate Identity
In mathematics, particularly in functional analysis and ring theory, an approximate identity is a net in a Banach algebra or ring (generally without an identity) that acts as a substitute for an identity element. Definition A right approximate identity in a Banach algebra ''A'' is a net \ such that for every element ''a'' of ''A'', \lim_\lVert ae_\lambda - a \rVert = 0. Similarly, a left approximate identity in a Banach algebra ''A'' is a net \ such that for every element ''a'' of ''A'', \lim_\lVert e_\lambda a - a \rVert = 0. An approximate identity is a net which is both a right approximate identity and a left approximate identity. C*-algebras For C*-algebras, a right (or left) approximate identity consisting of self-adjoint elements is the same as an approximate identity. The net of all positive elements in ''A'' of norm ≤ 1 with its natural order is an approximate identity for any C*-algebra. This is called the canonical approximate identity of a C*-algebra. Approx ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Module (mathematics)
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a (not necessarily commutative) ring. The concept of a ''module'' also generalizes the notion of an abelian group, since the abelian groups are exactly the modules over the ring of integers. Like a vector space, a module is an additive abelian group, and scalar multiplication is distributive over the operations of addition between elements of the ring or module and is compatible with the ring multiplication. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. Introduction and definition Motivation In a vector space, the set of scalars is a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Associative Algebra
In mathematics, an associative algebra ''A'' over a commutative ring (often a field) ''K'' is a ring ''A'' together with a ring homomorphism from ''K'' into the center of ''A''. This is thus an algebraic structure with an addition, a multiplication, and a scalar multiplication (the multiplication by the image of the ring homomorphism of an element of ''K''). The addition and multiplication operations together give ''A'' the structure of a ring; the addition and scalar multiplication operations together give ''A'' the structure of a module or vector space over ''K''. In this article we will also use the term ''K''-algebra to mean an associative algebra over ''K''. A standard first example of a ''K''-algebra is a ring of square matrices over a commutative ring ''K'', with the usual matrix multiplication. A commutative algebra is an associative algebra for which the multiplication is commutative, or, equivalently, an associative algebra that is also a commutative ring. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field (mathematics)
In mathematics, a field is a set (mathematics), set on which addition, subtraction, multiplication, and division (mathematics), division are defined and behave as the corresponding operations on rational number, rational and real numbers. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics. The best known fields are the field of rational numbers, the field of real numbers and the field of complex numbers. Many other fields, such as field of rational functions, fields of rational functions, algebraic function fields, algebraic number fields, and p-adic number, ''p''-adic fields are commonly used and studied in mathematics, particularly in number theory and algebraic geometry. Most cryptographic protocols rely on finite fields, i.e., fields with finitely many element (set), elements. The theory of fields proves that angle trisection and squaring the circle cannot be done with a compass and straighte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Path (graph Theory)
In graph theory, a path in a graph is a finite or infinite sequence of edges which joins a sequence of vertices which, by most definitions, are all distinct (and since the vertices are distinct, so are the edges). A directed path (sometimes called dipath) in a directed graph is a finite or infinite sequence of edges which joins a sequence of distinct vertices, but with the added restriction that the edges be all directed in the same direction. Paths are fundamental concepts of graph theory, described in the introductory sections of most graph theory texts. See e.g. , , or . cover more advanced algorithmic topics concerning paths in graphs. Definitions Walk, trail, and path * A walk is a finite or infinite sequence of edges which joins a sequence of vertices. : Let be a graph. A finite walk is a sequence of edges for which there is a sequence of vertices such that ''Φ''(''e''''i'') = for . is the ''vertex sequence'' of the walk. The walk is ''closed'' if ''v''1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Opposite Category
In category theory, a branch of mathematics, the opposite category or dual category C^ of a given Category (mathematics), category C is formed by reversing the morphisms, i.e. interchanging the source and target of each morphism. Doing the reversal twice yields the original category, so the opposite of an opposite category is the original category itself. In symbols, (C^)^ = C. The construction can be generalized to ∞-category, ∞-categories using the opposite simplicial set. Examples * An example comes from reversing the direction of inequalities in a partial order. So if ''X'' is a Set (mathematics), set and ≤ a partial order relation, we can define a new partial order relation ≤op by :: ''x'' ≤op ''y'' if and only if ''y'' ≤ ''x''. : The new order is commonly called dual order of ≤, and is mostly denoted by ≥. Therefore, Order_theory#Duality, duality plays an important role in order theory and every purely order theoretic concept has a dual. For example, there ar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Of Presheaves
In category theory, a branch of mathematics, a presheaf on a category C is a functor F\colon C^\mathrm\to\mathbf. If C is the poset of open sets in a topological space, interpreted as a category, then one recovers the usual notion of presheaf on a topological space. A morphism of presheaves is defined to be a natural transformation of functors. This makes the collection of all presheaves on C into a category, and is an example of a functor category. It is often written as \widehat = \mathbf^ and it is called the category of presheaves on C. A functor into \widehat is sometimes called a profunctor. A presheaf that is naturally isomorphic to the contravariant hom-functor Hom(–, ''A'') for some object ''A'' of C is called a representable presheaf. Some authors refer to a functor F\colon C^\mathrm\to\mathbf as a \mathbf-valued presheaf. Examples * A simplicial set is a Set-valued presheaf on the simplex category C=\Delta. * A directed multigraph is a presheaf on the category ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Natural Transformation
In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure (i.e., the composition of morphisms) of the categories involved. Hence, a natural transformation can be considered to be a "morphism of functors". Informally, the notion of a natural transformation states that a particular map between functors can be done consistently over an entire category. Indeed, this intuition can be formalized to define so-called functor categories. Natural transformations are, after categories and functors, one of the most fundamental notions of category theory and consequently appear in the majority of its applications. Definition If F and G are functors between the categories C and D (both from C to D), then a natural transformation \eta from F to G is a family of morphisms that satisfies two requirements. # The natural transformation must associate, to every object X in C, a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Functor Category
In category theory, a branch of mathematics, a functor category D^C is a category where the objects are the functors F: C \to D and the morphisms are natural transformations \eta: F \to G between the functors (here, G: C \to D is another object in the category). Functor categories are of interest for two main reasons: * many commonly occurring categories are (disguised) functor categories, so any statement proved for general functor categories is widely applicable; * every category embeds in a functor category (via the Yoneda embedding); the functor category often has nicer properties than the original category, allowing certain operations that were not available in the original setting. Definition Suppose C is a small category (i.e. the objects and morphisms form a set rather than a proper class) and D is an arbitrary category. The category of functors from C to D, written as Fun(C, D), Funct(C,D), ,D/math>, or D ^C, has as objects the covariant functors from C to D, and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Identity Morphism
In mathematics, a morphism is a concept of category theory that generalizes structure-preserving maps such as homomorphism between algebraic structures, functions from a set to another set, and continuous functions between topological spaces. Although many examples of morphisms are structure-preserving maps, morphisms need not to be maps, but they can be composed in a way that is similar to function composition. Morphisms and objects are constituents of a category. Morphisms, also called ''maps'' or ''arrows'', relate two objects called the ''source'' and the ''target'' of the morphism. There is a partial operation, called ''composition'', on the morphisms of a category that is defined if the target of the first morphism equals the source of the second morphism. The composition of morphisms behaves like function composition ( associativity of composition when it is defined, and existence of an identity morphism for every object). Morphisms and categories recur in much of cont ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
