|
Globular Set
In category theory, a branch of mathematics, a globular set is a higher-dimensional generalization of a directed graph. Precisely, it is a sequence of sets X_0, X_1, X_2, \dots equipped with pairs of functions s_n, t_n: X_n \to X_ such that * s_n \circ s_ = s_n \circ t_, * t_n \circ s_ = t_n \circ t_. (Equivalently, it is a presheaf on the category of “globes”.) The letters "''s''", "''t''" stand for "source" and "target" and one imagines X_n consists of directed edges at level ''n''. A variant of the notion was used by Grothendieck to introduce the notion of an ∞-groupoid In category theory, a branch of mathematics, an ∞-groupoid is an abstract homotopical model for topological spaces. One model uses Kan complexes which are fibrant objects in the category of simplicial sets (with the standard model structure). I .... Extending Grothendieck's work, gave a definition of a weak ∞-category in terms of globular sets. References Further reading *Dimitri Ara. On t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 compos ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Directed Graph
In mathematics, and more specifically in graph theory, a directed graph (or digraph) is a graph that is made up of a set of vertices connected by directed edges, often called arcs. Definition In formal terms, a directed graph is an ordered pair where * ''V'' is a set whose elements are called '' vertices'', ''nodes'', or ''points''; * ''A'' is a set of ordered pairs of vertices, called ''arcs'', ''directed edges'' (sometimes simply ''edges'' with the corresponding set named ''E'' instead of ''A''), ''arrows'', or ''directed lines''. It differs from an ordinary or undirected graph, in that the latter is defined in terms of unordered pairs of vertices, which are usually called ''edges'', ''links'' or ''lines''. The aforementioned definition does not allow a directed graph to have multiple arrows with the same source and target nodes, but some authors consider a broader definition that allows directed graphs to have such multiple arcs (namely, they allow the arc set to be a m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Presheaf (category Theory)
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^. 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. Properties * When C is a small category, the functor category \widehat=\mathbf^ is cartesian closed. * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
∞-groupoid
In category theory, a branch of mathematics, an ∞-groupoid is an abstract homotopical model for topological spaces. One model uses Kan complexes which are fibrant objects in the category of simplicial sets (with the standard model structure). It is an ∞-category generalization of a groupoid, a category in which every morphism is an isomorphism. The homotopy hypothesis states that ∞-groupoids are spaces. Globular Groupoids Alexander Grothendieck suggested in ''Pursuing Stacks'' that there should be an extraordinarily simple model of ∞-groupoids using globular sets, originally called hemispherical complexes. These sets are constructed as presheaves on the globular category \mathbb. This is defined as the category whose objects are finite ordinals /math> and morphisms are given by \begin \sigma_n: \to +1\ \tau_n: \to +1\end such that the globular relations hold \begin \sigma_\circ\sigma_n &= \tau_\circ\sigma_n \\ \sigma_\circ\tau_n &= \tau_\circ\tau_n \end These encod ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weak ∞-category
In mathematics, more specifically category theory, a quasi-category (also called quasicategory, weak Kan complex, inner Kan complex, infinity category, ∞-category, Boardman complex, quategory) is a generalization of the notion of a category. The study of such generalizations is known as higher category theory. Quasi-categories were introduced by . André Joyal has much advanced the study of quasi-categories showing that most of the usual basic category theory and some of the advanced notions and theorems have their analogues for quasi-categories. An elaborate treatise of the theory of quasi-categories has been expounded by . Quasi-categories are certain simplicial sets. Like ordinary categories, they contain objects (the 0-simplices of the simplicial set) and morphisms between these objects (1-simplices). But unlike categories, the composition of two morphisms need not be uniquely defined. All the morphisms that can serve as composition of two given morphisms are related to ea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
