nLab
universal construction

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

Category theory

category theory

Concepts

Universal constructions

Theorems

Extensions

Applications

Yoneda lemma

Yoneda lemma

Ingredients

Incarnations

Properties

Universal aspects

Classification

Induced theorems

…

In higher category theory

The universal constructions in category theory include

Each of these may be defined by requiring it to satisfy a universal property.

In good cases, every single one of these is a special case of every other, so somehow one single concept here comes to us with many different faces.

Some or all of these have analogs in higher category theory, notably in 2-category theory and (∞,1)-category theory:

Revised on September 29, 2012 20:08:19 by Urs Schreiber (82.113.98.232)
Edit | Back in time (11 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: classifying topos, category theory, groupoid, isomorphism, internalization, enriched category theory, sheaf and topos theory, Day convolution, anafunctor, morphism, category, object, group, equivalence, natural isomorphism, natural transformation, functor, topos, composition, subcategory, (-1)-category, discrete category, epimorphism, presheaf, skeleton, locally small category, fundamental groupoid, monoid, Cat, Set, set, function, Ab, forgetful functor, faithful functor, full functor, category algebra, small category, functor category, monoidal category, enriched category, tensor product, end, pseudomonic functor, endomorphism, Kan extension, automorphism, hom-set, subobject classifier, terminal object, finitely complete category, representable functor, subobject, diagram, limit, cone, multicategory, span, opposite category, hom-functor, global element, cartesian monoidal category, extensive category, sieve, dinatural transformation, weak factorization system, simplicial object, zero object, initial object, cartesian closed category, locally cartesian closed category, simplex category, homotopy coherent category theory, (bo, ff) factorization system, orthogonal factorization system, essentially surjective functor, full and faithful functor, factorization system, internal category, arrow category, free functor, projective object, Rel, nerve, image, allegory, geometric realization, regular category, regular epimorphism, Yoneda lemma, fundamental category, product, coherent category, Heyting category, kernel pair, exact category, pretopos, balanced category, adjoint functor, internally projective object, Yoneda embedding, Yoneda reduction, Cauchy complete category, pointed set, under category, coproduct, well-powered category, fibration, Grothendieck fibration, concrete category, endofunctor, monomorphism, orthogonality, Galois connection, strong epimorphism, split epimorphism, regular monomorphism, internal logic, Trimble n-category, finite object, complete category, colimit, intersection, span trace, reflective subcategory, trace, isofibration, string diagram, conservative functor, profunctor, subterminal object, Grpd, retract, idempotent, 2009 January changes, free cocompletion, dagger-category, SimpSet, comma category, overcategory, split monomorphism, classifying space, weak equivalence, equivalence of categories, connection on a cubical set, weighted limit, action of a category on a set, 1-groupoid, 1-category, ASSet, internal hom, constant morphism, partial order, disjoint union, quotient object, full subcategory, filtered category, pro-object, ind-object, category of elements, FinSet, Isbell envelope, wedge sum, smash product, congruence, adjoint functor theorem, total category, large category, accessible category, sketch, locally presentable category, Categories and Sheaves, dense subcategory, cogenerator, stuff, structure, property, left adjoint, right adjoint, projective limit, generalized element, zero morphism, kernel, cokernel, universal construction, Yoneda extension, bimorphism, exact functor, cocone, Thomason model structure, strong monomorphism, strict epimorphism, pre-abelian category, additive and abelian categories, biproduct, direct product, mapping cone, group object, 2009 March changes, wide subcategory, injective object, closed monoidal structure on presheaves, functors and comma categories, Godement product, co-Yoneda lemma, exact sequence, directed colimit, limits and colimits by example, subquotient, coreflective subcategory, topologizing subcategory, Gabriel multiplication, examples of adjoint functors, dependent product, exponential object, calculus of fractions, monadic functor, distributive category, examples of Kan extensions, category of simplices, flat functor, locally finitely presentable category, power object, algebra for an endofunctor, coimage, higher category theory and physics, split idempotent, coalgebra for an endofunctor, path category, Grothendieck construction, codiscrete groupoid, exponential ideal, (1,0)-category, replete subcategory, topological concrete category, core, computer science, triangle identities, essential image, adjoint equivalence, cosmos, nerve and realization, K-theory, comonad, extremal monomorphism, generalized multicategory, effective epimorphism, noetherian category, property sup, semisimple object, Karoubi envelope, Cartesian morphism, solution set condition, subfunctor, semicartesian monoidal category, internal relation, single-sorted definition of a category, diagonal morphism, graph of a functor, cograph of a functor, inverse limit, direct limit, inductive limit, category theory - contents, moduli space, free groupoid, injective hull, strict category, Yoneda lemma for bicategories, constant functor, tensor category, completion, MacNeille completion, Yoneda lemma for (infinity,1)-categories, regular and exact completions, finitely generated object, extranatural transformation, small presheaf, monadicity theorem, nPOV, bifibration, codomain fibration, Beck-Chevalley condition, species, sink, cokernel pair, internal category in a monoidal category, cograph of a profunctor, cofibration, cleavage, algebraic weak factorization system, inhabited object, covering, Yoneda lemma - contents, Grothendieck-Maltsiniotis infinity-category, adjoint triple, semifunctor, free object, essentially unique, closed functor, applications of (higher) category theory, connected category, solid functor, universal element, Tannaka duality, Como, canonical morphism, idempotent adjunction, semicategory, (infinity,1)-category theory, category of representations, category of presheaves, clique, algebra for a profunctor, Street fibration, finite quantum mechanics in terms of dagger-compact categories, direct category, Conduche functor, tangent category, accessible functor, Hall algebra, forcing, parametric right adjoint, zigzag, enriched Yoneda lemma, composable pair, two-out-of-six property, exact square, C-star-category, Gabriel-Ulmer duality, embedding, Freyd cover, effective monomorphism, sifted category, adjoint monad, thin category, universal principal infinity-bundle, Freyd-Mitchell embedding theorem, indecomposable object, indexed functor, poset of subobjects, comonadic functor, regular functor, associativity, type-theoretic definition of category, zigzag category, essential fiber, codiagonal, cartesian functor, topological groupoid, Topos, progroup, Haefliger groupoid, conical limit, cofinal diagrams, adjoint quadruple, diagonal functor, final subcategory, ring object, evaluation map, indexed category, derived moduli space, two-sided fibration, proper topological groupoid, universally closed morphism, geometric realization of categories, Tannaka duality for Lie groupoids, pure morphism, adjoint lifting theorem, coherent functor, factorization category, projection, Frobenius reciprocity, Handbook of Categorical Algebra, geometric category, cartesian category, complete small category, canonical presentation, E-infinity operad, two-out-of-three, categorical semantics, Poset, unital category, proadjoint, Frobenius functor, fiber functor, umbrella category, classifying morphism, internal subcategory, truncated object, pure subobject, totalization, contents of contents, locally presentable categories - introduction, product type, indexed adjoint functor theorem, concrete object, abstract general, concrete general and concrete particular, universality, factorization system over a subcategory, reflective factorization system, tensor, Mac Lane's proof of the coherence theorem for monoidal categories, M-complete category, saturated class of limits, stable factorization system, factorization structure, function type, (epi, mono) factorization system, (eso+full, faithful) factorization system, (eso, fully faithful) factorization system, dependent product type, filtered object, final lift, moduli stack, locally cartesian closed functor, atomic category, strong adjoint functor, pushout-product, cartesian closed functor, codiscrete object, co-concrete object, dual object in a closed category, Cartan-Eilenberg category, presentation of a category by generators and relations, cofree coalgebra, relative adjoint functor, adhesive category, symmetric multicategory, Joyal-Tierney calculus, dependent sum type, exactness property, Segal condition, exhaustive category, substitution, relation between type theory and category theory, categorical wreath product, locally bounded category, permutative category, distributivity pullback, projective presentation, Baer's criterion, tower, bifunctor, injective presentation, abelianization, gaunt category, computational trinitarianism, arity class, programming language, geometry of physics, transfinite construction of free algebras, Tannakian category, function type natural deduction - table, dependent product natural deduction - table, dependent sum natural deduction - table, product natural deduction - table, pointed endofunctor, dependent sum, substitution natural deduction - table, adjoint triangle theorem, separator, strict initial object, mapping stack, higher Atiyah groupoid, higher prequantum geometry, equifibered natural transformation, van Kampen colimit