nLab
full subcategory

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

Context

Category theory

category theory

Concepts

Universal constructions

Theorems

Extensions

Applications

Notions of subcategory

Contents

Definition

If one accepts the notion of subcategory without any qualification (as discussed there), then:

A subcategory S of a category C is a full subcategory if its inclusion functor is a full functor.

This inclusion functor is often called a full embedding or a full inclusion.

Notice that to specify a full subcategory S of C, it is enough to say which objects belong to S. Then S must consist of all morphisms whose source and target belong to S (and no others). One speaks of the full subcategory on a given set of objects.

This means that equivalently we can say:

A functor F:S→C exhibits S as a full subcategory of C precisely if it is a full and faithful functor. (S is the essential image of F).

Revised on November 18, 2011 10:54:24 by Urs Schreiber (217.232.18.193)
Edit | Back in time (5 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: groupoid, Lie's three theorems, Weil algebra, functor, topos, subcategory, sheaf, smooth infinity-groupoid, Lie infinity-algebroid, Vect, Grp, full functor, CartSp, monoidal category, symmetric monoidal category, simplicial category, homotopy category, subobject, sieve, simplex category, category of fibrant objects, full and faithful functor, model structure on topological spaces, locale, Yoneda embedding, Cauchy complete category, orthogonality, reflective subcategory, Dold-Kan correspondence, homotopy limit, Hilb, model structure on simplicial presheaves, higher van Kampen theorem, large site, equivalence of categories, n-poset, locally posetal 2-category, relation, full subcategory, pro-object, ind-object, compactly generated space, convenient category of topological spaces, dense functor, specialization topology, FinSet, symmetric set, accessible category, dense subcategory, filter, Grothendieck universe, stuff, structure, property, etale space, biproduct, direct sum, category of sheaves, sheafification, (infinity,1)-functor, 2009 March changes, wide subcategory, convergence space, diffeological space, coreflective subcategory, topologizing subcategory, Gabriel multiplication, thick subcategory, Serre subcategory, flat functor, manifold, quasitopos, gauge space, covering space, replete subcategory, strictly full subcategory, pretopological space, locally compact topological space, simplicial localization, simplicial skeleton, concrete sheaf, abstract Stone duality, combinatorial model category, transfinite composition, Eilenberg-Moore category, noetherian category, interval, derived affine scheme, Q-category, super algebra, n-truncated object of an (infinity,1)-category, Ek-Algebras, cocomplete well-pointed topos, tiny object, little cubes operad, deformation retract of a homotopical category, full image, Bousfield localization of model categories, geometric theory, category over a category, Johnstone's topological topos, LieAlg, reflective sub-(infinity,1)-category, Tannaka duality, complete Boolean algebra, WISC, sub-(infinity,1)-category, orthogonal subcategory problem, equilogical space, infinitary Lawvere theory, Isbell duality, regular cardinal, model, convenient vector space, pointed derivator, BDR 2-vector bundle, descent for L-infinity algebras, Cahiers topos, topological locale, real closed field, Diaconescu's theorem, Duskin nerve, universal principal infinity-bundle, Freyd-Mitchell embedding theorem, function algebras on infinity-stacks, ribbon graph, geometric realization of simplicial topological spaces, augmented simplicial set, line object, algebra over a Lawvere theory, infinity-Chern-Weil theory introduction, cohesive (infinity,1)-topos, Topos, cohesive topos, model structure on simplicial algebras, model structure on reduced simplicial sets, higher homotopy van Kampen theorem, superpoint, indexed category, localizing subcategory, Leinster2010, universe enlargement, Zariski site, smooth infinity-groupoid -- structures, Some Thoughts on the Future of Category Theory, synthetic differential infinity-groupoid, dense sub-site, separated (2,1)-presheaf, full sub-2-category, locally full sub-2-category, Bohr topos, concrete smooth infinity-groupoid, looping, Gelfand duality, F-category, internal subcategory, reflective factorization system, measurable locale, stable factorization system, notions of subcategory, Cheng space, M-category, sub-(infinity,1)-category - internal formulation, reflective sub-(infinity,1)-category - internal formulation, reflective localization