nLab
category theory

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

Context

Category theory

category theory

Concepts

Universal constructions

Theorems

Extensions

Applications

Mathematics

Contents

Idea

Category theory is a toolset for describing the general abstract structures in mathematics.

Paradigm

As opposed to set theory, category theory focuses not on elements x,y,⋯ – called objects – but on the relations between these objects: the (homo)morphisms between them

x→fy.x \stackrel{f}{\to} y \,.

Later this will lead naturally on to an infinite sequence of steps: first 2-category theory which focuses on relation between relations, morphisms between morphisms: 2-morphisms, then 3-category theory, etc. and to various variants, bicategories, Gray categories …. Eventually this leads to higher category theory, where one considers k-morphisms in all dimensions and to a wealth of interacting intuitions and concepts.

The concept that formalizes this is that of a category: a collection of arrows/morphism that can be composed if they are adjacent

(x ↓ f y ↓ g z)↦(x ↓ g∘f z).\left( \array{ x \\ \downarrow^{\mathrlap{f}} \\ y \\ \downarrow^{\mathrlap{g}} \\ z } \;\right) \;\;\;\; \mapsto \;\;\;\; \left( \array{ x \\ \downarrow^{\mathrlap{g \circ f}} \\ z } \;\;\;\right) \,.
Examples

The archetypical example of a category is the category Set of sets and functions between sets.

The classical examples of categories are concrete categories whose objects are sets with extra structure and whose morphisms are structure preserving functions of sets, such as Top, Grp, Vect. These are the examples from which the term category derives: these categories literally categorize mathematical structures by packing structures of the same type (same category) and structure preserving mappings between them into a single whole structure, a category.

But by far not all categories are of this type and categories are much more versatile than these classical examples suggest. After all, a category is just a quiver (a directed graph) with a notion of composition of its edges. As such it generalizes the concepts of monoid and poset. If the category is a groupoid it generalizes the concept of group (in a sense called horizontal categorification). Thinking of a category as a generalized poset is particularly useful when studying limits and adjunctions.

Archetypical examples of non-concrete categories are the fundamental groupoid of a topological space and the fundamental category of a directed space.

Terminology

Categories were named after the examples of concrete categories. As Saunders Mac Lane writes

Now the discovery of ideas as general as these is chiefly the willingness to make a brash or speculative abstraction, in this case supported by the pleasure of purloining words from the philosophers: “Category” from Aristotle and Kant, “Functor” from Carnap (Logische Syntax der Sprache), and “natural transformation” from then current informal parlance.

(Saunders Mac Lane, Categories for the Working Mathematician, 29–30).

However, the categories of category theory are way more general than these concrete categories, and the way Aristotle and Kant use the term is not particularly related to what Eilenberg & Mac Lane did with it.

The basic trinity of concepts

Category theory reflects on itself. Categories are about collections of morphisms. And there are evident morphisms between categories: functors. And there are evident morphisms between functors: natural transformations.

This trinity of concepts

  1. category

  2. functor

  3. natural transformation

is what category theory is built on.

In higher category theory this continues with

Conceptual unification

A major driving force behind the development of category theory is its ability to abstract and unify concepts. General statements about categories apply to each specific concrete category of mathematical structures. The general notion of universal constructions in categories, such as representable functors, adjoint functors and limits, turns out to prevail throughout mathematics and manifest itself in myriads of special examples.

Abstract nonsense

This abstraction power of category theory has led Norman Steenrod to coin the term abstract nonsense or general abstract nonsense for it. It is being used as in “This property is not specific to this context, it already follows from general abstract nonsense”. Peter Freyd expressed a similar feeling by his witticism:

“Perhaps the purpose of categorical algebra is to show that which is trivial is trivially trivial.”

But abstract nonsense still tends to meet with some resistance. In the preface of his 1965 book Theory of Categories Barry Mitchell writes:

A number of sophisticated people tend to disparage category theory as consistently as others disparage certain kinds of classical music. When obliged to speak of a category they do so in an apologetic tone, similar to the way some say, “It was a gift – I’ve never even played it” when a record of Chopin Nocturnes is discovered in their possession. For this reason I add to the usual prerequisite that the reader have a fair amount of mathematical sophistication, the further prerequisite that he have no other kind.

The n-POV

The vast applicability and expressiveness of category theory leads to the observation that most structures in mathematics are best understood from a category theoretic or higher category theoretic viewpoint. This is the nPOV.

The central constructions

Presheaves

Much of the power of category theory rests in the fact that it reflects on itself. For instance that functors between two categories form themselves a category: the functor category.

This leads to the notion of presheaf categories and sheaf toposes. Much of category theory is topos theory.

Under Isbell duality this sets the stage for everything in mathematics related to space and algebra and their duality.

Universal constructions

Elementary as it is, the definition of a category supports a powerful set of constructions: universal constructions. These include

All these are special cases of each other and thus reflect different aspect of one single phenomenon. Applying category theory means applying these constructions in specific situations and using general abstract theorems for deducing statements about concrete contexts.

The central theorems

Category theory has a handful of central lemmas and theorems. Their proof is typically easy, sometimes almost tautological. Their power rests in the fact that they apply over and over again all over mathematics. Many concrete constructions get simplified by observing that they are but special realizations of these general abstract results in category theory. These central theorems are

Applications

For a detailed list of applications see

In pure mathematics

Apart from its general role in mathematics, category theory provides the high-level language for

Outside of mathematics

Outside of pure mathematics, category theory finds major applications in

Contrast to theories of other objects

Category theory vs. set theory

Here set theory is assumed to be a theory of the usual concept of sets, that is material set theory.

No one of these is more fundamental than the other as a foundation of mathematics. Category theory is a holistic (structural) approach to mathematics that can (through such methods as Lawvere's ETCS) provide foundations of mathematics and (through algebraic set theory) reproduce all the different axiomatic set theories; elementary category theory does not need the concept of set to be formulated. Set theory is an analytic approach (element-wise) and can reproduce category theory by simply defining all the concepts in the usual way, as long as one include a technique to handle large categories (for instance by using classes instead of sets, or by including as an axiom that an uncountable inaccessible cardinal exists or even that Grothendieck universes exist).

Set theoryCategory theory
membership relation-
setscategories
elementsobjects
-morphisms
functionsfunctors
equations between elementsisomorphisms between objects
equations between setsequivalences between categories
equations between functionsnatural transformations between functors

Lawvere pointed out that set theory is axiomatized by a binary membership relation while category theory is axiomatized by a ternary composition relation.

The process of going from sets to categories is a special case of categorification and the reverse process is a special case of decategorification.

For a philosophical consideration of foundations covering and comparing sets, structuralism (a la Bourbaki?) and categories, see the article

  • Sets, categories and structuralism - Costas Drossos

Category theory vs. order theory

A category may be thought of as a categorification of a poset rather than of a set; much (but by no means all) of category theory also appears in order theory.

See category theory vs order theory for more discussion.

Theorems

higher category theory

Some theorems in category theory are folklore.

References

History

Category theory was introduced by Samuel Eilenberg and Saunders Mac Lane in the 1945 paper General theory of natural equivalences. The reason for introducing categories was to introduce functors, and the reason for introducing functors was to introduce natural transformations (more specifically natural equivalences) in order to define what natural means in mathematics.

The paper was a clash of ideas from abstract algebra (Mac Lane) and topology/homotopy theory (Eilenberg). It was first rejected on the ground that it had no content but was later published. Unexpectedly category theory has flourished into almost all areas of mathematics, has found many applications outside mathematics and even attempts to build a foundations of mathematics.

Textbooks

Basic category theory

Topos theory

The standard monographs on topos theory are

Other texts include

(Here “triple” means monad).

Higher category theory

Course notes

Teaching category theory

Revised on March 12, 2013 21:40:55 by Urs Schreiber (131.174.41.174)
Edit | Back in time (207 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: HomePage, classifying topos, Timeline of category theory and related mathematics, Toby Bartels, About, Content, category theory, horizontal categorification, groupoid, isomorphism, vertical categorification, higher category theory, internalization, dichotomy between nice objects and nice categories, omega-category, oriental, enriched category theory, foundation of mathematics, mathematics, philosophy, sheaf and topos theory, Day convolution, anafunctor, globe, globular set, groupoid cardinality, Simpson's conjecture, morphism, category, object, group, equivalence, natural isomorphism, natural transformation, functor, topos, composition, subcategory, (-1)-category, discrete category, epimorphism, sheaf, presheaf, site, duality, skeleton, locally small category, infinity-groupoid, semi-strict infinity-category, fundamental groupoid, infinity-stack, group theory, directed graph, monoid, Cat, Set, set, function, Ab, forgetful functor, faithful functor, full functor, category algebra, ETCS, Trimble on ETCS I, small category, functor category, monoidal category, enriched category, tensor product, Grothendieck topos, end, pseudomonic functor, algebroid, double category, hom-object, bicategory, monad, endomorphism, model category, quasi-category, geometric definition of higher categories, simplicial category, derived functor, Kan extension, geometric shape for higher structures, omega-groupoid, AQFT, Segal category, crossed complex, automorphism, Nonabelian Algebraic Topology, (infinity,1)-category, hom-set, principle of equivalence, quantum field theory, 0-category, enriched functor, subobject classifier, terminal object, finitely complete category, Heyting algebra, representable functor, subobject, diagram, limit, cone, multicategory, span, operad, opposite category, hom-functor, strict 2-category, global element, logic, periodic table, (n,r)-category, cartesian monoidal category, extensive category, cover, sieve, Grothendieck topology, Lawvere-Tierney topology, dinatural transformation, infinity-category, n-category, Kan complex, n-groupoid, k-tuply monoidal n-category, Gray-category, weak factorization system, simplicial object, zero object, initial object, topological space, cartesian closed category, locally cartesian closed category, strict omega-category, Crans-Gray tensor product, simplex category, homotopy coherent category theory, (bo, ff) factorization system, orthogonal factorization system, enriched homotopical category, homotopical category, essentially surjective functor, full and faithful functor, factorization system, internal category, arrow category, strict omega-groupoid, free functor, 2008 changes, projective object, copower, power, topology and geometry, field, simplicially enriched category, Rel, nerve, image, allegory, geometric realization, algebraic definition of higher categories, n-fold category, crossed module, regular category, geometric morphism, inhabited set, locale, regular epimorphism, Yoneda lemma, interval object, fundamental category, tricategory, product, generalized the, coherent category, Heyting category, kernel pair, exact category, pretopos, balanced category, (-1)-groupoid, adjoint functor, internally projective object, Yoneda embedding, Cauchy complete category, Elephant, Categories Work, pointed set, under category, k-surjective functor, simplicial T-complex, strict n-category, coproduct, A-infinity-category, well-powered category, 2-group, homotopy hypothesis, fibration, Grothendieck fibration, pseudofunctor, concrete category, endofunctor, monomorphism, complete Segal space, (infinity,n)-category, orthogonality, Galois connection, strong epimorphism, split epimorphism, regular monomorphism, internal logic, (infinity,n)-category of cobordisms, Trimble n-category, finite object, context, complete category, colimit, intersection, span trace, simplicial object in Cat, simplicial groupoid, fundamental infinity-groupoid, coverage, reflective subcategory, trace, dualizable object, isofibration, string diagram, conservative functor, homotopy n-type, cat-n-group, 2-vector space, 2-crossed module, profunctor, crossed square, double groupoid, essentially algebraic theory, David Roberts, subterminal object, Dold-Kan correspondence, homotopy limit, loop space object, Grpd, retract, idempotent, free cocompletion, dagger-category, Grothendieck pretopology, subcanonical coverage, SimpSet, comma category, model structure on simplicial presheaves, overcategory, Pursuing Stacks, k-tuply monoidal (n,r)-category, split monomorphism, large site, comma object, dg-category, weak equivalence, 3-category, equivalence of categories, homotopy type, Euler characteristic, connection on a cubical set, n-fibration, weighted limit, enriched functor category, action of a category on a set, (-2)-groupoid, 1-groupoid, 1-category, 2-groupoid, 2-poset, n-poset, 3-groupoid, limit in a quasi-category, join of quasi-categories, terminal object in a quasi-category, ASSet, internal hom, over-(infinity,1)-category, constant morphism, T-complex, cubical T-complex, partial order, disjoint union, quotient object, classical logic, full subcategory, filtered category, pro-object, ind-object, category of elements, Maurer-Cartan equation, constructive mathematics, predicative mathematics, FinSet, Isbell envelope, wedge sum, smash product, congruence, fundamental group of a topos, frame, adjoint functor theorem, total category, large category, accessible category, sketch, locally presentable category, Categories and Sheaves, dense subcategory, Grothendieck's Galois theory, stable (infinity,1)-category, cogenerator, Grothendieck universe, stuff, structure, property, set theory, left adjoint, right adjoint, projective limit, generalized element, algebraic set theory, zero morphism, kernel, cokernel, universe in a topos, additive category, Higher Topos Theory, Stable Infinity-Categories, contractible space, universal construction, bimorphism, exact functor, cocone, Thomason model structure, strong monomorphism, strict epimorphism, Ab-enriched category, pre-abelian category, additive and abelian categories, homological algebra, homotopy category of an (infinity,1)-category, abelian sheaf, biproduct, direct product, homology, mapping cone, local isomorphism, base change, category of sheaves, sheafification, (infinity,1)-category of (infinity,1)-sheaves, category of open subsets, (infinity,1)-presheaf, (infinity,1)-functor, (infinity,1)-topos, essentially surjective (infinity,1)-functor, dense monomorphism, Sheaves in Geometry and Logic, group object, wide subcategory, injective object, ringed site, supermanifold, direct image, inverse image, closed monoidal structure on presheaves, rational homotopy theory, mathematicscontents, functors and comma categories, cohomology, (infinity,1)-sheaf, Godement product, von Neumann algebra, natural numbers object, sigma-model, locally presentable (infinity,1)-category, compact object in an (infinity,1)-category, accessible (infinity,1)-category, inaccessible cardinal, type theory, final functor, filtered (infinity,1)-category, ind-object in an (infinity,1)-category, co-Yoneda lemma, representation theory, exact sequence, directed colimit, D-module, sequent calculus, subquotient, coreflective subcategory, topologizing subcategory, Gabriel multiplication, dependent product, quasicoherent sheaf, ringed space, generalized Reedy category, Eckmann-Hilton argument, exponential object, calculus of fractions, monadic functor, distributive category, localization of an (infinity,1)-category, category of simplices, complicial set, Verdier site, simplicial model category, enriched model category, (infinity,1)-category of (infinity,1)-categories, (infinity,1)-category of (infinity,1)-functors, (infinity,1)-category of (infinity,1)-presheaves, Andre Joyal, relation between quasi-categories and simplicial categories, stable (infinity,1)-category of spectra, algebra in an (infinity,1)-category, strict 2-functor, symmetric monoidal (infinity,1)-category, Pr(infinity,1)Cat, FOLDS, Michael Makkai, microcosm principle, motivation for sheaves, cohomology and higher stacks, homotopy coherent nerve, flat functor, locally finitely presentable category, geometric embedding, power object, synthetic differential geometry, algebra for an endofunctor, coimage, algebraic stack, higher category theory and physics, negative thinking, exercise in groupoidification - the path integral, split idempotent, separated presheaf, coalgebra for an endofunctor, The Catsters, path category, Grothendieck construction, quasitopos, codiscrete groupoid, principal bundle, exponential ideal, Handbook of Analysis and its Foundations, (1,0)-category, (2,1)-category, (n,1)-category, Bill Lawvere, replete subcategory, tetracategory, stalk, point of a topos, omega-nerve, computad, topological concrete category, semigroup, core, lax natural transformation, Carlos Simpson, simplicial localization, n-group, transfor, k-morphism, n-functor, numerable open cover, (infinity,2)-category, n-fold complete Segal space, algebraic topology, opetope, computer science, interval category, triangle identities, weak inverse, homotopy, homotopy (as an operation), 2009 July changes, delooping, model structure on presheaves of simplicial groupoids, concrete sheaf, groupoid object in an (infinity,1)-category, snake lemma, model structure on sSet-enriched presheaves, essential image, adjoint equivalence, cosmos, nerve and realization, effective topos, combinatorial model category, presentations of (infinity,1)-sheaf (infinity,1)-toposes, Cartesian fibration, comonad, tensorial strength, lax functor, extremal monomorphism, decategorification, generalized multicategory, effective epimorphism, simplicial resolution, big and little toposes, enriched Reedy category, (infinity,1)-categorical hom-space, Grothendieck group, Models for Smooth Infinitesimal Analysis, 2009 August changes, noetherian category, property sup, semisimple object, math blogs, universal colimit, universal fibration of (infinity,1)-categories, Karoubi envelope, Cartesian morphism, anodyne morphism, model structure for Cartesian fibrations, equivalence of (infinity,1)-categories, flabby sheaf, Charles Wells, Batanin omega-category, Michael Barr, geometric quantization, 2-category equipped with proarrows, solution set condition, universe, space, Vaughan Pratt, soft sheaf, fine sheaf, infinitesimal object, graph, subfunctor, analysis, semicartesian monoidal category, 2009 September changes, normalizer, extended topological quantum field theory, equivariant cohomology, Saunders Mac Lane, differential crossed module, internal relation, EGA, higher topos theory, Samuel Eilenberg, single-sorted definition of a category, higher geometry, (sub)object classifier in an (infinity,1)-topos, localic topos, (0,1)-topos, locally ringed space, symmetric smash product of spectra, derivator, diagonal morphism, graph of a functor, cograph of a functor, adjoint (infinity,1)-functor, structure sheaf, inverse limit, direct limit, inductive limit, higher category theory - contents, category theory - contents, SEAR, type, topos theory - contents, synthetic differential geometry applied to algebraic geometry, Q-category, (infinity,1)-operad, equationally presentable category, distribution, 1-topos, free groupoid, exterior differential system, C-star-algebra, n-truncated object of an (infinity,1)-category, ringed topos, Claire Tomesch, smooth topos, quantum mechanics, injective hull, Kock-Lawvere axiom, (infinity,1)-Yoneda extension, cellular set, strict category, preset, homotopy groups in an (infinity,1)-topos, domain, enriched Quillen adjunction, Theory and Applications of Categories, constant functor, tensor category, completion, fully faithful (infinity,1)-functor, gravity as a BF theory, propositions as types, categorification - contents, syntax - semantics duality, Yoneda lemma for (infinity,1)-categories, A Survey of Elliptic Cohomology - the derived moduli stack of derived elliptic curves, regular and exact completions, finitely generated object, proposition, weak enrichment, order theory, ionad, Theta-space, Theta category, extranatural transformation, categorification via groupoid schemes, small presheaf, geometric theory, monadicity theorem, nPOV, nonabelian group cohomology, monadic descent, Jean Benabou, bifibration, codomain fibration, Pierre Gabriel, Beck-Chevalley condition, species, sink, canonical topology, canonical model structure on Cat, Johnstone's topological topos, companion pair, tangent (infinity,1)-category, cokernel pair, Bell's theorem, internal category in a monoidal category, fully formal ETCS, cograph of a profunctor, cofibration, cleavage, relative point of view, algebraic weak factorization system, coherence theorem for monoidal categories, open cover, little site, Claudio Hermida, inhabited object, higher monadic descent, logical functor, categorytheorycontents, covering, Grothendieck-Maltsiniotis infinity-category, model structure for quasi-categories, Dyson formula, automorphism infinity-group, concrete site, bounded geometric morphism, adjoint triple, size issues, semifunctor, 2-topos, theory, (infinity,n)-module, free object, inner fibration, opposite quasi-category, dependent type, reflective sub-(infinity,1)-category, essentially unique, closed functor, applications of (higher) category theory, 2Cat, Mamuka Jibladze, connected category, pro-object in an (infinity,1)-category, solid functor, locally connected geometric morphism, model structure on sSet-categories, etale geometric morphism, Tannaka duality, sSet-site, Como, locally constant sheaf, canonical morphism, Homotopy Theory of Higher Categories, free loop space object, idempotent complete (infinity,1)-category, fpqc site, idempotent adjunction, semicategory, DistLat, simplicial localization of a homotopical category, open map, (infinity,1)-Grothendieck construction, (infinity,1)-category theory, Loc, Calculus of fractions and homotopy theory, category of representations, infinity-group, global section, generalized kernel, W-type, fibrations of quasi-categories, homotopy coherent diagram, essential geometric morphism, Postnikov tower in an (infinity,1)-category, algebraic lattice, (infinity,1)Cat, decalage, Goodwillie calculus, category of presheaves, (infinity,1)-site, currying, An Introduction to Homological Algebra, hypergroupoid, clique, coherence theorem, type theory - contents, Bisognano-Wichmann theorem, algebra for a profunctor, first-order hyperdoctrine, tripos, Street fibration, monomorphism in an (infinity,1)-category, right/left Kan fibration, identity type, Bob Coecke, hermitian matrix, calculus of constructions, hypercrossed complex, subtopos, equivalence in an (infinity,1)-category, finite quantum mechanics in terms of dagger-compact categories, direct category, Conduche functor, final (infinity,1)-functor, Bourbaki, (infinity,1)-Kan extension, tangent category, optics, graphical quantum channel, globular operad, pasting diagram, quasi-category theory contents, domain theory, locally small (infinity,1)-category, essentially small (infinity,1)-category, accessible functor, Hall algebra, mathematical physics, associator, unitor, adjoint (infinity,1)-functor theorem, connected topos, forcing, smooth manifold, pointed derivator, accessible (infinity,1)-functor, parametric right adjoint, zigzag, measurable cardinal, enriched Yoneda lemma, locally connected topos, algebraic Kan complex, algebraic quasi-category, good open cover, composable pair, exact (infinity,1)-functor, 2-category theory, nerve theorem, two-out-of-six property, John Duskin, exact square, enriched category theory contents, automorphism 2-group, perturbative quantum field theory, big site, (infinity,1)-pullback, topological locale, frame of opens, no-go theorem, C-star-category, Gabriel-Ulmer duality, double negation, embedding, posite, Freyd cover, effective monomorphism, Diaconescu's theorem, Duskin nerve, base topos, Teimuraz Pirashvili, sifted category, homotopy equivalence of toposes, symmetric monoidal (infinity,n)-category, adjoint monad, Dominique Bourn, kilogram, thin category, submersion, Ext, Gray group, simplicial Quillen adjunction, localic geometric morphism, hyperconnected geometric morphism, Freyd-Mitchell embedding theorem, indecomposable object, hom-groupoid, coherent coverage, indexed functor, (n-connected, n-truncated) factorization system, Lawvere distribution, algebraic model for modal logics, poset of subobjects, horizontal composition, line object, comonadic functor, Avogadro constant, holographic principle of higher category theory, epimorphism in an (infinity,1)-category, regular functor, fundamental (infinity,1)-category, infinity-anafunctor, coherence law, associativity, math resources by individuals, type-theoretic definition of category, strict 2-groupoid, zigzag category, essential fiber, codiagonal, biadjunction, pure type system, cartesian functor, cohesive (infinity,1)-topos, topological groupoid, Topos, progroup, local geometric morphism, regular monomorphism in an (infinity,1)-category, strongly connected site, cohesive topos, math archives, math resources, math institutions, model structure on simplicial algebras, the logic S4(m), nGrpd, totally connected geometric morphism, locally connected site, modal logic, Haefliger groupoid, conical limit, (infinity,n)-presheaf, cartesian closed (infinity,1)-category, Barr's theorem, cofinal diagrams, (infinity,1)-topos theory, intuitionistic mathematics, Galois topos, closed monoidal (infinity,1)-category, relative (infinity,1)-adjunction, blob n-category, local site, adjoint quadruple, constructive Gelfand duality theorem, diagonal functor, van Kampen theorem for toposes, final subcategory, extension of scalars, surjective geometric morphism, ring object, evaluation map, normal modal logic, 2-topos theory, infinity-algebra over an (infinity,1)-operad, indexed category, (infinity,n)Cat, cosheaf, integral transforms on sheaves, integral transform, (infinity,n)-category of spans, Lawvere interval, Leinster2010, commutative monoid in a symmetric monoidal (infinity,1)-category, two-sided fibration, proper topological groupoid, universe enlargement, sifted (infinity,1)-category, etale site, universally closed morphism, strongly connected topos, geometric realization of categories, Tannaka duality for Lie groupoids, Myles Tierney, over-topos, topos of algebras over a monad, fully dualizable object, implicit infinity-category theory convention, differential forms on presheaves, pure morphism, adjoint lifting theorem, coherent functor, KK-theory, Tannaka duality for geometric stacks, enriched bicategory, locally ringed topos, little etale topos, Gianfranco Mascari, Khovanov homology, Some Thoughts on the Future of Category Theory, standard site, effective epimorphism in an (infinity,1)-category, infinity-representation, The Stacks Project, subobject in an (infinity,1)-category, factorization category, term, fppf site, projection, connected site, (geometric surjection, embedding) factorization system, variable, crystalline site, regular coverage, Frobenius reciprocity, Handbook of Categorical Algebra, (infinity,2)-sheaf, geometric category, dense sub-site, small-generated site, cartesian category, natural equivalence, orthogonal factorization system in an (infinity,1)-category, cartesian logic, complete small category, hyperdoctrine, syntactic site, canonical presentation, cartesian site, two-out-of-three, (infinity,n)-category with duals, cohesive (infinity,1)-topos -- infinitesimal cohesion, Homotopy Limit Functors on Model Categories and Homotopical Categories, categorical semantics, Poset, Bohr topos, atomic geometric morphism, syntactic category, cartesian theory, coherent topos, regular topos, unital category, proadjoint, cohesive (infinity,1)-topos -- structures II, axiom, Frobenius functor, homotopy type theory, internal site, indexed topos, geometric transformation, Planet Math, model structure for L-infinity algebras, monoidal derivator, looping, fiber functor, n-topos, umbrella category, what to contribute, ordinary mathematics, Gelfand duality, Stab(infinity,1)Cat, sigma-model -- exposition of a general abstract formulation, internal subcategory, type of propositions, finite (infinity,1)-limit, theorem, truncated object, history of mathematics, unit type, pure subobject, type of types, types and logic - table, internal sheaf, axiom UIP, totalization, real numbers object, contents of contents, locally presentable categories - introduction, syntax, product type, quotient type, indexed adjoint functor theorem, concrete object, cohesive homotopy type theory, abstract general, concrete general and concrete particular, factorization system over a subcategory, recursion, reflective factorization system, tensor, Mac Lane's proof of the coherence theorem for monoidal categories, M-complete category, outer automorphism infinity-group, center of an infinity-group, saturated class of limits, stable factorization system, factorization structure, regular epimorphism in an (infinity,1)-category, Paul Dedecker, 3-group, homotopy level, function type, enriched (infinity,1)-category, bracket type, (epi, mono) factorization system, (eso+full, faithful) factorization system, (eso, fully faithful) factorization system, (infinity,2)-topos, 0-morphism, dependent product type, (0,1)-category theory, filtered object, Coq, empty type, inductive type, Agda, higher inductive type, final lift, (infinity,1)-semitopos, existential quantifier, universal quantifier, n-image, coend in a derivator, proofs as programs, locally cartesian closed functor, proof, HoTT methods for homotopy theorists, 2-presheaf, univalence axiom, intensional type theory, regular representation, atomic category, strong adjoint functor, sylleptic 3-group, infinity-permutation representation, model structure for Segal categories, symmetric 2-group, pushout-product, proper geometric morphism, judgmental equality, open geometric morphism, dependent type theory, (hyperconnected, localic) factorization system, reflective sub-2-category, contractible type, extensional type theory, sum type, cartesian closed functor, codiscrete object, co-concrete object, semantics, locally cartesian closed (infinity,1)-category, Artin gluing, h-set, decidability, Philip Scott, topos of types, h-proposition, equivalence in homotopy type theory, model structure on cellular sets, parity complex, dual object in a closed category, Cartan-Eilenberg category, categorification in representation theory, canonical form, presentation of a category by generators and relations, polymorphism, monad (disambiguation), higher Segal space, relative adjoint functor, adhesive category, generators and relations, symmetric multicategory, Cartesian fibration of dendroidal sets, category object in an (infinity,1)-category, exact 2-category, regular 2-category, Giraud's theorem, coherent 2-category, 2-pretopos, extensive 2-category, (n,r)-congruence, 2-congruence, table of category theories, Segal n-category, type formation, Joyal-Tierney calculus, field net, homotopy 2-category, abelian 3-group, closed cover, separated geometric morphism, dependent sum type, unbounded topos, exactness property, structure, plus construction on presheaves, elementary (infinity,1)-topos, Segal condition, derived tensor product, exhaustive category, substitution, (infinity,n)-sheaf, fixed-point combinator, relation between type theory and category theory, M-type, sheaf of meromorphic functions, categorical wreath product, locally bounded category, categorical model of dependent types, sequent, first-order theory, general covariance, morphism of sites, Haskell, minimal inner fibration, homotopy-homology-cohomology, infinity-quotient, coherence theorem for symmetric monoidal categories, universe polymorphism, permutative category, (infinity,1)-bimodule, faithful representation, logical framework, Burali-Forti's paradox, judgment, Russell's paradox, distributivity pullback, tensor product of modules, projective presentation, context extension, Baer's criterion, Categories, Allegories, (infinity,n)-category with adjoints, (infinity,1)-category of chain complexes, category of simple graphs, sheaf of abelian groups, tower, bifunctor, salamander lemma, universe - contents, injective presentation, abelianization, locally presentable categories - table, numeral, definition, program, gaunt category, elementary function arithmetic, Brouwer-Heyting-Kolmogorov interpretation, realizability topos, second-order arithmetic, computational trinitarianism, Foundations of Algebraic Topology, arity class, programming theory, monad (in computer science), computation, programming language, natural deduction, category of V-enriched categories, geometry of physics, transfinite construction of free algebras, motivation for higher differential geometry, metalanguage, theory of presheaf type, Practical Foundations for Programming Languages, term in context, typical ambiguity, Tannakian category, Alex Heller, contradiction, inconsistency, modal type, function type natural deduction - table, type of h-sets, Bishop set, predicative topos, dependent product natural deduction - table, antecedent, succedent, consequent, TwoVect, looping combinator, deductive system, dependent sum natural deduction - table, judgements for types and terms - table, product natural deduction - table, pointed endofunctor, simplicial object in an (infinity,1)-category, Galois cohomology, dependent sum, substitution natural deduction - table, folklore, h-groupoid, coinductive type, coherence theorem for braided monoidal categories, coherence theorem for monoidal bicategories, coherence theorem for braided monoidal bicategories, coherence theorem for symmetric monoidal bicategories, (infinity,n)-topos, practical foundation of mathematics, adjoint triangle theorem, closure operator, separator, modal type theory, differential homotopy type theory, braided 2-group, braided infinity-group, braided 3-group, symmetric 3-group, symmetric monoidal 2-category, sum, localization of model categories, globular theory, n-category object in an (infinity,1)-category, strict initial object, n-monomorphism, axiom K, mapping stack, n-epimorphism, observational type theory, meaning explanation, natural numbers type, Kleisli 2-category, cartesian monoidal (infinity,1)-category, geometry of physics - modules, Hilbert's sixth problem, equifibered natural transformation, van Kampen colimit, limit of a sequence, double Lie groupoid, Lie algebroid-groupoid, abelian 4-group, abelian 7-group