17 relations: Adjoint functors, Algebraic topology, Barycentric subdivision, Category (mathematics), Category theory, Classifying space, CW complex, Functor, Higher category theory, Homotopy, Initial and terminal objects, Model category, Moduli space, Nerve of a covering, Real projective space, Simplicial set, Topological space.
Adjoint functors
In mathematics, specifically category theory, adjunction is a possible relationship between two functors.
New!!: Nerve (category theory) and Adjoint functors · See more »
Algebraic topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces.
New!!: Nerve (category theory) and Algebraic topology · See more »
Barycentric subdivision
In geometry, the barycentric subdivision is a standard way of dividing an arbitrary convex polygon into triangles, a convex polyhedron into tetrahedra, or, in general, a convex polytope into simplices with the same dimension, by connecting the barycenters of their faces in a specific way.
New!!: Nerve (category theory) and Barycentric subdivision · See more »
Category (mathematics)
In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is an algebraic structure similar to a group but without requiring inverse or closure properties.
New!!: Nerve (category theory) and Category (mathematics) · See more »
Category theory
Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms).
New!!: Nerve (category theory) and Category theory · See more »
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.
New!!: Nerve (category theory) and Classifying space · See more »
CW complex
In topology, a CW complex is a type of topological space introduced by J. H. C. Whitehead to meet the needs of homotopy theory.
New!!: Nerve (category theory) and CW complex · See more »
Functor
In mathematics, a functor is a map between categories.
New!!: Nerve (category theory) and Functor · See more »
Higher category theory
In mathematics, higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities.
New!!: Nerve (category theory) and Higher category theory · See more »
Homotopy
In topology, two continuous functions from one topological space to another are called homotopic (from Greek ὁμός homós "same, similar" and τόπος tópos "place") if one can be "continuously deformed" into the other, such a deformation being called a homotopy between the two functions.
New!!: Nerve (category theory) and Homotopy · See more »
Initial and terminal objects
In category theory, a branch of mathematics, an initial object of a category C is an object I in C such that for every object X in C, there exists precisely one morphism I → X. The dual notion is that of a terminal object (also called terminal element): T is terminal if for every object X in C there exists a single morphism X → T. Initial objects are also called coterminal or universal, and terminal objects are also called final.
New!!: Nerve (category theory) and Initial and terminal objects · See more »
Model category
In mathematics, particularly in homotopy theory, a model category is a category with distinguished classes of morphisms ('arrows') called 'weak equivalences', 'fibrations' and 'cofibrations'.
New!!: Nerve (category theory) and Model category · See more »
Moduli space
In algebraic geometry, a moduli space is a geometric space (usually a scheme or an algebraic stack) whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of such objects.
New!!: Nerve (category theory) and Moduli space · See more »
Nerve of a covering
In topology, the nerve of an open covering is a construction of an abstract simplicial complex from an open covering of a topological space X that captures many of the interesting topological properties in an algorithmic or combinatorial way.
New!!: Nerve (category theory) and Nerve of a covering · See more »
Real projective space
In mathematics, real projective space, or RPn or \mathbb_n(\mathbb), is the topological space of lines passing through the origin 0 in Rn+1.
New!!: Nerve (category theory) and Real projective space · See more »
Simplicial set
In mathematics, a simplicial set is an object made up of "simplices" in a specific way.
New!!: Nerve (category theory) and Simplicial set · See more »
Topological space
In topology and related branches of mathematics, a topological space may be defined as a set of points, along with a set of neighbourhoods for each point, satisfying a set of axioms relating points and neighbourhoods.
New!!: Nerve (category theory) and Topological space · See more »
Redirects here:
Nerve functor, Nerve of a category.