|
Strict Initial Object
In the mathematical discipline of category theory, a strict initial object is an initial object 0 of a category ''C'' with the property that every morphism in ''C'' with codomain 0 is an isomorphism. In a Cartesian closed category In category theory, a Category (mathematics), category is Cartesian closed if, roughly speaking, any morphism defined on a product (category theory), product of two Object (category theory), objects can be naturally identified with a morphism defin ..., every initial object is strict. Also, if ''C'' is a distributive or extensive category, then the initial object 0 of ''C'' is strict. References External links * Objects (category theory) {{categorytheory-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Theory
Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Category theory is used in most areas of mathematics. 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 space (other), quotient spaces, direct products, completion, and duality (mathematics), duality. Many areas of computer science also rely on category theory, such as functional programming and Semantics (computer science), semantics. A category (mathematics), category is formed by two sorts of mathematical object, objects: the object (category theory), objects of the category, and the morphisms, which relate two objects called the ''source'' and the ''target'' of the morphism. Metapho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Initial Object
In category theory, a branch of mathematics, an initial object of a category is an object in such that for every object in , there exists precisely one morphism . The dual notion is that of a terminal object (also called terminal element): is terminal if for every object in there exists exactly one morphism . Initial objects are also called coterminal or universal, and terminal objects are also called final. If an object is both initial and terminal, it is called a zero object or null object. A pointed category is one with a zero object. A strict initial object is one for which every morphism into is an isomorphism. Examples * The empty set is the unique initial object in Set, the category of sets. Every one-element set ( singleton) is a terminal object in this category; there are no zero objects. Similarly, the empty space is the unique initial object in Top, the category of topological spaces and every one-point space is a terminal object in this category. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category (mathematics)
In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is a collection of "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 simple example is the category of sets, whose objects are sets and whose arrows are functions. ''Category theory'' is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent. Virtually every branch of modern mathematics can be described in terms of categories, and doing so often reveals deep insights and similarities between seemingly different areas of mathematics. As such, category theory provides an alternative foundation for mathematics to set theory and other proposed axiomatic foundations. In general, the objects and arrows may be abstract entities of any kind, and the n ... [...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] |
Codomain
In mathematics, a codomain, counter-domain, or set of destination of a function is a set into which all of the output of the function is constrained to fall. It is the set in the notation . The term '' range'' is sometimes ambiguously used to refer to either the codomain or the ''image'' of a function. A codomain is part of a function if is defined as a triple where is called the '' domain'' of , its ''codomain'', and its '' graph''. The set of all elements of the form , where ranges over the elements of the domain , is called the ''image'' of . The image of a function is a subset of its codomain so it might not coincide with it. Namely, a function that is not surjective has elements in its codomain for which the equation does not have a solution. A codomain is not part of a function if is defined as just a graph. For example in set theory it is desirable to permit the domain of a function to be a proper class , in which case there is formally no such thin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isomorphism (category Theory)
In mathematics, an isomorphism is a structure-preserving mapping or morphism between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word is derived . The interest in isomorphisms lies in the fact that two isomorphic objects have the same properties (excluding further information such as additional structure or names of objects). Thus isomorphic structures cannot be distinguished from the point of view of structure only, and may often be identified. In mathematical jargon, one says that two objects are the same up to an isomorphism. A common example where isomorphic structures cannot be identified is when the structures are substructures of a larger one. For example, all subspaces of dimension one of a vector space are isomorphic and cannot be identified. An automorphism is an isomorphism from a structure to itself. An isomorphism between two structures is a cano ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cartesian Closed Category
In category theory, a Category (mathematics), category is Cartesian closed if, roughly speaking, any morphism defined on a product (category theory), product of two Object (category theory), objects can be naturally identified with a morphism defined on one of the factors. These categories are particularly important in mathematical logic and the theory of programming, in that their internal language is the simply typed lambda calculus. They are generalized by closed monoidal category, closed monoidal categories, whose internal language, linear type systems, are suitable for both quantum computation, quantum and classical computation. Etymology Named after René Descartes (1596–1650), French philosopher, mathematician, and scientist, whose formulation of analytic geometry gave rise to the concept of Cartesian product, which was later generalized to the notion of categorical product. Definition The category C is called Cartesian closed iff it satisfies the following three propert ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Clarendon Press
Oxford University Press (OUP) is the publishing house of the University of Oxford. It is the largest university press in the world. Its first book was printed in Oxford in 1478, with the Press officially granted the legal right to print books by decree in 1586. It is the second-oldest university press after Cambridge University Press, which was founded in 1534. It is a department of the University of Oxford. It is governed by a group of 15 academics, the Delegates of the Press, appointed by the vice-chancellor of the University of Oxford. The Delegates of the Press are led by the Secretary to the Delegates, who serves as OUP's chief executive and as its major representative on other university bodies. Oxford University Press has had a similar governance structure since the 17th century. The press is located on Walton Street, Oxford, opposite Somerville College, in the inner suburb of Jericho. For the last 400 years, OUP has focused primarily on the publication of pedagogic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Distributive Category
In mathematics, a category is distributive if it has finite products and finite coproducts and such that for every choice of objects A,B,C, the canonical map : mathit_A \times\iota_1, \mathit_A \times\iota_2: A\!\times\!B \,+ A\!\times\!C \to A\!\times\!(B+C) is an isomorphism, and for all objects A, the canonical map 0 \to A\times 0 is an isomorphism (where 0 denotes the initial object). Equivalently, if for every object A the endofunctor A \times - defined by B\mapsto A\times B preserves coproducts up to isomorphisms f. It follows that f and aforementioned canonical maps are equal for each choice of objects. In particular, if the functor A \times - has a right adjoint (i.e., if the category is cartesian closed), it necessarily preserves all colimits, and thus any cartesian closed category with finite coproducts (i.e., any bicartesian closed category) is distributive. Example The category of sets is distributive. Let , , and be sets. Then :\begin A\times (B\amalg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Extensive Category
In mathematics, an extensive category is a category C with finite coproducts that are disjoint and well-behaved with respect to pullbacks. Equivalently, C is extensive if the coproduct functor from the product of the slice categories C/''X'' × C/''Y'' to the slice category C/(''X'' + ''Y'') is an equivalence of categories for all objects ''X'' and ''Y'' of C. Examples The categories Set and Top of sets and topological spaces, respectively, are extensive categories. More generally, the category of presheaves on any small category is extensive. The category CRingop of affine scheme In commutative algebra, the prime spectrum (or simply the spectrum) of a commutative ring R is the set of all prime ideals of R, and is usually denoted by \operatorname; in algebraic geometry it is simultaneously a topological space equipped with ...s is extensive. References External links * Category theory {{cattheory-stub ... [...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 Srikanth Iyengar (University of Utah), Charles Weibel (Rutgers University), and Aldo Conca ( Università di Genova). 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 a type of journal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
