|
Higher-dimensional Algebra
In mathematics, especially (Higher category theory, higher) category theory, higher-dimensional algebra is the study of Categorification, categorified structures. It has applications in nonabelian algebraic topology, and generalizes abstract algebra. Higher-dimensional categories A first step towards defining higher dimensional algebras is the concept of 2-category of higher category theory, followed by the more 'geometric' concept of double category. A higher level concept is thus defined as a Category (mathematics), category of categories, or super-category, which generalises to higher dimensions the notion of Category (mathematics), category – regarded as any structure which is an interpretation of Lawvere's axioms of the elementary theory of abstract categories (ETAC). Thus, a supercategory and also a functor category, super-category, can be regarded as natural extensions of the concepts of multicategory, meta-category, multicategory, and Turán graph, multi-graph, ''k ... [...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] |
Graph Theory
In mathematics and computer science, graph theory is the study of ''graph (discrete mathematics), graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of ''Vertex (graph theory), vertices'' (also called ''nodes'' or ''points'') which are connected by ''Glossary of graph theory terms#edge, edges'' (also called ''arcs'', ''links'' or ''lines''). A distinction is made between undirected graphs, where edges link two vertices symmetrically, and directed graphs, where edges link two vertices asymmetrically. Graphs are one of the principal objects of study in discrete mathematics. Definitions Definitions in graph theory vary. The following are some of the more basic ways of defining graphs and related mathematical structures. Graph In one restricted but very common sense of the term, a graph is an ordered pair G=(V,E) comprising: * V, a Set (mathematics), set of vertices (also called nodes or points); * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Double Groupoid
In mathematics, especially in higher-dimensional algebra and homotopy theory, a double groupoid generalises the notion of groupoid and of category to a higher dimension. Definition A double groupoid D is a higher-dimensional groupoid involving a relationship for both 'horizontal' and 'vertical' groupoid structures. (A double groupoid can also be considered as a generalization of certain higher-dimensional groups.) The geometry of squares and their compositions leads to a common representation of a ''double groupoid'' in the following diagram: where M is a set of 'points', H and V are, respectively, 'horizontal' and 'vertical' groupoids, and S is a set of 'squares' with two compositions. The composition laws for a double groupoid D make it also describable as a groupoid internal to the category of groupoids. Given two groupoids H and V over a set M, there is a double groupoid \Box(H,V) with H,V as horizontal and vertical edge groupoids, and squares given by quadruples :: \be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Groupoid
In mathematics, especially in category theory and homotopy theory, a groupoid (less often Brandt groupoid or virtual group) generalises the notion of group in several equivalent ways. A groupoid can be seen as a: * '' Group'' with a partial function replacing the binary operation; * '' Category'' in which every morphism is invertible. A category of this sort can be viewed as augmented with a unary operation on the morphisms, called ''inverse'' by analogy with group theory. A groupoid where there is only one object is a usual group. In the presence of dependent typing, a category in general can be viewed as a typed monoid, and similarly, a groupoid can be viewed as simply a typed group. The morphisms take one from one object to another, and form a dependent family of types, thus morphisms might be typed , , say. Composition is then a total function: , so that . Special cases include: * '' Setoids'': sets that come with an equivalence relation, * '' G-sets'': sets equippe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Internal Category
In mathematics, more specifically in category theory, internal categories are a generalisation of the notion of small category, and are defined with respect to a fixed ambient category. If the ambient category is taken to be the category of sets then one recovers the theory of small categories. In general, internal categories consist of a pair of objects in the ambient category—thought of as the 'object of objects' and 'object of morphisms'—together with a collection of morphisms in the ambient category satisfying certain identities. Group objects, are common examples of internal categories. There are notions of internal functors and natural transformations that make the collection of internal categories in a fixed category into a 2-category. Definitions Let C be a category with pullbacks. An internal category in C consists of the following data: two C-objects C_0,C_1 named "object of objects" and "object of morphisms" respectively and four C-arrows d_0,d_1:C_1\rightarrow C_ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Enriched Category
In category theory, a branch of mathematics, an enriched category generalizes the idea of a category (mathematics), category by replacing hom-sets with objects from a general monoidal category. It is motivated by the observation that, in many practical applications, the hom-set often has additional structure that should be respected, e.g., that of being a vector space of morphisms, or a topological space of morphisms. In an enriched category, the set of morphisms (the hom-set) associated with every pair of objects is replaced by an object (category theory), object in some fixed monoidal category of "hom-objects". In order to emulate the (associative) composition of morphisms in an ordinary category, the hom-category must have a means of composing hom-objects in an associative manner: that is, there must be a binary operation on objects giving us at least the structure of a monoidal category, though in some contexts the operation may also need to be commutative and perhaps also to ha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topoi
In mathematics, a topos (, ; plural topoi or , or toposes) is a category that behaves like the category of sheaves of sets on a topological space (or more generally, on a site). Topoi behave much like the category of sets and possess a notion of localization. The Grothendieck topoi find applications in algebraic geometry, and more general elementary topoi are used in logic. The mathematical field that studies topoi is called topos theory. Grothendieck topos (topos in geometry) Since the introduction of sheaves into mathematics in the 1940s, a major theme has been to study a space by studying sheaves on a space. This idea was expounded by Alexander Grothendieck by introducing the notion of a "topos". The main utility of this notion is in the abundance of situations in mathematics where topological heuristics are very effective, but an honest topological space is lacking; it is sometimes possible to find a topos formalizing the heuristic. An important example of this programma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parametrized Category
In mathematics, a parametric equation expresses several quantities, such as the coordinates of a point, as functions of one or several variables called parameters. In the case of a single parameter, parametric equations are commonly used to express the trajectory of a moving point, in which case, the parameter is often, but not necessarily, time, and the point describes a curve, called a parametric curve. In the case of two parameters, the point describes a surface, called a parametric surface. In all cases, the equations are collectively called a parametric representation, or parametric system, or parameterization (also spelled parametrization, parametrisation) of the object. For example, the equations \begin x &= \cos t \\ y &= \sin t \end form a parametric representation of the unit circle, where is the parameter: A point is on the unit circle if and only if there is a value of such that these two equations generate that point. Sometimes the parametric equations ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Variable Category
Variable may refer to: Computer science * Variable (computer science), a symbolic name associated with a value and whose associated value may be changed Mathematics * Variable (mathematics), a symbol that represents a quantity in a mathematical expression, as used in many sciences * Propositional variable, taking the value true or false in mathematical logic * Random variable, a variable in statistics whose value depends on random events ** Categorical variable, taking one of a finite number of values in a statistical problem, such as the head or tail result of a tossed coin ** Independent and identically distributed random variables, statistically independent and having the same probability distribution * Fluent (mathematics), a time-varying quantity as coined by Isaac Newton in his early calculus * State variable, used to describe the mathematical "state" of a dynamical system * Slack variable, inserted to transform an inequality constraint in an optimization problem in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bicategory
In category theory in mathematics, a 2-category is a category (mathematics), category with "morphisms between morphisms", called 2-morphisms. A basic example is the category Cat of all (small) categories, where a 2-morphism is a natural transformation between functors. The concept of a strict 2-category was first introduced by Charles Ehresmann in his work on enriched categories in 1965. The more general concept of bicategory (or weak 2-category), where composition of morphisms is associative only up to a 2-isomorphism, was introduced in 1967 by Jean Bénabou. A (2, 1)-category is a 2-category where each 2-morphism is invertible. Definitions A strict 2-category By definition, a strict 2-category ''C'' consists of the data: * a Class (set theory), class of 0-''cells'', * for each pairs of 0-cells a, b, a set \operatorname(a, b) called the set of 1-''cells'' from a to b, * for each pairs of 1-cells f, g in the same hom-set, a set \operatorname(f, g) called the set of 2- ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Biology
Mathematical and theoretical biology, or biomathematics, is a branch of biology which employs theoretical analysis, mathematical models and abstractions of living organisms to investigate the principles that govern the structure, development and behavior of the systems, as opposed to experimental biology which deals with the conduction of experiments to test scientific theories. The field is sometimes called mathematical biology or biomathematics to stress the mathematical side, or theoretical biology to stress the biological side. Theoretical biology focuses more on the development of theoretical principles for biology while mathematical biology focuses on the use of mathematical tools to study biological systems, even though the two terms interchange; overlapping as Artificial Immune Systems of Amorphous Computation. Mathematical biology aims at the mathematical representation and modeling of biological processes, using techniques and tools of applied mathematics. It ca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
