nLab
category theory - contents

Revised on May 15, 2012 19:04:26 by Urs Schreiber (82.172.178.200)

Edit | Back in time (10 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: HowTo, 2009 September changes | Included from: 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, end, pseudomonic functor, endomorphism, Kan extension, automorphism, hom-set, 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, coherent category, Heyting category, kernel pair, exact category, pretopos, balanced category, adjoint functor, internally projective object, Yoneda embedding, 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, finite object, complete category, colimit, intersection, span trace, reflective subcategory, trace, isofibration, string diagram, conservative functor, profunctor, subterminal object, Grpd, retract, idempotent, free cocompletion, dagger-category, SimpSet, comma category, overcategory, split monomorphism, weak equivalence, equivalence of categories, connection on a cubical set, weighted limit, action of a category on a set, 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, bimorphism, exact functor, cocone, Thomason model structure, strong monomorphism, strict epimorphism, pre-abelian category, additive and abelian categories, biproduct, direct product, group object, wide subcategory, injective object, closed monoidal structure on presheaves, functors and comma categories, Godement product, co-Yoneda lemma, exact sequence, directed colimit, subquotient, coreflective subcategory, topologizing subcategory, Gabriel multiplication, dependent product, exponential object, calculus of fractions, monadic functor, distributive category, 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, 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, free groupoid, injective hull, strict category, constant functor, tensor category, completion, 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, Grothendieck-Maltsiniotis infinity-category, adjoint triple, semifunctor, free object, essentially unique, closed functor, applications of (higher) category theory, connected category, solid functor, Tannaka duality, Como, canonical morphism, idempotent adjunction, semicategory, 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, 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, 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, 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, two-out-of-three, categorical semantics, Poset, unital category, proadjoint, Frobenius functor, fiber functor, umbrella category, internal subcategory, truncated object, pure subobject, totalization, contents of contents, locally presentable categories - introduction, indexed adjoint functor theorem, concrete object, abstract general, concrete general and concrete particular, 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, (epi, mono) factorization system, (eso+full, faithful) factorization system, (eso, fully faithful) factorization system, filtered object, final lift, 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, presentation of a category by generators and relations, relative adjoint functor, adhesive category, symmetric multicategory, Joyal-Tierney calculus, exactness property, Segal condition, exhaustive category, 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, transfinite construction of free algebras, Tannakian category, pointed endofunctor, dependent sum, adjoint triangle theorem, separator, strict initial object, mapping stack, equifibered natural transformation, van Kampen colimit