nLab
object

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

A category consists of a collection of objects together with morphisms between these objects. Thus, naively, we may think of objects as the ‘elements’ of a category. For example, in the category Set, the objects are sets.

Revised on November 1, 2009 21:21:48 by Toby Bartels (173.51.68.54)
Edit | Back in time (3 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: category theory, horizontal categorification, General Discussion, anafunctor, morphism, category, source, target, natural transformation, functor, subcategory, Top, Diff, site, coalgebra, monoid, Cat, Vect, Ab, Grp, Alg, functor category, abelian group, module, endomorphism, action, automorphism, hom-set, evil, terminal object, diagram, limit, terminal category, span, hom-functor, infinity-category, simplicial object, parallel morphisms, zero object, initial object, essentially surjective functor, projective object, path space object, Lawvere theory, nerve, interval object, product, pointed object, under category, coproduct, 2-group, PROP, internal logic, isofibration, subterminal object, retract, k-tuply monoidal (n,r)-category, terminal object in a quasi-category, over quasi-category, full subcategory, FinSet, locally presentable category, Categories and Sheaves, dense subcategory, compact object, finite category, point, Thomason model structure, differential object, differential, category of open subsets, injective object, functors and comma categories, bundle, hom-space, why (infinity,1)-categories?, natural numbers object, geometric infinity-function theory, cofinal functor, co-Yoneda lemma, identity morphism, internal set, limits and colimits by example, local system, algebra over an operad, local object, indiscrete category, finitely presentable object, category of simplices, twisted complex, proper class, identity functor, identity natural transformation, anafunctor category, motivation for sheaves, cohomology and higher stacks, power object, algebraic geometry, rigid monoidal category, semisimple category, split idempotent, factorization algebra, codiscrete groupoid, exponential ideal, hom-category, (n,1)-category, n-group, transfor, k-morphism, strict 2-group, Sweedler coring, geometric function object, small object, infinitesimal object, equivariant cohomology, single-sorted definition of a category, Paine on a Category Theory Demonstrations program, (infinity,1)-operad, bordism categories following Stolz-Teichner, Axiomatic field theories and their motivation from topology, super vector space, free groupoid, connected object, inner automorphism 2-group, amazing right adjoint, braided monoidal 2-category, structured set, symplectic groupoid, dendroidal set, motive, element, MSet, unit enriched category, endomorphism operad, etale cohomology, model structure on an over category, categorification via groupoid schemes, category of operators, underlying set, 0-dimensional TQFT, sink, cocycle, smooth loop space, gauge fixing, canonical morphism, free loop space object, Topological Quantum Field Theories from Compact Lie Groups, preserved limit, clique