|
Category Of Small 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. at nLab The category Cat is itself a , and therefore not an object of itself. In order to avoid problems analogous to |
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 points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conglomerate (mathematics)
In mathematics, in the framework of one-universe foundation for category theory, the term "conglomerate" is applied to arbitrary sets as a contraposition to the distinguished sets that are elements of a Grothendieck universe. Definition The most popular axiomatic set theories, Zermelo–Fraenkel set theory (ZFC), von Neumann–Bernays–Gödel set theory (NBG), and Morse–Kelley set theory (MK), admit non-conservative extensions that arise after adding a supplementary axiom of existence of a Grothendieck universe U. An example of such an extension is the Tarski–Grothendieck set theory, where an infinite hierarchy of Grothendieck universes is postulated. The concept of conglomerate was created to deal with ''"collections"'' of classes, which is desirable in category theory so that each class can be considered as an element of a "more general collection", a conglomerate. Technically this is organized by changes in terminology: when a Grothendieck universe U is added to the cho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nerve Of A Category
In category theory, a discipline within mathematics, the nerve ''N''(''C'') of a small category ''C'' is a simplicial set constructed from the objects and morphisms of ''C''. The geometric realization of this simplicial set is a topological space, called the classifying space of the category ''C''. These closely related objects can provide information about some familiar and useful categories using algebraic topology, most often homotopy theory. Motivation The nerve of a category is often used to construct topological versions of moduli spaces. If ''X'' is an object of ''C'', its moduli space should somehow encode all objects isomorphic to ''X'' and keep track of the various isomorphisms between all of these objects in that category. This can become rather complicated, especially if the objects have many non-identity automorphisms. The nerve provides a combinatorial way of organizing this data. Since simplicial sets have a good homotopy theory, one can ask questions about the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Presentable Category
The theory of accessible categories is a part of mathematics, specifically of category theory. It attempts to describe categories in terms of the "size" (a cardinal number) of the operations needed to generate their objects. The theory originates in the work of Grothendieck completed by 1969, and Gabriel and Ulmer (1971). It has been further developed in 1989 by Michael Makkai and Robert Paré, with motivation coming from model theory, a branch of mathematical logic. A standard text book by Adámek and Rosický appeared in 1994. Accessible categories also have applications in homotopy theory.J. RosickÃ"On combinatorial model categories" '' arXiv'', 16 August 2007. Retrieved on 19 January 2008.Rosický, J. "Injectivity and accessible categories." ''Cubo Matem. Educ'' 4 (2002): 201-211. Grothendieck continued the development of the theory for homotopy-theoretic purposes in his (still partly unpublished) 1991 manuscript ''Les dérivateurs''. Some properties of accessible categories d ... [...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 as mo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exponential Object
In mathematics, specifically in category theory, an exponential object or map object is the categorical generalization of a function space in set theory. Categories with all finite products and exponential objects are called cartesian closed categories. Categories (such as subcategories of Top) without adjoined products may still have an exponential law. Definition Let \mathbf be a category, let Z and Y be objects of \mathbf, and let \mathbf have all binary products with Y. An object Z^Y together with a morphism \mathrm\colon (Z^Y \times Y) \to Z is an ''exponential object'' if for any object X and morphism g \colon X\times Y \to Z there is a unique morphism \lambda g\colon X\to Z^Y (called the ''transpose'' of g) such that the following diagram commutes: This assignment of a unique \lambda g to each g establishes an isomorphism (bijection In mathematics, a bijection, also known as a bijective function, one-to-one correspondence, or invertible function, is a function b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cartesian Closed Category
In category theory, a category is Cartesian closed if, roughly speaking, any morphism defined on a product of two 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 categories, whose internal language, linear type systems, are suitable for both quantum and classical computation. Etymology Named after (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 if and only if it satisfies the following three properties: * It has a terminal object. * Any two objects ''X'' and ''Y'' of ''C'' have a product ''X'' ×''Y'' in ''C' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complete Category
In mathematics, a complete category is a category in which all small limits exist. That is, a category ''C'' is complete if every diagram ''F'' : ''J'' → ''C'' (where ''J'' is small) has a limit in ''C''. Dually, a cocomplete category is one in which all small colimits exist. A bicomplete category is a category which is both complete and cocomplete. The existence of ''all'' limits (even when ''J'' is a proper class) is too strong to be practically relevant. Any category with this property is necessarily a thin category: for any two objects there can be at most one morphism from one object to the other. A weaker form of completeness is that of finite completeness. A category is finitely complete if all finite limits exists (i.e. limits of diagrams indexed by a finite category ''J''). Dually, a category is finitely cocomplete if all finite colimits exist. Theorems It follows from the existence theorem for limits that a category is complete if and only if it has equalizers (of all ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Category
In mathematics, the free category or path category generated by a directed graph or quiver (mathematics), quiver is the category (category theory), category that results from freely concatenating arrows together, whenever the target of one arrow is the source of the next. More precisely, the objects of the category are the vertices of the quiver, and the morphisms are paths between objects. Here, a path is defined as a finite sequence :V_0\xrightarrow V_1\xrightarrow \cdots \xrightarrow V_n where V_k is a vertex of the quiver, E_k is an edge of the quiver, and ''n'' ranges over the non-negative integers. For every vertex V of the quiver, there is an "empty path" which constitutes the identity morphisms of the category. The composition operation is concatenation of paths. Given paths :V_0\xrightarrow\cdots\xrightarrow V_n,\quad V_n\xrightarrowW_0\xrightarrow\cdots\xrightarrow W_m, their composition is :\left(V_n\xrightarrowW_0\xrightarrow\cdots\xrightarrow W_m \right) \circ \left( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Left Adjoint
In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems (i.e., constructions of objects having a certain universal property), such as the construction of a free group on a set in algebra, or the construction of the Stone–Čech compactification of a topological space in topology. By definition, an adjunction between categories \mathcal and \mathcal is a pair of functors (assumed to be covariant) :F: \mathcal \rightarrow \mathcal and G: \mathcal \rightarrow \mathcal and, for all objects X in \mathcal and Y in \mathcal a bijection between the respective morphism s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quiver Category
In graph theory, a quiver is a directed graph where loops and multiple arrows between two vertices are allowed, i.e. a multidigraph. They 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 to . Its left adjoint is a free functor which, from a quiver, makes the corresponding free category. Definition A quiver Γ consists of: * The set ''V'' of vertices of Γ * The set ''E'' of edges of Γ * Two functions: ''s'': ''E'' → ''V'' giving the ''start'' or ''source'' of the edge, and another function, ''t'': ''E'' → ''V'' giving the ''target'' of the edge. This definition is identical to that of a multidigraph. A morphism of quivers is d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Forgetful Functor
In mathematics, in the area of category theory, a forgetful functor (also known as a stripping functor) 'forgets' or drops some or all of the input's structure or properties 'before' mapping to the output. For an algebraic structure of a given signature, this may be expressed by curtailing the signature: the new signature is an edited form of the old one. If the signature is left as an empty list, the functor is simply to take the underlying set of a structure. Because many structures in mathematics consist of a set with an additional added structure, a forgetful functor that maps to the underlying set is the most common case. Overview As an example, there are several forgetful functors from the category of commutative rings. A ( unital) ring, described in the language of universal algebra, is an ordered tuple (R,+,\times,a,0,1) satisfying certain axioms, where + and \times are binary functions on the set R, a is a unary operation corresponding to additive inverse, and 0 and 1 are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
