Center (category Theory)
   HOME
*





Center (category Theory)
In category theory, a branch of mathematics, the center (or Drinfeld center, after Soviet-American mathematician Vladimir Drinfeld) is a variant of the notion of the center of a monoid, group, or ring to a category. Definition The center of a monoidal category \mathcal = (\mathcal,\otimes,I), denoted \mathcal, is the category whose objects are pairs ''(A,u)'' consisting of an object ''A'' of \mathcal and an isomorphism u_X:A \otimes X \rightarrow X \otimes A which is natural in X satisfying : u_ = (1 \otimes u_Y)(u_X \otimes 1) and : u_I = 1_A (this is actually a consequence of the first axiom). An arrow from ''(A,u)'' to ''(B,v)'' in \mathcal consists of an arrow f:A \rightarrow B in \mathcal such that :v_X (f \otimes 1_X) = (1_X \otimes f) u_X. This definition of the center appears in . Equivalently, the center may be defined as :\mathcal Z(\mathcal C) = \mathrm_(\mathcal C), i.e., the endofunctors of ''C'' which are compatible with the left and right action of ''C'' o ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Category Theory
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, category theory is used in almost all areas of mathematics, and in some areas of computer science. In particular, many constructions of new mathematical objects from previous ones, that appear similarly in several contexts are conveniently expressed and unified in terms of categories. Examples include quotient spaces, direct products, completion, and duality. A category is formed by two sorts of objects: the objects of the category, and the morphisms, which relate two objects called the ''source'' and the ''target'' of the morphism. One often says that a morphism is an ''arrow'' that ''maps'' its source to its target. Morphisms can be ''composed'' if the target of the first morphism equals the source of the second one, and morphism com ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space which is locally a finite group quotient of a Euclidean space. Definitions of orbifold have been given several times: by Ichirô Satake in the context of automorphic forms in the 1950s under the name ''V-manifold''; by William Thurston in the context of the geometry of 3-manifolds in the 1970s when he coined the name ''orbifold'', after a vote by his students; and by André Haefliger in the 1980s in the context of Mikhail Gromov (mathematician), Mikhail Gromov's programme on CAT(k) spaces under the name ''orbihedron''. Historically, orbifolds arose first as surfaces with Singularity (mathematics), singular points long before they were formally defined. One of the first classical examples arose in the theory of modular forms with the action of the modular group \mathrm(2,\Z) on the upper half-plane: a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Journal Of Pure And Applied Algebra
The ''Journal of Pure and Applied Algebra'' is a monthly peer-reviewed scientific journal covering that part of algebra likely to be of general mathematical interest: algebraic results with immediate applications, and the development of algebraic theories of sufficiently general relevance to allow for future applications. Its founding editors-in-chief were Peter J. Freyd (University of Pennsylvania) and Alex Heller (City University of New York). The current managing editors are Eric Friedlander (University of Southern California), Charles Weibel (Rutgers University), and Srikanth Iyengar (University of Utah). Abstracting and indexing The journal is abstracted and indexed in Current Contents/Physics, Chemical, & Earth Sciences, Mathematical Reviews, PASCAL, Science Citation Index, Zentralblatt MATH, and Scopus. According to the ''Journal Citation Reports'', the journal has a 2016 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Category Of Categories
In mathematics, specifically in category theory, the category of small categories, denoted by Cat, is the category whose objects are all small categories and whose morphisms are functors between categories. Cat may actually be regarded as a 2-category 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.terminal category
at nLab The category Cat is itself a large category, and therefore not an object of itself. In order to avoid problems analogous to
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Center (ring Theory)
In algebra, the center of a ring ''R'' is the subring consisting of the elements ''x'' such that ''xy = yx'' for all elements ''y'' in ''R''. It is a commutative ring and is denoted as Z(R); "Z" stands for the German word ''Zentrum'', meaning "center". If ''R'' is a ring, then ''R'' is an associative algebra over its center. Conversely, if ''R'' is an associative algebra over a commutative subring ''S'', then ''S'' is a subring of the center of ''R'', and if ''S'' happens to be the center of ''R'', then the algebra ''R'' is called a central algebra. Examples *The center of a commutative ring ''R'' is ''R'' itself. *The center of a skew-field is a field. *The center of the (full) matrix ring with entries in a commutative ring ''R'' consists of ''R''-scalar multiples of the identity matrix. *Let ''F'' be a field extension of a field ''k'', and ''R'' an algebra over ''k''. Then Z\left(R \otimes_k F\right) = Z(R) \otimes_k F. *The center of the universal enveloping algebra of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Monoid Object
In category theory, a branch of mathematics, a monoid (or monoid object, or internal monoid, or algebra) in a monoidal category is an object ''M'' together with two morphisms * ''μ'': ''M'' ⊗ ''M'' → ''M'' called ''multiplication'', * ''η'': ''I'' → ''M'' called ''unit'', such that the pentagon diagram : and the unitor diagram : commute. In the above notation, is the identity morphism of , is the unit element and α, λ and ρ are respectively the associativity, the left identity and the right identity of the monoidal category C. Dually, a comonoid in a monoidal category C is a monoid in the dual category Cop. Suppose that the monoidal category C has a symmetry ''γ''. A monoid ''M'' in C is commutative when . Examples * A monoid object in Set, the category of sets (with the monoidal structure induced by the Cartesian product), is a monoid in the usual sense. * A monoid object in Top, the category of topological spaces (with the monoidal structure induce ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Center Of A Group
In abstract algebra, the center of a group, , is the set of elements that commute with every element of . It is denoted , from German ''Zentrum,'' meaning ''center''. In set-builder notation, :. The center is a normal subgroup, . As a subgroup, it is always characteristic, but is not necessarily fully characteristic. The quotient group, , is isomorphic to the inner automorphism group, . A group is abelian if and only if . At the other extreme, a group is said to be centerless if is trivial; i.e., consists only of the identity element. The elements of the center are sometimes called central. As a subgroup The center of ''G'' is always a subgroup of . In particular: # contains the identity element of , because it commutes with every element of , by definition: , where is the identity; # If and are in , then so is , by associativity: for each ; i.e., is closed; # If is in , then so is as, for all in , commutes with : . Furthermore, the center of is alwa ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Group Representation
In the mathematical field of representation theory, group representations describe abstract groups in terms of bijective linear transformations of a vector space to itself (i.e. vector space automorphisms); in particular, they can be used to represent group elements as invertible matrices so that the group operation can be represented by matrix multiplication. In chemistry, a group representation can relate mathematical group elements to symmetric rotations and reflections of molecules. Representations of groups are important because they allow many group-theoretic problems to be reduced to problems in linear algebra, which is well understood. They are also important in physics because, for example, they describe how the symmetry group of a physical system affects the solutions of equations describing that system. The term ''representation of a group'' is also used in a more general sense to mean any "description" of a group as a group of transformations of some mathemat ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Classifying Space
In mathematics, specifically in homotopy theory, a classifying space ''BG'' of a topological group ''G'' is the quotient of a weakly contractible space ''EG'' (i.e. a topological space all of whose homotopy groups are trivial) by a proper free action of ''G''. It has the property that any ''G'' principal bundle over a paracompact manifold is isomorphic to a pullback of the principal bundle ''EG'' → ''BG''. As explained later, this means that classifying spaces represent a set-valued functor on the homotopy category of topological spaces. The term classifying space can also be used for spaces that represent a set-valued functor on the category of topological spaces, such as Sierpiński space. This notion is generalized by the notion of classifying topos. However, the rest of this article discusses the more commonly used notion of classifying space up to homotopy. For a discrete group ''G'', ''BG'' is, roughly speaking, a path-connected topological space ''X'' such that the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Inertia Orbifold
Inertia is the idea that an object will continue its current motion until some force causes its speed or direction to change. The term is properly understood as shorthand for "the principle of inertia" as described by Newton in his first law of motion. After some other definitions, Newton states in his first law of motion: The word "perseveres" is a direct translation from Newton's Latin. Other, less forceful terms such as "to continue" or "to remain" are commonly found in modern textbooks. The modern use follows from some changes in Newton's original mechanics (as stated in the ''Principia'') made by Euler, d'Alembert, and other Cartesians. The term inertia comes from the Latin word ''iners'', meaning idle, sluggish. The term inertia may also refer to the resistance of any physical object to a change in its velocity. This includes changes to the object's speed or direction of motion. An aspect of this property is the tendency of objects to keep moving in a straight line at ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Dunn Additivity
Dunn may refer to: Places in the United States * Dunn, Indiana, a ghost town * Dunn, Missouri, an unincorporated community * Dunn, North Carolina, a city * Dunn County, North Dakota, county * Dunn, Texas, an unincorporated community * Dunn County, Wisconsin, county * Dunn, Dane County, Wisconsin, town * Dunn, Dunn County, Wisconsin, town People *Dunn baronets, three baronetcies in the Baronetage of the United Kingdom *Dunn (bishop), an 8th-century English bishop *Dunn (surname), a surname Taxonomy There are 2 different instances where the last name Dunn is used to give the authority behind names of species: *Emmett Reid Dunn (1894–1956), U. S. zoologist, mostly in the names of snakes, frogs etc. in the Americas *Stephen Troyte Dunn (1868–1938), British botanist, mostly in the names of plants in China Other *Dunn Engineering, racecar makers *J. E. Dunn Construction Group, a construction company *Dunn Memorial Bridge in Albany, New York *Dunn's, a Canadian restaurant chain *Du ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting poin ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]