|
Homotopy Coherent Nerve
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 mean ... [...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] |
Final 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. * In ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Duskin Nerve
In category theory in mathematics, a 2-category is a 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 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-''cells'' from f to g, * ''ordinary composit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simplicially Enriched Category
In mathematics, a simplicially enriched category, is a category enriched over the category of simplicial sets. Simplicially enriched categories are often also called, more ambiguously, simplicial categories; the latter term however also applies to simplicial objects in Cat (the category of small categories). Simplicially enriched categories can, however, be identified with simplicial objects in Cat whose object part is constant, or more precisely, all face and degeneracy maps are bijective on objects. Simplicially enriched categories can model (∞, 1)-categories, but the dictionary has to be carefully built. Namely, many notions (limits, for example) are different from the limits in the sense of enriched category theory. The homotopy coherent nerve 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 top ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Category Of An ∞-category
In mathematics, especially category theory, the homotopy category of an ∞-category ''C'' is the category where the objects are those in ''C'' but the hom-set from ''x'' to ''y'' is the quotient of the set of morphisms from ''x'' to ''y'' in ''C'' by an appropriate equivalence relation. If an ∞-category is defined as a weak Kan complex (usual definition), then the construction is due to Boardman and Vogt, who also gave the definition of an ∞-category as a weak Kan complex. In this case, the homotopy category of an ∞-category ''C'' is equivalent to \tau(C), where \tau is a left adjoint of the nerve functor. For example, the singular complex of a (reasonable) topological space ''X'' is a Kan complex and the homotopy category of it is the fundamental groupoid of ''X''. Boardman–Vogt construction Let ''C'' be an ∞-category. If f, g : x \to y are morphisms (1-simplexes) in ''C'', then we write f \sim g if there is a 2-simplex \sigma : \Delta^2 \to C such that \sigma(0 \t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Segal Space
In mathematics, a Segal space is a simplicial space satisfying some pullback conditions, making it look like a homotopical version of a category. More precisely, a simplicial set, considered as a simplicial discrete space, satisfies the Segal conditions if and only if it is the nerve A nerve is an enclosed, cable-like bundle of nerve fibers (called axons). Nerves have historically been considered the basic units of the peripheral nervous system. A nerve provides a common pathway for the Electrochemistry, electrochemical nerv ... of a category. The condition for Segal spaces is a homotopical version of this. Complete Segal spaces were introduced by as models for (∞, 1)-categories. References * External links * *{{nlab, id=complete+Segal+space, title=Complete Segal space Category theory Simplicial sets ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Model Category
A model is an informative representation of an object, person, or system. The term originally denoted the plans of a building in late 16th-century English, and derived via French and Italian ultimately from Latin , . Models can be divided into physical models (e.g. a ship model or a fashion model) and abstract models (e.g. a set of mathematical equations describing the workings of the atmosphere for the purpose of weather forecasting). Abstract or conceptual models are central to philosophy of science. In scholarly research and applied science, a model should not be confused with a theory: while a model seeks only to represent reality with the purpose of better understanding or predicting the world, a theory is more ambitious in that it claims to be an explanation of reality. Types of model ''Model'' in specific contexts As a noun, ''model'' has specific meanings in certain fields, derived from its original meaning of "structural design or layout": * Model (art), ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Good Cover (algebraic Topology)
In mathematics, an open cover of a topological space X is a family of open subsets such that X is the union of all of the open sets. A good cover is an open cover in which all sets and all non-empty intersections of finitely-many sets are Contractible space, contractible . The concept was introduced by André Weil in 1952 for differentiable manifolds, demanding the U_ to be differentiably contractible. A modern version of this definition appears in . Application A major reason for the notion of a good cover is that the Leray spectral sequence of a fiber bundle degenerates for a good cover, and so the Čech cohomology associated with a good cover is the same as the Čech cohomology of the space. (Such a cover is known as a Leray cover.) However, for the purposes of computing the Čech cohomology it suffices to have a more relaxed definition of a good cover in which all intersections of finitely many open sets have contractible connected component (topology), connected components. T ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nerve Of An Open Covering
In topology, the nerve complex of a set family is an abstract simplicial complex, abstract complex that records the pattern of intersections between the sets in the family. It was introduced by Pavel Alexandrov and now has many variants and generalisations, among them the Čech nerve of a cover, which in turn is generalised by hypercovering, hypercoverings. It captures many of the interesting topological properties in an algorithmic or combinatorial way. Basic definition Let I be a set of indices and C be a family of sets (U_i)_. The nerve of C is a set of finite subsets of the index set ''I''. It contains all finite subsets J\subseteq I such that the intersection of the U_i whose subindices are in J is non-empty:'', Section 4.3'' :N(C) := \bigg\. In Alexandrov's original definition, the sets (U_i)_ are Open set, open subsets of some topological space X. The set N(C) may contain singletons (elements i \in I such that U_i is non-empty), pairs (pairs of elements i,j \in I such that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Barycentric Subdivision
In mathematics, the barycentric subdivision is a standard way to subdivide a given simplex into smaller ones. Its extension to simplicial complexes is a canonical method to refining them. Therefore, the barycentric subdivision is an important tool in algebraic topology. Motivation The barycentric subdivision is an operation on simplicial complexes. In algebraic topology it is sometimes useful to replace the original spaces with simplicial complexes via triangulations: This substitution allows one to assign combinatorial invariants such as the Euler characteristic to the spaces. One can ask whether there is an analogous way to replace the continuous functions defined on the topological spaces with functions that are linear on the simplices and homotopic to the original maps (see also simplicial approximation). In general, such an assignment requires a refinement of the given complex, meaning that one replaces larger simplices with a union of smaller simplices. A standard way to c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Real Projective Space
In mathematics, real projective space, denoted or is the topological space of lines passing through the origin 0 in the real space It is a compact, smooth manifold of dimension , and is a special case of a Grassmannian space. Basic properties Construction As with all projective spaces, is formed by taking the quotient of \R^\setminus \ under the equivalence relation for all real numbers . For all in \R^\setminus \ one can always find a such that has norm 1. There are precisely two such differing by sign. Thus can also be formed by identifying antipodal points of the unit -sphere, , in \R^. One can further restrict to the upper hemisphere of and merely identify antipodal points on the bounding equator. This shows that is also equivalent to the closed -dimensional disk, , with antipodal points on the boundary, \partial D^n=S^, identified. Low-dimensional examples * is called the real projective line, which is topologically equivalent to a circle. Thinking ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
