nLab
Authors

• Tim Porter? co- or authored: homotopy coherent nerve
• Tim Porter? co- or authored: Tim Porter, algebraic fundamental group, profinite homotopy type
• Aaron F co- or authored: Aaron F, induced representation, vertex operator algebra
• Abhijnan Rej? co- or authored: etale cohomology
• Adam? co- or authored: monoidal category
• Adrien? co- or authored: (infinity,1)-category of (infinity,1)-sheaves, How to get started
• Akhil Mathew co- or authored: Akhil Mathew, Eilenberg swindle, Hecke algebra, Hilbert's basis theorem, Karoubi envelope, Levi-Civita connection, Morse lemma, Myers-Steenrod theorem, Online Resources, Riemann surface, Riemannian metric, Schur's lemma, additive envelope, covariant derivative, formal group, group, regular category, relative scheme > history
• Aleks Kissinger co- or authored: Bimod, Frobenius algebra, PROP, dagger-category, entanglement, filtered category, quantum information, sifted colimit
• Alex Hoffnung co- or authored: 2-limit, Alex Hoffnung, Northwestern TFT Conference 2009, UC Riverside Seminar on Cobordism and Topological Field Theories, bicrossed product, diffeological space, geometric infinity-function theory, groupoid cardinality, inbound citations, strong monomorphism
• Alex Nelson? co- or authored: crossed complex
• Alexandru Chirvasitu? co- or authored: comma object
• Alma Myers? co- or authored: Sandbox > SVG
• Alon Amit? co- or authored: Online Resources
• Andrea Ferrario? co- or authored: Poisson sigma-model
• Andreas Holmstrom co- or authored: Andreas Holmstrom, cohomology, model category
• Andrej Bauer? co- or authored: Online Resources
• Andres Angel? co- or authored: horn
• Andrew Ranicki co- or authored: twisted cohomology
• Andrew Stacey co- or authored: (infinity,1)-category of (infinity,1)-sheaves, (infinity,1)-topos, (infinity,1)-topos - contents, (sub)object classifier in an (infinity,1)-topos, 2009 August changes, 2009 February changes, 2009 January changes, 2009 July changes, 2009 June changes, 2009 September changes, About, Andrew Stacey, Banach space, Brown -- Abstract Homotopy Theory and Generalized Sheaf Cohomology > history, Brown AHT, Chen space, Chevalley-Eilenberg algebra in synthetic differential geometry, DF space, Domenico Fiorenza, FAQ, Frölicher spaces and Isbell envelopes, Froelicher space, G-delta subspace, Grothendieck's Galois theory, Higher Topos Theory, Home Page, How to get started, How To, Inclusion Sandbox, Isbell conjugation, Isbell envelope, Lawvere theory, Lie's three theorems, On the CLassification of Topological Field Theories > history, Online Resources, Poincar%C3%A9 duality > history, Pr(infinity,1)Cat, Prime De Gold, Reedy category, SEAR plus epsilon, SVG Editor How To, SVGsandbox, Sandbox, Sandbox > SVG, Sandbox > test, Smith space, TVS relationships, Tall-Wraith monoid, Timeline of category theory and related mathematics, Toby Bartels, Verity on descent for strict omega-groupoid valued presheaves, adjunction, adjunction > zigzagepsilon, adjunction > zigzageta, algebraic category, algebraic homotopy, algebraic theories in functional analysis, all changes, an elementary treatment of Hilbert spaces, associahedron, barreled topological vector space, basis of a free module, category of fibrant objects, category theory, co-H-space, cogroup, cohomology, comma category, comma object, commutative algebraic theory, complete topological vector space, constant morphism, contents, convenient vector space, counterexamples in algebra, database of categories, density matrix, diagram of LCTVS properties, diffeological space, differential cohomology, differential graded algebras and differential graded Lie algebras-relationships, differential graded objects - contents, differential module, differential topology of mapping spaces, distribution, examples of Frölicher spaces, exercise in groupoidification - the path integral, full functor, functional analysis - contents, functional analysis bibliography, generalized object > history, generalized smooth space, geometric infinity-function theory, heuristic introduction to sheaves, cohomology and higher stacks > history, induced representation, infinitary Lawvere theory, lattice of TVS properties, lctvs dot source, limit, linear mapping spaces, local addition, localization, locally convex space, loop space object, manifold structure of mapping spaces, mathematics, mathematicscontents, measurable space, modular tensor category, monadicity theorem, monoidal category, motivation for sheaves, cohomology and higher stacks, normal subgroup, oriental, oriental > Delta2, paracompact space, path groupoid, pentagon decagon hexagon identity, physics, quasicompact, radial, rational homotopy theory, reality check, regular space, request for help, second lctvs diagram dot source, sequentially compact space, sheaf, sheaf cohomology, sieve, smooth loop space, smooth structure of the path groupoid, space and quantity, spam: Tess Wither, spam: employee, spam: ferrim, spam: inner product, special characters, stratifold, stuff, structure, property, subcanonical coverage, subsets of lctvs, symmetric monoidal category, tangential notions of Frölicher spaces, template page, theory of primes > history, topological concrete category, topological notions of Frölicher spaces, topological vector space, topos, totally convex space, transgression, triangle identities, trigonometric identities and the irrationality of pi, universal algebra, universal algebra in a monoidal category, weighted limit, why (infinity,1)-categories?
• Angela? co- or authored: Online Resources
• Anny? co- or authored: quasicompact
• Anonymous co- or authored: Online Resources
• Anonymous Coward co- or authored: point of a topos
• Anonymous Hero co- or authored: Tom Leinster
• Anonymous Coward co- or authored: (infinity,1)-quantity, (infinity,1)-topos, 2-crossed module, 2-vector space, 2009 August changes, 2009 July changes, A Survey of Elliptic Cohomology - A-equivariant cohomology, A Survey of Elliptic Cohomology - cohomology theories, A Survey of Elliptic Cohomology - equivariant cohomology, A Survey of Elliptic Cohomology - formal groups and cohomology, AQFT, Alex Hoffnung, An Exercise in Kantization, Beck-Chevalley condition, Boolean ring, Boolean topos, Bourbaki, Bousfield localization, CAT(X) > history, Categories and Sheaves, Chern-Weil homomorphism, Day convolution, Eilenberg-Mac Lane space > history, Eilenberg-Moore category, Eric Forgy, FQFT, Froelicher space, Gabriel C. Drummond-Cole, General Discussion, Grothendieck construction, Grothendieck topology, Hamiltonian, Hans-Joachim Baues, Hausdorff dimension, Hausdorff maximal principle, Heyting algebra, Home Page, How To, Hurewicz fibration, Jocelyn Paine, Kähler differential, Kan extension, Lambda-ring, Lie's three theorems, Lie infinity-algebroid representation, Lie theory, Maurer-Cartan form, Mitchell-Benabou language, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, Online > history, Online Resources, Peter Olver, Quillen exact category, Rod Mc Guire, Romie Banerjee, Sandbox, Sandbox > 905234, Schwarzschild spacetime, Stephen Britton, Stone duality, Tim Porter, Timeline of category theory and related mathematics, Timothy Porter > history, Yoneda lemma, Young diagram, ZFC, Zamolodchikov equation, abelian category, action, adic topology > history, algebraic space, all changes, ambient category, analytic geometry, analytic versus synthetic, automaton, axiom of choice, basic ideas of moduli stacks of curves and Gromov-Witten theory, basis of a free module, bimodule, bornological topological vector space, cardinal number, category algebra, category theory, choice operator, cobordism hypothesis, cocomplete category, cocontinuous functor, codiscrete groupoid, cohomology, colimit, conformal field theory, contents, counterexamples in algebra, crossed complex, crossed module, crossed n-cube, crossed square, crystalline cohomology, cube category, de Rham complex, de Rham space, decalage, definition of topology, derivation, derived functor, dg-category, diagrammatic order > history, dinatural transformation, directed space, double category, essential image, essential supremum, evil, factorization algebra, faithful functor, fibration, finite category, finite-product theory > history, finitely complete category, free cocompletion, free loop space object, full functor, fundamental group of a topos, generalized universal bundle, geometric function object, geometric function theory, gerbe, gerbe (general idea), graph, graph of a function, groupoidification, heuristic introduction to sheaves, cohomology and higher stacks > history, hom-functor, homotopy category, homotopy theory, hyperring, inbound citations, infinity-category, injective hull, integration over supermanifolds, join of simplicial sets, k-tuply monoidal n-category, linear logic, linguistics, local isomorphism, locally compact space, locally convex space, long line, mathematics, model structure on algebraic fibrant objects, model structure on simplicial sets, motives and dg-categories, music, natural transformation, noncommutative algebraic geometry, operad, oriental, over quasi-category, paracompact space, perfect field, physics, presheaf, quantale, quantum operation, quasigroup, regular monomorphism, renormalization, replete subcategory, rig, ringed site, section, semifunctor, semisimple category, shape theory, simplicial complex, simplicial model category, simplicial set, simplicially enriched category, smooth algebra, snake lemma, spam: ferrim, special relativity, spectral measure, stack* > history, stratifold, string diagram, string theory, superdifferential form, suspension, template page, test category, thick subcategory, transversal maps, triadic relation" > history, trigonometric identities and the irrationality of pi, twisting cochain, two-out-of-six property, universal fibration of (infinity,1)-categories, weak factorization system, whisky club, why (infinity,1)-categories?
• Anonymous Heroic Speller co- or authored: Michael Boardman
• Another Anonymous Coward co- or authored: FQFT
• Approved Stephen? co- or authored: Online Resources
• Arnold Neumaier co- or authored: Arnold Neumaier, SEAR, classical limit, pure set, set theory, structural set theory
• Arthur Crowe? co- or authored: localization
• Bas Spitters? co- or authored: SEAR
• Ben Webster co- or authored: Ben Webster, Chern-Simons theory, FAQ, Hecke algebra, Hilbert scheme, Koszul duality, Morita equivalence, Schur functor, Specht module, braided monoidal 2-category, categorification - contents, categorification via groupoid schemes, decategorification, differential graded algebra, group algebra, knot, knot invariant, simple object, super q-Schur algebra, vertical categorification
• Benjamin Antieau? co- or authored: presheaf
• Benoit Jubin co- or authored: 2009 September changes, Benoit Jubin, evil, exterior algebra, monoidal category, universal differential envelope
• Bertfried Fauser? co- or authored: Young diagram
• Bruce Bartlett co- or authored: 2-vector space, 2009 July changes, 2009 June changes, BV-BRST formalism, Bruce Bartlett, Chern-Simons theory, FQFT, General Discussion, Help me! I'm trying to understand Bakalov and Kirillov, Home Page, How to get started, How To, Northwestern TFT Conference 2009, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, Pivotal symbols > history, Reshetikhin-Turaev construction, Sandbox > SVG, Timeline of category theory and related mathematics, Trimble on ETCS I, UC Riverside Seminar on Cobordism and Topological Field Theories, UC Riverside Seminar on Cobordisms and Topological Field Theories > history, cobordism hypothesis, compact object, contents, coverage, differentiable stack, differential cohomology, electromagnetic field, examples for Lagrangian BV, fusion category, geometric infinity-function theory, geometrodynamics, heuristic introduction to sheaves, cohomology and higher stacks > history, integration over supermanifolds, internal hom, local system, monoidal category, n Insights, oriental, perfect infinity-stack, pivotal symbols, polyfold, rigid monoidal category, semisimple category, sieve, twisted complex
• Carol? co- or authored: About, Community
• Charles Rezk co- or authored: Theta-space
• Charles Siegel? co- or authored: counterexamples in algebra, split exact sequence
• Charles Wells co- or authored: 2009 August changes, category theory, diagrammatic order > history
• Chris? co- or authored: split idempotent
• Chris Brav co- or authored: 2009 June changes, Chris Brav, Timeline of category theory and related mathematics, differential graded categories > history, fiber product, geometric infinity-function theory
• Chris Rogers co- or authored: Chris Rogers, multisymplectic geometry, n-plectic geometry
• Chris Schommer-Pries co- or authored: (infinity,n)-category of cobordisms, Chris Schommer-Pries, bibundle, semisimple category
• Christopher Abaddon? co- or authored: Sandbox
• Claire Tomesch co- or authored: (infinity,n)-category, Claire Tomesch, combinatorial model category, geometric morphism, locally connected geometric morphism, stack
• Colin Tan? co- or authored: Online Resources, evil
• Dan Christensen co- or authored: model structure on topological spaces
• Daniel Schäppi? co- or authored: Cocomm Coalg, computad
• Daniel de Fran?a MTd2? co- or authored: An Exercise in Kantization
• Daniel de França MTd2? co- or authored: An Exercise in Kantization, Timeline of category theory and related mathematics, gerbe
• David Carchedi? co- or authored: topological stack
• David Carchedi? co- or authored: generalized multicategory, reflective sub-(infinity,1)-category, topological stack
• David Corfield co- or authored: (∞,1)-algebraic theory, (-1)-groupoid, (2,1)-dimensional Euclidean field theory, (infinity,n)-category of cobordisms, (n,r)-category, (sub)object classifier in an (infinity,1)-topos, 2-monad, 2009 August changes, 2009 July changes, 2009 June changes, 2009 September changes, AQFT, Anders Kock, Another page > history, Axiomatic field theories and their motivation from topology, BDR 2-vector bundle, Baues > history, Cartan geometry, Cat, Cauchy complete category, Chern-Simons 2-gerbe, Chern-Simons theory, Coyoneda lemma > history, D-module, David Corfield, Dedekind cut, Dold-Thom theorem, Donaldson-Thomas invariant, Eckmann-Hilton argument, Eckmann-Hilton duality, Elephant, Eric Goubault, Erlangen program, FQFT, Freyd cover, Froelicher space, G-structure, Goodwillie calculus, Hans-Joachim Baues, Hilbert scheme, Kan extension, Kirill Mackenzie, Klein 2-geometry, Klein geometry, Lambda-ring, Mac Neille completion, Markov chain, Mike Shulman, Moore space, Nikolai Durov, Nonabelian Algebraic Topology, Oberwolfach Workshop, June 2009 -- Abstracts, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, Online Resources, P-ring, Polish space, Pos, Sandbox, Schur functor, Steve Lack, String Lie 2-algebra, TCFT, Tall-Wraith monoid, The Joy of Cats, Thom spectrum, Timeline of category theory and related mathematics, Topological Algebraic Geometry - A Workshop, Trimble's notion of weak n-category > history, Trimble on ETCS I, Trimble on ETCS II, Vietoris complex, Yoneda embedding, Yoneda lemma, abstract Stone duality, adjoint equivalence, adjoint functor, algebra, algebra for an endofunctor, algebraic set theory, allegory, analytic versus synthetic, axiom of foundation, bibundle, bicrossed product, biology, blob homology, bundle, bundle gerbe, calculus of constructions, canonical hypergroup, cartesian monad, category algebra, category theory, centipede mathematics, classical limit, classifying topos, closed monoidal structure on presheaves, co-H-space, co-Yoneda lemma, coalgebra, coalgebra for an endofunctor, cobordism hypothesis, cofibration category, coherent logic, cohomology, cohomology group, coinduction, colimit, combinatorial spectrum, commutative square, commutativity of limits and colimits, comonad, compact object, compact space, complete space, completion, concrete category, conformal net, context, convex space, corecursion, cosmic cube, crossed n-cube, crystal, cubical set, cycle category, cyclic order, deformation theory, dense monomorphism, dependent product, derived algebraic geometry, dg-algebra > history, dichotomy between nice objects and nice categories, differential nonabelian cohomology, differential object, diffiety, dinatural transformation, direct sum, direction, distributive law, duality, effective topos, elliptic cohomology, enriched category, equivalence, equivariant cohomology, exclusive disjunction, exponential object, extended natural numbers > history, extensional relation, factorization algebra, fiber product, field with one element, flat functor, foundations, foundations and philosophy, free cocompletion, fundamental category, fundamental group of a topos, fusion category, generalized (Eilenberg-Steenrod) homotopy, generalized Reedy category, generalized complex geometry, generalized object > history, generalized scheme, generalized tangle hypothesis, generalized universal bundle, geometric infinity-function theory, geometric model for elliptic cohomology, geometrodynamics, geometry, geometry (for structured (infinity,1)-toposes), gnarly problems in physics, graph of a function, group cohomology, group homotopy, hereditarily finite set, heuristic introduction to sheaves, cohomology and higher stacks > history, higher algebra, higher category theory, homotopical cohomology theory, homotopy (as an operation), homotopy category, homotopy groups in an (infinity,1)-topos, hypercompletion, hyperring, ideal completion, induced representation, induction, infinitesimal object, infinity-Chern-Weil theory, infinity-groupoid, infinity-space, infinity-stack homotopically, information geometry, initial algebra, injective hull, integrable distribution, internal logic, internal logic of an (infinity,1)-topos, internalization, invariant polynomial, irreducible representation, k-simply connected n-category, knot invariant, local isomorphism, locale, locally finitely presentable category, locally presentable (infinity,1)-category, manifold, matrix mechanics, measurable space, microcosm principle, model structure on functors, monad, monoid, motivation for sheaves, cohomology and higher stacks, multilimit, multisymplectic geometry, n-plectic geometry, n-symplectic manifold, n POV, negative thinking, nonabelian cohomology, nonabelian group cohomology, noncommutative algebraic geometry, operad, period, philosophy, physicscontents, planar algebra, pointed category, power object, predicative mathematics, presheaf, pretopos, probability theory, profunctor, pure motive, pure set, quantale, quantum field theory, quasigroup, rational topological space, reconstruction theorem, regular category, regular monomorphism, rig, sheafification, simplicial object, simplicial ring, smooth Lorentzian space, space and quantity, species, spectrum, spectrum object, stable homotopy theory, string group, string structure, string theory, structured (infinity,1)-topos, stuff, structure, property, subcategory, symmetric function, symplectic geometry, synthetic differential geometry, synthetic differential geometry applied to algebraic geometry, tangent (infinity,1)-category, tangent category, terminal coalgebra, things to be categorified, tiny > history, tiny object, topological T-duality, topological group, topology, topology and geometry, transgression of bundle gerbes, tree, type theory, ultrafilter, ultraproduct, uniform space, universal algebra, universal fibration of (infinity,1)-categories, valuation ring, vertical categorification, von Neumann algebra, why (infinity,1)-categories?
• David Roberts co- or authored: (n,r)-category, 2-limit, 2009 August changes, 2009 July changes, 2009 June changes, 2009 March changes, 2009 September changes, 2d TQFT, A Survey of Elliptic Cohomology, Atiyah Lie groupoid, Birkhoff-von Neumann theorem, Borsuk's shape theory, Cartesian morphism, Cat Lab, David Roberts, Dedekind completion, Dold fibration, Eric Forgy, FAQ, Fundamental Bigroupoids and 2-Covering Spaces, Grothendieck's Galois theory, Grothendieck fibration, Grothendieck pretopology, Grothendieck topology, Haar measure, Ho(Cat), K-topology, Les Dérivateurs, Lie 2-group, Lie groupoid, Liouville cocycle, Monster group, Morita equivalence, Nonabelian Algebraic Topology, Online Resources, Osterwalder-Schrader theorem, Pursuing Stacks, Pursuing stacks > history, Riemann hypothesis, SEAR, Sweedler notation, T-duality, Tall-Wraith monoid, Theta-space, Thomason model structure, WISC, Warsaw circle, Whitehead tower, Wick rotation, all changes, alternative experimental definition of commutative diagram, ambient category, anafunctor, augmented simplicial set, basis, bicategory, bicategory of fractions, big site, butterfly, categorification via groupoid schemes, category of fibrant objects, category of fractions, category of presheaves, category theory, chain homology and cohomology, classification of finite simple groups, codomain fibration, coherence theorem, cohomology, comma object, compactly generated space, complete topological vector space, connected category, connected space, cosmic cube, covering space, cube, dagger-category, de Rham theorem, diagrammatic order > history, directed homotopy theory, disjoint coproduct, electromagnetic field, equivariant cohomology, equivariant stable homotopy theory, evil, extended real number, extensive category, fiber, fibration, fibration of bigroupoids, fibration theory, finite category, fork, frame, free loop space object, full image, fully formal ETCS, functional, fundamental groupoid, generalized continuity, generalized kernel, generalized smooth space, generalized universal bundle, geometric realization of simplicial topological spaces, gerbe (as a stack), graph, group object, higher category theory - contents, history of cohomology with local coefficients, homotopy groups in an (infinity,1)-topos, homotopy lifting property, homotopy localization, homotopy theory of Grothendieck, horizontal categorification, idempotent complete (infinity,1)-category, inbound citations, ind-object, internal category, internal category in a monoidal category, interval object, ionad, isomorphism, k-morphism, little site, localic group, localization, locally contractible space, locally convex space, locally finite cover, locally n-connected (n,1)-topos, locally path-connected space, locally trivial category, loop space, manifold structure of mapping spaces, microbundle, natural numbers in SEAR, nice topological space, nonabelian groupoid cohomology, normal space, null system, numerable open cover, paracompact space, partially ordered dagger-category, partition of unity, path integral, petit topos, plus construction, principal infinity-bundle, profinite completion of a group, profinite group, quantum anomaly, quantum operation, quasi-C groupoid, quasifibration, quasitopological groupoid, quasitopos, red herring principle, saturated class of maps, semi-abelian category, semi-locally simply connected space, shrinkable map, sifted category, sifted colimit, simplicial localization, skeleton, small category, sphere, spin group, sporadic finite simple group, stable derivator, strict epimorphism, string 2-group, string group, string structure, submersion, subquotient, synthetic differential geometry, tetracategory, thin homotopy, topological K-theory, topological T-duality, topological concrete category, topological infinity-groupoid, topological submersion, transfor, transgression, transversal maps, twisted cohomology, universal coefficient theorem, universal covering space, universal principal infinity-bundle, vertical categorification, weak complicial set, weak inverse, well-connected space, well-ordering theorem, wide subcategory
• David Rydh co- or authored: David Rydh, Yoneda embedding, arrow category
• David Speyer? co- or authored: fine sheaf
• Dmitri Pavlov? co- or authored: 2009 September changes, Morita equivalence, even cohomology theory, globular set, limit, quasi-category
• Dmitry Roytenberg co- or authored: homotopy limit
• Domenico Fiorenza co- or authored: Čech cohomology, Calabi-Yau category, Calabi-Yau variety, Chern character, Connes fusion, David Ben-Zvi, Dijkgraaf-Witten theory, Domenico Fiorenza, Eilenberg-Mac Lane object, Eilenberg-Mac Lane space, Fukaya category, Hodge number, Hodge star operator, K-theory spectrum, Kan complex, Lazard ring, Lie algebra, Liouville cocycle, Moore-Seiberg data, SVGsandbox, String Lie 2-algebra, TCFT, Thom spectrum, Topological Quantum Field Theories from Compact Lie Groups, Weil algebra, Whitehead tower, Whitehead tower in an (infinity,1)-topos, Young diagram, cobordism ring, fiber integration, fiber sequence, free loop space object, gauge fixing, generalized continuity, group cohomology, group extension, infinity-Chern-Weil theory, loop space object, mirror symmetry, n-vector space, nonabelian group cohomology, partially ordered dagger-category, projective representation, slant product, tangent category, transgression, twisted cohomology
• Dylan Thurston? co- or authored: twisting cochain
• Edmund Harriss? co- or authored: Online Resources
• Eduardo Ochs co- or authored: Eduardo Ochs, proto-fibration
• Eduardo Ochs? co- or authored: Grothendieck fibration
• Emily Riehl co- or authored: (infinity,1)-Grothendieck construction, Emily Riehl, Grothendieck fibration, final functor, marked simplicial set > history, model category, model structure on simplicial sets, model structure on topological spaces, monadicity theorem, natural weak factorization system, simplicial category, simplicial set, small object argument, weak factorization system
• Eric co- or authored: Eric > history, Eric Forgy, Timeline of category theory and related mathematics
• Eric Forgy co- or authored: (∞%2C1)-category > history, (∞,0)-category > history, (∞,1)-category of (∞,1)-categories > history, (infinity,0)-category, (infinity,1)-category, (infinity,1)-category > history, (infinity,1)-category of (infinity,1)-categories, (infinity,1)-category of (infinity,1)-functors, (infinity,1)-category of (infinity,1)-presheaves, (infinity,1)-category of (infinity,1)-sheaves, (infinity,1)-functor, (infinity,1)-presheaf, (infinity,1)-sheaf, (infinity,1)-sheafification, (infinity,1)-topos, (infinity,2)-category, (infinity,n)-category, (infinity,n)-category of cobordisms, (n,r)-category, Čech cohomology, Čech cover, Čech model structure on simplicial presheaves, ω-category > history, ∞-category > history, ∞-groupoid > history, ∞-stack > history, ∞Grpd > history, 1-category, 2-group, 2-groupoid, 2-morphism, 2-vector space, 2009 August changes, 2009 July changes, 2009 June changes, 2009 September changes, 3-groupoid, A-infinity-algebra, A-infinity-category, A-infinity-ring, AQFT, AQFT on curved spacetimes, About, An Exercise in Kantization, Andre Joyal, Anonymous Coward, BV-BRST formalism, Bell's theorem, Bibliography, Boolean algebra, C-star-algebra, Cart Sp, Cartesian fibration, Cat Lab, Cauchy complete category, Cauchy space, Chu construction, Community, Content, Contributors, Crans-Gray tensor product, D-module, Day convolution, Dedekind completion, Deformation Theory, Diff, Dijkgraaf-Witten theory, Directed Algebraic Topology, Discrete Causal Spaces, Drinfel'd twist, E-infinity-ring, Eilenberg-Mac Lane object, Eilenberg-Mac Lane space, Emily Riehl, Eric Forgy, Exploding a Category > history, FQFT, Fermat theory, Frobenius algebra, General Discussion, Grothendieck construction, Grothendieck topology, Grothendieck topos, Grothendieck universe, H-space, Hasse diagram, Hasse n-graph, Hasse quiver, Hecke algebra, Help me! I'm trying to understand Bakalov and Kirillov, Heyting algebra, Higher Topos Theory, Home Page, Hopf algebra, How to get started, How To, Infinity-Grpd, James Dolan, Kähler differential, Kan complex, Kan extension, Kapranov-Voevodsky 2-vector space, Koszul duality, L-infinity-algebra, Lebesgue measure, Leinster measure, Lie algebra, Lie algebroid, Lie infinity-algebroid, Lie infinity-algebroid representation, Lie infinity-groupoid, Lie theory, MSet, Markov chain, Mathieu Dupont, Multi Set, Nonabelian Algebraic Topology, Nonabelian algebraic topology > history, Notation, Note on Formatting, Oberwolfach, Oberwolfach Workshop, June 2009 -- Abstracts, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, On Scientific Contributions to the n Lab, Online Resources, Organization of the n Lab, Owen Biesel, Position, Velocity, and Acceleration, Pr(infinity,1)Cat, Quantization as a Kan Extension, Quillen adjunction, Quillen equivalence, Rel, Sandbox, Segal category, Segal space, Sjoerd Crans, Some geometric perspectives in concurrency theory, Stinespring factorization theorem, Theta-space, Timeline of category theory and related mathematics, Toby Bartels, Trimble on ETCS II, Trimble on ETCS III, Understanding Colimits in Set, Understanding Constructions in Categories, Understanding Constructions in Set, Understanding Limits in Set, Understanding M-Set, Urs Schreiber, Vect, Yoneda embedding, abelian group, accessible (infinity,1)-category, action, action group > history, action groupoid, additive category, additive functor, adjoint (infinity,1)-functor, adjoint equivalence, adjoint functor, adjunction, algebra, algebroid, all changes, alternative experimental definition of commutative diagram, anafunctor, arrow category, associator, bar construction, bi-pointed object, bialgebra cocycle, bicategory, bimodule, biproduct, bundle gerbe, bundle gerbe module, canonical morphism, cardinal number, cartesian product, category, category algebra, category of elements, category of generalized elements, category theory, category with weak equivalences, categorytheorycontents, causet, chain complex, chain homology and cohomology, classifying space, closed category, closed functor, co-span, coalgebra for an endofunctor, cobordism, cocomplete category, coequalizer, cograph of a functor, cohomology, cohomology group, cohomotopy, cokernel, colimit, combinatorial model category, comma category, commutative algebra in an (infinity,1)-category, commutative diagram, commutative square, compact object in an (infinity,1)-category, complete Segal space, complicial set, computad, concordance, concrete category, cone, cone morphism, congruence, connection, connection for a differential graded algebra, connection on a cubical set, constant functor, constant infinity-stack, contents, copairing, coproduct, cosmic cube, cosmos, cospan, cover, covering relation, crossed complex, crossed module, cube, cubical category, cubical set, cup product, cylinder functor, dagger-category, dagger-compact category, dagger-graph, database of categories, deformation theory, delooping, dense monomorphism, density matrix, derived category, derived smooth manifold, derived stack, descent, descent for simplicial presheaves, dg-category, dg-quiver, diagram, dichotomy between nice objects and nice categories, diffeological space, diffeology, differential bimodule, differential form, differential forms on simplices, differential graded Lie algebra, differential graded algebra, differential graded coalgebra, direct sum, directed graph, directed homotopy theory, directed n-graph, directed object, directed space, discrete category, disjoint union, domain theory, double category, double comma object, duality, electric charge, electromagnetic field, electromagnetism, element in an abelian category, end, enriched category, enriched functor, entanglement, equalizer, equivalence, exchange law, exercise in groupoidification - the path integral, experimental alternative definition of adjunction, experimental alternative definition of functor, extended cobordism, extremal quantum channel, fiber sequence, filtered (infinity,1)-category, filtered space, finite category, finitely complete category, frame, free cocompletion, function, function set, functor, fundamental infinity-groupoid, generalized (Eilenberg-Steenrod) cohomology, generalized smooth space, generalized universal bundle, geometric embedding, geometric infinity-function theory, geometric morphism, geometric shape for higher structures, geometrodynamics, gerbe, globe, globular set, graded algebra, graded vector space, graph, graph of a function, graph of a functor, graphical quantum channel, group, groupoid, groupoid cardinality, groupoid object in an (infinity,1)-category, groupoid of Lie-algebra valued forms, groupoidification, hereditarily finite set, higher category theory, higher category theory and physics, hom-functor, hom-object, hom-object in a quasi-category, hom-set, homological resolution, homology, homotopy > history, homotopy category of an (infinity,1)-category, homotopy coherent nerve, homotopy group, homotopy hypothesis, homotopy limit, homotopy n-type, homotopy theory, horizontal composition, horn, hypercompletion, hypercover, idempotent, identity assigning morphism > history, identity function, identity morphism, identity-assigning morphism, image, ind-object, ind-object in an (infinity,1)-category, infinity-category, infinity-groupoid, infinity-stack, infinity-stack homotopically, infinity-stackification, infinity-topos, information geometry, inhabited set, inner product of multisets, internal category, internal hom, internal infinity-groupoid, internal set, internalization, interval category, interval object, join, k-morphism, kernel, lab elf, lax 2-adjunction, limit, linear logic, local epimorphism, local isomorphism, local object, local system, localization, localization of an (infinity,1)-category, locally presentable (infinity,1)-category, loop space object, manifold, matrix calculus, measure space, metric space, model category, model structure on simplicial presheaves, models for infinity-stack (infinity,1)-toposes, modification, module, monoid, monoidal (infinity,1)-category, monoidal Dold-Kan correspondence, monoidal category, monoidal category module, monoidal model category, monomorphism, morphism, multi-cospan, multicategory, multiset, n-category, n-fold category, n-groupoid, n-poset, natural transformation, natural transformation (discussion), nerve, nerve and realization, net, nincompoops > history, nitwit > history, nonabelian cohomology, noncommutative algebraic geometry, noncommutative geometry, nonstandard analysis, object, omega-category, omega-graph, omega-groupoid, omega-nerve, operad, opetope, opposite category, orbifold, ordinal number, oriental, parallel morphisms, partial function, partial order, path category, path groupoid, path infinity-groupoid, path n-groupoid, path space object, perfect infinity-stack, physicscontents, point of a topos, pointed object, pointed set, poset > history, pospace, power object, power set, preorder, presheaf, principal 2-bundle, principal bundle, principal infinity-bundle, product, profunctor, pullback, pure set, pushout, quantum operation, quantum system, quasi-category, quasi-isomorphism, quiver, quotient object, rectified infinity-stack, redirect, reflective (infinity,1)-subcategory > history, regular differential operator, regular monomorphism, representable functor, retract, right adjoint, ring, section, semidirect product, semilattice, sequence, sequential space, set, sheaf, sieve, sigma-model, simplex, simplex category, simplicial category, simplicial group, simplicial groupoid, simplicial homotopy group, simplicial model category, simplicial model for weak omega-categories, simplicial object, simplicial set, simplicial weak omega-category, simplicially enriched category, singular simplicial complex, site, smooth Lorentzian space, smooth algebra, smooth infinity-stack, smooth loop space, smooth space, source, space and quantity, spacetime, span, special characters, spectrum, split exact sequence, stable (infinity,1)-category, stable (infinity,1)-category of spectra, stable (infinity,1)-topos, stable infinity-category, stack, stalk, star-autonomous category, stratified simplicial set, strict ω-category > history, strict ω-groupoid > history, strict 2-category, strict morphism, strict omega-category, strict omega-groupoid, strong monad, strong monomorphism, structured (infinity,1)-topos, subobject, subobject classifier, subset, super q-Schur algebra, suplattice, symmetric monoidal (infinity,1)-category, symmetric monoidal dagger-category, synthetic differential geometry, tangent Lie algebroid, target, tensor product, terminal category, terminal object, thin element, topos, torsor, transgression, tree, tree category, triadic relation" > history, truth value, twisted bundle, twisted cohomology, under category, unitary morphism, unitor, universal differential envelope, universal enveloping algebra, vector space, vectorial bundle, vertical categorification, weak complicial set, weak equivalence, weak factorization system, weak omega-category, weighted colimit, weighted limit, well-founded relation, well-order, why (infinity,1)-categories?, zero morphism
• Eric Katerman? co- or authored: simplex category
• Eugene Lerman? co- or authored: orbifold
• Evan Jenkins co- or authored: Azumaya algebra, Evan Jenkins, semigroup
• Finn Lawler co- or authored: 2009 June changes, Adjointness for 2-Categories, Finn Lawler, Kan extension, adjunction, algebra for an endofunctor, algebraic theory, comma object, cone morphism, context, doctrinal adjunction, familial regularity and exactness, fibration in a 2-category, indecomposable object, internal category, internal profunctor, intuitionistic logic, ionad, lax 2-adjunction, lax functor, lax natural transformation, lax-idempotent 2-monad, linear logic, mate, minimal logic, modification, module over a monad, paraconsistent logic, pullback, rewriting, sequent calculus, simplex category, star-autonomous category, strict 2-category, type theory
• G B? co- or authored: superconnection
• Gabriel C Drummond-Cole co- or authored: Gabriel C. Drummond-Cole, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology
• Gabriel C. Drummond-Cole co- or authored: Northwestern TFT Conference 2009
• Garlef Wegart? co- or authored: restriction and extension of sheaves
• Gavin W co- or authored: Home Page
• Gavin Wraith co- or authored: Gavin Wraith, How to get started, Lambda-ring, Timeline of category theory and related mathematics, algebraic theory, bimodel, centipede mathematics, coalgebra, commutative algebraic theory, geometric theory, matrix theory, philosophy, special lambda-ring, tensor product theory
• Geoff Cruttwell co- or authored: Geoff Cruttwell, enriched category
• Gerry? co- or authored: commutator, order profile
• Goncalo Marques? co- or authored: quantum anomaly
• Gonçalo Marques? co- or authored: crystal, field, pushout, symmetric function, vertical categorification
• Gordon Royle? co- or authored: Online Resources
• Greg Egan co- or authored: Euclidean geometry, Greg Egan, geometry, induced representation, pentagon decagon hexagon identity, pentagon decagon hexagon identity > Euclid, pentagon decagon hexagon identity > duads, pentagon decagon hexagon identity > golden ratio, pentagon decagon hexagon identity > golden ratio identity, pentagon decagon hexagon identity > golden ratio identity pythagorean, pentagon decagon hexagon identity > golden triangle, pentagon decagon hexagon identity > icosahedron, pentagon decagon hexagon identity > icosahedron pentagon, pentagon decagon hexagon identity > icosahedron triangles, pentagon decagon hexagon identity > irregular icosahedron, pentagon decagon hexagon identity > pentagon heights, pentagon decagon hexagon identity > pentagon width, pentagon decagon hexagon identity > pythagorean icosahedron, pentagon decagon hexagon identity > pythagorean identity, pentagon decagon hexagon identity > regular pentagon, pentagon decagon hexagon identity > skinny duads, pentagon decagon hexagon identity > square duads
• Hanno Becker co- or authored: Hanno Becker, dg-category
• Harry co- or authored: Čech methods, A-infinity-ring, Kan extension, Sandbox, anafunctor, basis, basis of a free module, category of presheaves, choice operator, constructive mathematics, cylinder on a presheaf, derivator, diagram, direct image, directed graph, functor, generalized continuity, geometric stack, homotopy category, join of simplicial sets, limit, orthogonal subcategory problem, over quasi-category, partially ordered dagger-category, presheaf, quadrability, quantum operation, quiver, red herring principle, scheme, semicategory, semifunctor, semipresheaf, transgression
• Herman Stel co- or authored: Čech cohomology, Herman Stel, Kähler differential, internal category, local model structure on simplicial presheaves, model structure on cosimplicial rings, module, smooth algebra, transfinite composition
• Home Page co- or authored: General Discussion
• Hugh Thomas co- or authored: quiver
• Ian Durham co- or authored: Andrew Gleason, Bell's theorem, Birkhoff-von Neumann theorem, Chris Isham, Dyson formula, Ernst Specker, Gelfand-Naimark-Segal construction, Gleason's theorem, Hamiltonian, Ian Durham, Jeremy Butterfield, John Bell, Kochen-Specker theorem, Lebesgue measure, Markov chain, Sandbox, Simon Kochen, Stokes phenomenon, Stone Spaces, Timeline of category theory and related mathematics, Wick rotation, Wightman axioms, books and reviews in mathematical physics, classical field theory, closed time-like curve, density matrix, electromagnetic field, entanglement, extremal quantum channel, graphical quantum channel, hermitian matrix, no-go theorem, open quantum system, operator algebra, partial trace, physicscontents, probability theory, quantum information, quantum mechanics, quantum operation, quantum state, quantum system, spacetime, trace, unitary operator
• Igor Bakovic co- or authored: Diaconescu's theorem, categorical Galois theory
• Interested Anonymous Coward co- or authored: simplicial set
• Ivo? co- or authored: free groupoid
• JCMc Keown co- or authored: JCMc Keown, evil, monad, transfor
• JM? co- or authored: Chern-Simons form, Hochschild cohomology, books and reviews in mathematical physics, cobordism ring, derived algebraic geometry, group object, nonabelian cohomology
• Jacques Carette co- or authored: mathematical physics
• Jacques Distler co- or authored: שנה טובה > history, 2-monad, 2-morphisms > history, 2009 June changes, About, Another page > history, Benoit Jubin, CW complex, Crans-Gray tensor product, FAQ, Froelicher space, General Discussion, Group theory > history, Home Page, How To, Jacques Distler, L-infinity algebra > history, Lie algebras > history, Lie infinity-algebra > history, Lie theory, Light mill > history, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, Oidification > history, SVG Editor How To, SVGsandbox, Sandbox, Sheaf and Topos Theory > history, Symbol Sandbox > history, Timeline of category theory and related mathematics, Trimble n-category, Trimble on ETCS I, Trimble on ETCS II, Trimble on ETCS III, Yoneda lemma, adjunction, algebraic theory, ambient category, anafunctor, complete Segal space, concordance, contents, cube category, cubical category, cubical set, epimorphisms > history, exercise in groupoidification - the path integral, fiber sequence, foundations, geometric function theory, groupoids > history, homset > history, infinity-stack homotopically, internal logic, internalization, mathematicscontents, monoidal category, n-globe > history, oriental, physicscontents, solid functor, spaceoids > history, strict omega-category
• Jamie Vicary co- or authored: dagger-category
• Jamie Vicary co- or authored: Schur functor, directed limit, image, semisimple category
• Jason Dusek co- or authored: Jason Dusek, exponential object
• Jeanine? co- or authored: Online Resources
• Jocelyn Paine co- or authored: 2009 June changes, Jocelyn Paine, Timeline of category theory and related mathematics, limits and colimits by example, product
• John Baez co- or authored: (-1)-category, (-2)-category, |cocomplete category > history, 0-category, 2-morphism, 2-morphisms > history, 2-rig, 2-vector space, 2009 August changes, 2009 July changes, 2009 June changes, 2009 September changes, 3-groupoid, Ab, About, Batanin omega-category, Bousfield localization, Bousfield localization of triangulated categories, Cartesian morphism, Cat, Cayley-Dickson construction, D'Auria-Fre formulation of supergravity, D-module, David Corfield, Day convolution, Di Graph, Dold-Kan correspondence, Fermat theory, Frobenius algebra, Gabriel-Rosenberg theorem, Gabriel-Ulmer duality, General Discussion, Grassmann algebra > history, Green-Schwarz mechanism, Grothendieck group, Grothendieck ring, Grp, Home Page, Hopf algebra, How to get started, How To, James Dolan, John Baez, Kähler differential, Kapranov-Voevodsky 2-vector space, L-infinity-algebra, Lambda-ring, Lawvere theory, Lectures on n-Categories and Cohomology, Lex, Lie algebra cohomology, Lie infinity-groupoid, Lie-Rinehart pair, Light Mills > history, Marcelo Aguiar, Mitchell-Benabou language, Moore complex, NQ-supermanifold, Omega-group, Online Resources, PROP, Peter May, Quillen equivalence, Quillen exact category, Ring, Sandbox, Schur functor, Serre fibration, Set, String Lie 2-algebra, Swapneel Mahajan, Tall-Wraith monoid, Timeline of category theory and related mathematics, Todd Trimble, Towards Higher Categories, Trimble n-category, Trimble on ETCS I, Urs Schreiber, Vect, Vietoris complex, Young diagram, abelian category, abelian group, action, action groupoid, action of a category on a set, adjunction, algebrad, algebraic stack, algebraic theory, associator, automorphism, bialgebra, bicategory, biproduct, biring, braided monoidal category, braiding, calculus of fractions, cartesian monoidal category, categorification via groupoid schemes, category, category algebra, category theory, category with duals, category with weak equivalences, centipede mathematics, characteristic class, classifying topos, closed category, coalgebra, cocomplete category, cocontinuous functor, coherent sheaf, colimit, combinatorial model category, comonoid, compact closed category, compact object, complement, complete category, composition, computer science, conical space, convex space, coproduct, cosmic cube, cospan, crossed complex, dagger-category, dagger-compact category, database of categories, derived affine scheme, dinatural transformation, directed graph, division algebra, division algebra and supersymmetry, double bicategory, double category, electromagnetic field, endofunctor, enriched category, equivalence, essentially algebraic theory, evil, exact functor, extended topological quantum field theory, exterior algebra, faithful > history, field, field extension, finite limit, foundations, free cocompletion, full > history, function, functor, functor category, fundamental groupoid, general linear group, generalized element, generalized smooth space, generalized tangle hypothesis, geometric morphism, graded vector space, group, group algebra, groupoid, higher category theory, higher category theory and physics, hom-functor, homomorphism, homotopy hypothesis, homotopy n-type, homset > history, hypermonoid, identity > history, infinity-stack, internalization, isomorphism, k-surjectivity > history, lax functor, lax natural transformation, limit, linear functor, linear operad, localization, locally finitely presentable category, locally small category, magma, measurable space, measure space, model category, model structure on topological spaces, module, monad, monadic adjunction, monoid, monoidal category, monoidal functor, morphism, n-fold category, n-fold complete Segal space, n-symplectic manifold, n Cob, natural isomorphism, natural transformation, normal subgroup, object, omega-category, operad, opetope, oplax monoidal functor, opposite category, optics, pentagon decagon hexagon identity, perfect field, permutation groupoid, plethory, plethysm, polynomial, poset > history, pre-Lie algebra, pre-abelian category, preorder, presheaf, product, projective module, proset > history, pseudonatural transformation, pullback, pushout, quandle, quantum mechanics in terms of dagger-compact categories, quasigroup, quiver, rack, rational function, rational homotopy theory, rational number, rational topological space, reconstruction theorem, redirect, regular monomorphism, renormalization, representable functor, representation, representation ring, rig category, rigid monoidal category, ring, semicartesian monoidal category, semigroup, semigroups > history, semisimple abelian category, semisimple algebra, semisimple category, separable algebra, separable field extension, set, sheaf and topos theory, simple algebra, simple object, simplicial complex, site, skeletal > history, small category, source, span, special lambda-ring, special linear group, special unitary group, species, split exact sequence, star-autonomous category, strict 2-category, strict monoidal category, structure type, stuff > history, stuff type, subcategory, super vector space, symmetric algebra, symmetric function, symmetric monoidal category, symmetric monoidal dagger-category, symmetric monoidal functor, target, tensor power, tensorial strength, topos, torsor, toset > history, totally ordered set > history, true, unitary group, unitary morphism, unitor, vector space, vertex operator algebra, vertical categorification, zero
• John Cook? co- or authored: Online Resources
• John Huerta co- or authored: D'Auria-Fre formulation of supergravity, John Huerta, supergravity Lie 3-algebra
• Jon Awbrey co- or authored: 2009 August changes, 2009 September changes, Charles Sanders Peirce, Discrete Causal Spaces, FAQ, Home Page, Jon Awbrey, Kan fibration, Online Resources, Peirce's law, Peirce's logic of information, SDiff, Sandbox, Symbol Sandbox > history, Trimble on ETCS II, Trimble on ETCS III, action functional, adjunction, affine scheme, algebraic approaches to differential calculus, boolean domain, boolean function, boolean-valued function, bordism categories following Stolz-Teichner, cactus language, cartesian closed category, category theory, characteristic function, choice operator, continuous predicate, cube, differential, differential form, differential geometry, differential logic, differential propositional calculus, equivalence relation, evil, exterior differential system, factorization algebra, fiber, generalized element, global element, graph, graph theory > history, higher-order logic, hyperstructure, hypostatic abstraction, infinitesimal neighbour > history, infinitesimal object, information geometry, inquiry, inquiry driven system > history, logic, logical graph, microlinear space, minimal negation operator, modular form, multigrade operator, multispan, negative thinking, parametric operator, partition function, praeclarum theorema, precursors, precursors > history, propositional equation reasoning system, propositional logic, propositions as types, propositions as types in combinatory algebra, quantum field theory, relation theory > history, riff, semiotic equivalence relation, semiotic information, set theory, sign relation, simplicial localization, smooth algebra, smooth topos, syntax, semantics, pragmatics > history, synthetic differential geometry, ternary relation, tmf, triangulated category, type, type theory, universal construction, vertex operator algebra
• Jon Phillips? co- or authored: Trimble on ETCS II
• Jon Smedley? co- or authored: Sandbox
• Jonas Frey? co- or authored: 2009 June changes, compactly generated space
• Jonas Meyer? co- or authored: Banach space, C-star-algebra, Gelfand spectrum, maximal spectrum, operator algebra
• Josep Elgueta? co- or authored: 2-vector space
• Kareem? co- or authored: Online Resources
• Kevin Lin co- or authored: A Survey of Elliptic Cohomology - E-infinity rings and derived schemes, A-model, B-model, Calabi-Yau category, Calabi-Yau variety, D-branes, Dmitry Kaledin, Dolbeault cohomology, Ehresmann's theorem, FQFT, Frobenius algebra, Fukaya category, Fukaya-Seidel category, GAGA, Gromov-Witten invariants, Hochschild cohomology, Hochschild-Kostant-Rosenberg theorem, Hodge theory, Kevin Lin, Kontsevich formality, Poisson manifold, Riemann-Hilbert correspondence, basic ideas of moduli stacks of curves and Gromov-Witten theory, complex geometry, curvature, de Rham complex, deformation quantization, deformation theory, formal dg-algebra, harmonic form, higher direct image, hypercohomology, local ring, matrix factorization, mirror symmetry, noncommutative Hodge structure, operad, proper map, separated morphism, submersion
• Kevin Walker co- or authored: blob homology
• Konrad Waldorf co- or authored: Exterior covariant derivative, Konrad Waldorf, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, The Dirac Electron, orientifold
• Kurt Te Kolste co- or authored: Kurt Te Kolste, Sandbox, Yoneda lemma, inclusion functor
• Lab Elf co- or authored: 2009 July changes, Tall-Wraith monoid, canonical morphism, lab elf, real number, reality check
• Lars Kindler? co- or authored: D-module, regular differential operator, renormalization
• Levi Steins? co- or authored: mathematics
• MPichler? co- or authored: monomorphism
• Maarten Bergvelt co- or authored: (infinity,1)-category, Courant algebroid, Kähler differential, Lie infinity-algebroid, Monster group, Moonshine, Poisson Lie algebroid, String Lie 2-algebra, Weil algebra, dg-algebra > history, multisymplectic geometry, n-symplectic manifold, standard Courant algebroid, superdifferential form
• Maarten Bergvelt co- or authored: Lie algebroid, Poisson Lie algebroid, n-symplectic manifold, symplectic manifold
• Marc Olschok co- or authored: Categories and Sheaves, Marc Olschok, category of presheaves, double category, globular set, injective hull, locally finitely presentable category, model category, triangulated category
• Martin Olbermann? co- or authored: A Survey of Elliptic Cohomology - descent ss and coefficients, complex supermanifold, supermanifold
• Martin_Lo? co- or authored: differential form
• Mathieu Dupont co- or authored: 2009 June changes, General Discussion, anafunctor, axiom of choice, balanced category, category of fractions, epimorphism, full functor, preorder, semi-abelian category, subcategory, van Kampen theorem
• Matthew Kahle? co- or authored: Online Resources
• Melan? co- or authored: How To
• Michael Bachtold co- or authored: crystalline cohomology, diffiety
• Michael Bächtold co- or authored: Michael Bachtold, crystal, diffiety
• Michael Hardy co- or authored: Is probability theory a branch of mathematics?, Michael Hardy, Sandbox, trigonometric identities and the irrationality of pi, trigonometric identity
• Mickey Mouse? co- or authored: category theory
• Mikael Vejdemo Johansson? co- or authored: algebra for an endofunctor
• Mike Shulman co- or authored: (-1)-groupoid, (infinity,1)-category, (infinity,1)-category of (infinity,1)-functors, (infinity,1)-operad, (infinity,1)Cat, (infinity,2)-category, (infinity,n)-category, (n,1)-topos, (n,r)-category, (sub)object classifier in an (infinity,1)-topos, Čech methods, Čech model structure on simplicial presheaves, 1-category equipped with relations, 1-topos, 2-categorical limit > history, 2-category, 2-category equipped with proarrows, 2-category theory, 2-category theory - contents, 2-functor, 2-group, 2-limit, 2-monad, 2-pullback, 2-topos, 2009 August changes, 2009 July changes, 2009 June changes, 2009 September changes, A-infinity operad, A-infinity-category, A1-homotopy theory, Ab, Ab-enriched category, Adjointness for 2-Categories, Batanin omega-category, Beck-Chevalley condition, Benabou-Roubaud theorem, Boolean category, Boolean topos, CAT, COSHEP, CRing, CW complex, Cantor's theorem, Cartesian morphism, Cat, Categories Work, Cauchy complete category, Cauchy space, Conduche functor, Crans-Gray tensor product, Day tensor product, Dold fibration, ETCS, Elephant, Euler characteristic, FAQ, FOLDS, Froelicher space, Galois connection, Gray category > history, Gray tensor product, Gray-category, Grothendieck construction, Grothendieck fibration, Grothendieck pretopology, Grothendieck topology, Grothendieck topos, Grothendieck universe, Grpd, Hausdorff space, Heyting category, Higher Topos Theory, Ho(Cat), Home Page, Hopf algebra, Horn theory, How to get started, How To, Hurewicz fibration, Isbell envelope, Kan extension, Kan fibration, Karoubi envelope, Kleene equality, Lawvere-Tierney topology, Mal'cev variety, Mike Shulman, Mitchell-Benabou language, Mostowski's collapsing lemma, Online Resources, Prof, Quillen adjunction, Quillen equivalence, Reedy category, Reedy model structure, Richard Garner, SEAR, SEAR plus epsilon, Sandbox, Sandbox > SVG, Serre fibration, Set, Strøm model structure, Timeline of category theory and related mathematics, Top, Trimble n-category, Vladimir Voevodsky, Vopěnka's principle, W-type, WISC, Waldhausen category, Yoneda lemma, Yoneda lemma for bicategories, ZFC, abelian category, absolute coequalizer, absolute colimit, accessible category, action, action groupoid, additive and abelian categories, additive category, additive envelope, additive functor, additive monad, adjoint equivalence, adjoint functor, adjoint functor theorem, adjunct, adjunction, affine space, algebra, algebra for a profunctor, algebra for an endofunctor, algebrad, algebraic definition of higher categories, algebraic theory, allegory, anabicategory, anafunctor, apartness relation, arrow category, associahedron, axiom of choice, axiom of foundation, axiom of infinity, axiom of multiple choice, balanced category, bar > history, basic localizer, bialgebra, bicartesian category, bicartesian closed category, bicategory, bicategory of relations, big site, bijection, bimonoid, bimorphism, biproduct, bo functor, bo-ff factorization system, boolean domain, braid category, braided monoidal category, calculus of constructions, calculus of fractions, canonical model structure, canonical model structure on Cat, canonical morphism, canonical topology, cardinal number, cartesian bicategory, cartesian closed category, cartesian monad, cartesian monoidal category, cartesian object, cat-n-group, category, category algebra, category of chain complexes, category of elements, category of fibrant objects, category of fractions, category of open subsets, category of operators, category of presheaves, category of sheaves, category over a category, category theory, category with translation, category with weak equivalences, center, centralizer, chain complex, choice object, choice operator, classical mathematics, classifying space, classifying topos, cleavage, clique, closed category, closed functor, closed monoidal category, closed monoidal category module, closed monoidal homotopical category, closed natural transformation, club, co-Yoneda lemma, coalgebra, cocartesian closed category, cocomplete well-pointed topos, codiscrete cofibration, codomain fibration, coequaliser > history, coequalizer, cofibrantly generated model category, cogenerator, cograph of a functor, cograph of a profunctor, cogroup, coherence theorem, coherent category, coherent formula > history, coherent logic, coherent topological space, cohomology, collection, combinatorial model category, combinatorial spectrum, comma category, comma object, commutative algebraic theory, compact closed category, compact double category, compact object, compact operator, compact operators > history, compact-open topology, compactly generated space, companion pair, complete Segal space, complete lattice, completion, composition, compositions in cubical sets, computad, cone morphism, congruence, conjunction, connected category, connected limit, connected object, connected topos, conservative functor, conservative morphism, constant functor, constant morphism, constructive mathematics, constructivism > history, context, continuous functor, convenient category of topological spaces, convergence space, convex space, copower, coproduct, core, coslice category > history, cosmic cube, cosmos, cospan, countable choice, coverage, covering space, created limit, cubical category, cubical set, cycle category, cyclic order, cyclic set, dagger-category, dagger-compact category, database of categories, decidable object, deformation retract, deformation retract of a homotopical category, delooping, delooping hypothesis, dense functor, dense subcategory, dependent choice, dependent product, dependent type, derivator, derived functor, derived functor on a derived category, dg-category, diagonal morphism, diagonal subset, diagram, diagrammatic order > history, dinatural transformation, direct category, direct image, direct sum, directed graph, directed n-graph, directed object, directed set > history, discrete category, discrete fibration, discrete morphism, discussion on terminology -- omega-category, disjoint coproduct, display map, distributive category, doctrinal adjunction, doctrine, domain opfibration, double category, double comma object, double functor, double profunctor, dualizable object, effective epimorphism, element, elementary embedding, empty set, empty space, end, enriched Quillen adjunction, enriched category, enriched derivator, enriched factorization system, enriched homotopical category, enriched homotopy theory, entire relation, epic sink, epimorphism, equivalence, equivalence in a quasi-category, equivalence of categories, equivalence relation, equivariant cohomology, equivariant sheaf, eso morphism, essential geometric morphism, essential image, essentially surjective functor, etale space, evil, exact category, exact functor, exact square, excluded middle, exponential ideal, exponential law for spaces, exponential object, extensional relation, extensive category, extranatural transformation, extremal epimorphism, factorization system, factorization system in a 2-category, faithful functor, faithful morphism, familial regularity and exactness, fibered n category > history, fibration, fibration in a 2-category, fibration of quasi-categories, field, filter, filtered category, filtrant category > history, final (infinity,1)-functor, final functor, finitary monad, finite category, finite set, finitely complete category, finitely presentable object > history, foo > history, foobar > history, forcing, forgetful functor, foundations, frame, framed bicategory, free cocompletion, free completion, free functor, free monad, free object, full and faithful functor, full functor, full image, full subcategory, fully faithful morphism, functor category, fundamental group of a topos, fundamental groupoid, fundamental infinity-groupoid, fusion category, gauge space, generalized Gray tensor product, generalized Reedy category, generalized element, generalized kernel, generalized multicategory, generalized object > history, generalized the, generator, generic proof, geometric morphism, geometric shape for higher structures, geometric theory, globular category, globular operad, graph, graph of a function, graph of a functor, graph theory > history, group, group object, group presentation, groupoid, groupoid object in an (infinity,1)-category, heap, hereditarily finite set, homotopical category, homotopical enrichment, homotopically injective object, homotopy, homotopy > history, homotopy 1-type, homotopy 2-type, homotopy 3-type, homotopy 3-types > history, homotopy Kan extension, homotopy category, homotopy category of an (infinity,1)-category, homotopy coherent nerve, homotopy equivalence, homotopy exact square, homotopy group, homotopy hypothesis, homotopy limit, homotopy n-type, homotopy pullback, homotopy theory, homotopy theory of Grothendieck, homotopy type, horizontal categorification, horn, hyperconnected geometric morphism, hypercover, hyperstructure, icon, idempotent, idempotent adjunction, idempotent complete (infinity,1)-category, idempotent monad, identity element, identity type, identity-assigning morphism, image, inaccessible cardinal, ind-object, indiscrete category, induced topology, infinitesimal number, infinitesimal object, infinity-category, infinity-groupoid, infinity-limits - contents, infinity-stack homotopically, infinity-topos, inhabited object, inhabited set, initial object, injective object, internal category, internal hom, internal infinity-groupoid, internal logic, internal logic of an (infinity,1)-topos, internal profunctor, internal set, internalization, internally projective object, intersection, interval category, intuitionistic logic, inverse image, inverse semigroup, involution, ionad, isocofibration, isofibration, join of quasi-categories, k-simply connected n-category, k-tuply groupal n-groupoid, k-tuply monoidal n-category, kernel, kernel pair, large cardinal, large category, large sheaf > history, lattice, lax 2-adjunction, lax algebra for a 2-monad, lax functor, lax natural transformation, lax-idempotent 2-monad, left adjoint, lex category > history, limit, limit in a quasi-category, linear logic, linear relation > history, little site, locale, localic geometric morphism, localic group, localic topos, localization, locally cartesian category, locally cartesian closed category, locally connected geometric morphism, locally finitely presentable category, locally n-connected (n,1)-topos, locally posetal 2-category, locally presentable (infinity,1)-category, locally presentable category, locally small category, logic, logical functor, loop space, m-cofibrant space, mapping cocone, mate, material-structural adjunction, maximal ideal theorem, measurable cardinal, metacategory, metric space, minimal logic, model, model 2-category, model category, model category theory - contents, model structure on algebraic fibrant objects, model structure on functors, model structure on simplicial presheaves, model structure on topological spaces, modification, modular tensor category, module over a monad, monad, monadic adjunction, monadic descent, monadic functor, monadicity theorem, monoid, monoid object, monoidal Dold-Kan correspondence, monoidal bicategory, monoidal categories - contents, monoidal category, monoidal functor, monoidal model category, monomorphism, monomorphism in a derivator, monomorphism in an (infinity,1)-category, monotone function, multicategory, multilimit, multiplicative system, multiset, n-category, n-connected object of an (infinity,1)-topos, n-fibration, n-fold category, n POV, natural isomorphism, natural number, natural numbers in SEAR, natural numbers object, natural transformation, natural weak factorization system, nice category of spaces, nice topological space, nilpotent element, nincompoops > history, nitwit > history, nitwits > history, nonstandard analysis, normalizer, omega-category, operad, opetope, opposite 2-category, orbit category, order, ordinal > history, ordinal number, orthogonal factorization system, orthogonality, overcategory, paracategory, parallel morphism > history, parametric right adjoint, partial order, partially ordered dagger-category, path space object, pivotal category, point of a topos, pointed category, pointed derivator, pointed object, polynomial functor, poset of subobjects, power, power set, pre-abelian category, predicate logic, predicativism > history, preframe, preorder, preserved limit, presheaf, pretopological space, pretopos, prime ideal theorem, pro-object, product, profinite completion of a group, profinite group, profunctor, projective limit, projective object, prometric space, proper subset, propositions as types, proset > history, pseudoalgebra for a 2-monad, pseudofunctor, pseudomonic functor, pseudomonic morphism, pseudomonoid, pseudotopological space, pullback in a derivator, pure set, pushout-product axiom, quantale, quasi-category, quasi-isomorphism, quasicompact, quasitopos, quotient object, quotient set, real number, red herring principle, reflected limit, reflective subcategory, reflexive coequalizer, regular and exact completions, regular cardinal, regular category, regular epimorphism, regular monomorphism, relation, replete subcategory, representable functor, request for help, retract, ribbon category, rig, rigid monoidal category, ring, ringoids > history, section, semi-abelian category, semi-strict infinity-category, semicartesian monoidal category, semigroup, semilattice, semisimple category, sequence, sequential convergence space > history, sequential limit, sequential space, set theory, sheaf and topos theory, sheafification, sheafification in a Lawvere-Tierney topos > history, sheaves on large sites > history, short map, simplex, simplex category, simplicial category, simplicial model for weak omega-categories, simplicial nerve > history, simplicial object, simplicial sheaf, simplicial weak omega-category, single-sorted definition of a category, sink, site, skeleton, slice category > history, small category, small object, small object argument, small presheaf, small set, small violations of choice, smash product, smooth natural numbers, sober space, solid functor, space, span, specialization order, specialization topology, spectrum, spine, split coequalizer, split epimorphism, split idempotent, stable (infinity,1)-category, stable (infinity,1)-topos, stable derivator, stable infinity-category, stable model category, star-autonomous category, star-category, stratified simplicial set, strict 2-category, strict 2-functor, strict 2-limit, strict epimorphism, strict monoidal category, strict n-category, strict omega-category, strict omega-groupoid, string diagram, strong epimorphism, strong monomorphism, structural set theory, structure type, structured (infinity,1)-topos, structured set, stuff, structure, property, sub-(infinity,1)-category, subcanonical coverage, subcanonical pretopology > history, subcategory, subobject, subobject classifier, subquotient, subsequential space, subsingleton, subterminal object, successor, superextensive site, suplattice, surjection, symmetric function, symmetric monoidal category, symmetric monoidal smash product of spectra, symmetric set, synthetic differential geometry, template page, tensor product, terminal category, terminal coalgebra, terminal object, tetracategory, thin > history, thin element, tileorder, tiny object, too simple to be simple, topological concrete category, topological group, topological space, topologizing subcategory, topology, topos, topos theory - contents, total category, trace, tractable model category, transferred model structure, transfinite composition, transfor, transitive set, triangulated category, triangulation, tricategory, truth value, two-valued logic, two-variable adjunction, type theory, type theory - contents, ultrafilter, ultrafilter theorem, under category, undirected object, uniform space, union, unit enriched category, universal algebra, universal construction, universe in a topos, universes in SEAR, urelement, vertical categorification, vertical transformation, virtual double category, virtual equipment, von Neumann hierarchy, walking structure, weak complicial set, weak equivalence, weak factorization system, weak factorization system on Set, weak homotopy equivalence, weak limit, weak multilimit, weak omega-category, wedge sum, weighted colimit, weighted limit, well-founded relation, well-order, well-ordering theorem, well-pointed topos, well-powered category, wide subcategory, zero morphism, zero object
• Mike Stay co- or authored: Hamiltonian, Laurent series, Mike Stay, bimodule, canonical commutation relation, free cocompletion, generating function, momentum, natural transformation, path integral, perturbation theory, position, presheaf, quantum harmonic oscillator, renormalization, sharing graphs > history, structure type
• Mike Shulman co- or authored: Timeline of category theory and related mathematics
• Mike Stay co- or authored: free cocompletion
• Mildred Spouse? co- or authored: spam: employee
• Need Not Be Concrete co- or authored: internal hom
• Newbie? co- or authored: foundations
• Noah Snyder co- or authored: fusion category
• Noam Zeilberger? co- or authored: 2-category equipped with proarrows, Day convolution, co-Yoneda lemma, comma category, decategorification, finitely complete category
• Noam Zeilberger? co- or authored: operad
• Omar Antolín-Camarena? co- or authored: 2009 August changes, Cartesian fibration, Segal category, accessible (infinity,1)-category, accessible category, adjoint functor theorem, multicategory, simplicial group, small object, solution set condition
• Owen Biesel co- or authored: Timeline of category theory and related mathematics, diagram, finitely presentable object > history, global element, limit, representable functor, strict morphism, terminal object, tiny object, well-pointed topos
• Patrick Schultz co- or authored: Patrick Schultz, Yoneda reduction, cartesian monad, dualizing object, motivation for sheaves, cohomology and higher stacks, synthetic differential geometry
• Peter Arndt co- or authored: homotopy hypothesis, motivic cohomology
• Peter C Marks co- or authored: Peter C Marks, diagram
• Peter Le Fanu Lumsdaine? co- or authored: Sandbox, adjunction, enriched derivator, flat functor, flat module, monad, monoid, monoid object, monoidal category, string diagram, triangle identities
• Peter Selinger co- or authored: Peter Selinger, category with duals, evil
• Prime De Gold co- or authored: Prime De Gold, theory of primes > history
• Ra co- or authored: Sandbox
• Rafael Borowiecki co- or authored: (n,r)-category, 2009 August changes, 2009 September changes, A-infinity-category, Bousfield localization, Mitchell-Benabou language, Rafael Borowiecki, Sandbox, Segal category, Timeline of category theory and related mathematics, category, category theory, cosmos, database of categories, extended topological quantum field theory, generalized element, latest changes, manifold
• Rasmus Bentmann? co- or authored: AQFT, topological K-theory, topological quantum field theory
• Reid Barton? co- or authored: closed monoidal structure on presheaves, locally presentable category, regular monomorphism
• Riccardo Nicoletti co- or authored: D'Auria-Fre formulation of supergravity, Pietro Antonio Grassi, Riccardo Nicoletti
• Richard Body co- or authored: Richard Body, induced representation
• Rod Mc Guire co- or authored: Rod Mc Guire, Schur functor, ordered pair
• Roger Witte? co- or authored: Understanding Constructions in Set, cardinal number, category theory, foundations, graph
• Romie Banerjee co- or authored: Deligne-Mumford stack, Romie Banerjee
• Ronnie Brown co- or authored: 2-type > history, 2009 July changes, 2009 June changes, Alexander Grothendieck, Charles Ehresmann, Crans-Gray tensor product, Dold-Kan correspondence, Eilenberg-Mac Lane space > history, Gray tensor product, Gray-category, Grothendieck > history, Grothendieck fibration, Higher Homotopy van Kampen Theorem > history, Moore complex, Nonabelian Algebraic Topology, Postnikov system, Postnikov tower > history, Ronnie Brown, Sierpinski space, T-complex, Timeline of category theory and related mathematics, action groupoid, cat 2-group > history, cat-2-group, cat-n-group, classifying space, coequaliser > history, commutative square, compactly generated space, compositions in cubical sets, connected filtered space, connection, connection on a cubical set, convenient category of topological spaces, crossed complex, crossed module, crossed n-cube, crossed square, crossed squares > history, cubical T-complex, cubical set, double category, fibration, filtered space, fundamental groupoid, fundamental infinity-groupoid, geometric shape for higher structures, globe, groupoid, higher dimensional algebra, higher homotopy van Kampen theorem, homological perturbation theory, homotopy 1-type, homotopy 2-type, homotopy 3-type, homotopy group, homotopy hypothesis, homotopy n-type, hyperstructure, internal hom, inverse, local system, locally cartesian closed category, natural transformation, orbit category, orbit groupoid, partial function, pushout, semidirect product, simplicial T-complex, strict 2-category, thin > history, thin element, twisting cochain, van Kampen theorem
• Ronnie Brown co- or authored: 2009 August changes, Moore path category, Nonabelian Algebraic Topology, cubical group, cubical set, free loop space object, graph, monoidal category, singular cohomology
• Ryan Grady co- or authored: A Survey of Elliptic Cohomology, A Survey of Elliptic Cohomology - A-equivariant cohomology, A Survey of Elliptic Cohomology - E-infinity rings and derived schemes, A Survey of Elliptic Cohomology - compactifying the derived moduli stack, A Survey of Elliptic Cohomology - derived group schemes and (pre-)orientations, A Survey of Elliptic Cohomology - descent ss and coefficients, A Survey of Elliptic Cohomology - equivariant cohomology, A Survey of Elliptic Cohomology - formal groups and cohomology, A Survey of Elliptic Cohomology - towards a proof, Ryan Grady, Tilman Bauer, flat morphism in derived geometry, group scheme
• Samuel? co- or authored: physics
• Scott Morrison co- or authored: Online Resources
• Sebastian Thomas? co- or authored: bicategory, lax functor, transfor
• Simon Willerton co- or authored: General Discussion, Home Page, Simpson's conjecture, contents
• Soeren? co- or authored: Mikio Sato, hyperfunction
• Spelling freak? co- or authored: functor category
• Sridhar Ramesh co- or authored: (n,r)-category, 2009 August changes, Grothendieck fibration, Heyting algebra, Heyting prealgebra, How To, Kleisli category, Lawvere-Tierney topology, Mitchell-Benabou language, Scott topology, Sridhar Ramesh, algebra for a profunctor, algebra for an endofunctor, algebraic lattice, anafunctor, bicartesian closed category, cartesian closed category, category of partial equivalence relations, category theory vs order theory, clique, coalgebra for an endofunctor, complete Heyting algebra, effective topos, equilogical space, first-order hyperdoctrine, locale of real numbers, localic topos, module, natural numbers object, natural transformation, partial combinatory algebra, partial equivalence relation, partially ordered dagger-category, presheaf, profunctor, reconstruction theorem, subquotient, topos, tripos
• Stefan Forcey co- or authored: Stefan Forcey, enriched category, geometric infinity-function theory
• Stephen Britton co- or authored: A Survey of Elliptic Cohomology - A-equivariant cohomology, Alg(T) > history, Ban > history, Banach space, Bij > history, Boo Rng > history, CAT, CAT(X) > history, Cat, Contributors, Sandbox, Stephen Britton, automaton, behavior, bicompact space, bitopological space, boolean space, bornological space, bornological topological vector space, cpo, natural number, paracategory, partial order, proper class, quasi-category, topological abelian group, torsion group
• Stephen Gaito co- or authored: How To, Stephen Gaito, cardinal number, quasi-category
• Stephen with OK? co- or authored: Online Resources
• Sun Dawn? co- or authored: physics
• Tess Wither? co- or authored: Eric Forgy, bicategory of relations, pentagon decagon hexagon identity, saturated class of maps, spam: Tess Wither
• Thomas? co- or authored: Alexander Grothendieck, Pursuing Stacks
• Thomas Fiore co- or authored: Thomas Fiore
• Thomas Nikolaus co- or authored: Thomas Nikolaus, dendroidal set, model structure on algebraic fibrant objects, model structure on dendroidal sets, monoidal model category, subobject
• Tim co- or authored: 2009 June changes, Timothy Porter > history, category theory
• Tim Porter co- or authored: Eilenberg-Mac Lane space > history
• Tim Porrter co- or authored: pospace
• Tim Porter co- or authored: (infinity,1)-category of (infinity,1)-sheaves, Čech cohomology, Čech cohomology > history, Čech cover, Čech homotopy, Čech methods, Čech model structure on simplicial presheaves, Čech nerve, 2-crossed complex, 2-crossed module, 2-group, 2-vector space, 2009 August changes, 2009 July changes, 2009 June changes, 2009 September changes, A-infinity-algebra, A-infinity-category, Baez-Crans 2-vector space, Bertrand Toën, Birkhoff-von Neumann theorem, Bob Coecke, Borsuk's shape theory, CW complex, Charles Ehresmann, Como, Dijkgraaf-Witten theory, Directed Algebraic Topology, Discrete Causal Spaces, Dold-Kan correspondence, Dominique Bourn, Dowker's theorem, Dwyer-Kan loop groupoid, Eduard Čech, Edwin Spanier, Ehresmann > history, FQFT, Fox derivative, Galois Theories, Georges Maltsiniotis, Grothendieck's Galois theory, Grothendieck construction, Grothendieck fibration, HQFT, Hans-Joachim Baues, Henry Whitehead, Hilbert cube, I-category, Jacob Lurie, Jean-Luc Brylinski, Jean-Marc Cordier, Kähler differential, K. Borsuk, Kan complex, Kan extension, Kan fibration, Les Dérivateurs, Loday-Pirashvili category, Max Karoubi, Menagerie, Mittag-Leffler condition, Moore complex, Nonabelian Algebraic Topology, Philip Higgins, Prakash Panangaden, Pursuing Stacks, Rainer Vogt, SGA1, Samson Abramsky, Saunders Mac Lane > history, Sibe Mardesic, Stone space, Tim Porter, Timeline of category theory and related mathematics, Timothy Porter > history, Vietoris complex, Warsaw circle, abelian category, abelian sheaf cohomology, action, adjunction, algebraic homotopy, anafunctor, bar and cobar construction, bar construction, bisimplicial object, braid group, butterfly, canonical hypergroup, cat 2-group > history, cat-1-group, cat-2-group, cat-n-group, categorical shape theory, category of fractions, category over a category, chain complex, classifying space, coalgebra, cofibration category, combinatorial spectrum, computad, coring, crossed complex, crossed module, crossed n-cube, crossed square, crossed squares > history, cubical T-complex, cylinder functor, d-space > history, dagger-category, decalage, decomposition theorem for simplicial groups, dense subcategory, derivation on a group, derived functor, descent and codescent > history, dg-algebra > history, dg-category, dg-quiver, differential forms on simplices, differential graded Hopf algebra, differential graded Lie algebra, differential graded algebra, differential graded algebras and differential graded Lie algebras-relationships, differential graded coalgebra, differential graded objects - contents, differential graded vector space, directed homotopy theory, directed object, directed space, discrete space, domain, domain theory, enriched category theory, etale space, extended topological quantum field theory, factorization algebra, fibration, foundations, free groupoid, functor category, fundamental group, fundamental group of a topos, fundamental infinity-groupoid, generalized (Eilenberg-Steenrod) homotopy, gerbe, gerbe (as a stack), gerbe (general idea), graded vector space, group T - complex > history, group T-complex, group presentation, groupoid cardinality, holomorph, homological algebra, homological perturbation theory, homotopical algebra, homotopical category, homotopy, homotopy (as an operation), homotopy > history, homotopy 1-type, homotopy 2-type, homotopy 3-type, homotopy 3-types > history, homotopy category, homotopy coherent category theory, homotopy coherent diagram, homotopy coherent nerve, homotopy equivalence, homotopy group, homotopy hypothesis, homotopy limit, homotopy n-type, homotopy theory, homotopy theory of Grothendieck, homotopy type, horn, hypercrossed complex, ind-object, ind-object in an (infinity,1)-category, infinity-groupoid, infinity-stackification, information geometry, internal category, inverse, jet space, join of simplicial sets, local system, localization, microbundle, model, model 2-category, model structure on dg-algebras, module, music, n-fold category, nerve, nonabelian Lie algebra cohomology, normal closure, normal complex of groups, opposite relation, paracompact space, partial order, partially ordered dagger-category, polygraph, pospace, pro-object, profinite completion of a group, profinite group, profinite space, profunctor, proper homotopy theory, proset > history, pseudofunctor, quasi-category, rational homotopy theory, reduced suspension, representation, rewriting, secondary characteristic class, semi-abelian category, semigroup, shape of an (infinity,1)-topos, shape theory, sheaf, sieve, sigma-model, simplex, simplex category, simplical commutative differential graded algebra, simplicial T-complex, simplicial T-complexes > history, simplicial complex, simplicial group, simplicial groupoid, simplicial homotopy, simplicial homotopy group, simplicial identities, simplicial local system, simplicial object, simplicial object in Cat, simplicial set, simplicial vector space, simplicially enriched category, smooth Lorentzian space, stable pro-object, stable space, stack, star-autonomous category, strict omega-category, thin element, topological concrete category, topological quantum field theory, torsor, triangulated category, trivial torsor, twisted module of homomorphisms, twisted tensor product, twisting cochain, twisting function, van Kampen theorem, vertical categorification, weak homotopy equivalence
• Tim Portr co- or authored: crossed module
• Tim Silverman? co- or authored: How to get started, How To
• Tim van Beek co- or authored: AQFT, AQFT and operator algebra contents, AQFT on curved spacetimes, Banach space, Bisognano-Wichmann theorem, Borchers property, Borel set, C-star-algebra, C-star-category, C-star-system, Cauchy principal value, DHR category, DHR superselection theory, Ehresmann connection, Fell's theorem, Gleason's theorem, Haag-Kastler axioms, Haag-Kastler vacuum representation, Haar measure, Hahn-Banach theorem, Jordan algebra, Kerr spacetime, Montel topological vector space, Osterwalder-Schrader theorem, PCT theorem, Polish space, Quantum physics: a functional integral point of view, Reeh-Schlieder theorem, Sandbox, Schrödinger equation, Tim van Beek, Wightman axioms, algebraic microlocalization, analytic geometry, barreled topological vector space, books and reviews in mathematical physics, bornological topological vector space, bounded operator, building, causal complement, causal index set, causal net of algebras, classical field theory, closed graph theorem, compact operators > history, complete topological vector space, conformal field theory, convenient vector space, differential equation, distribution, dual net of von Neumann algebras, electric charge, electromagnetic field, evolution equation, flabby sheaf, functional analysis, functional analysis bibliography, gauge group, gauge theory, higher category theory, hyperfunction, linear mapping spaces, local net, locally convex space, magnetic charge, microlocal analysis, modular theory, net, net of C-star-systems, observable, operator algebra, partial order, polar decomposition, probability theory, pseudodifferential operator, quantum field theory, quantum state, relative commutant, representation of a C-star-algebra, rigged Hilbert space, sequentially compact space, smooth Lorentzian space, spacetime, spatial tensor product, spectral measure, spectral theorem, spin-statistics theorem, split inclusion of von Neumann algebras, standard model of particle physics, star-category, state, superselection theory, template page, topological group, topological vector space, unbounded operator, vertex operator algebra, von Neumann algebra, wavefront set
• Tim Smith? co- or authored: localization
• Tobias Fritz? co- or authored: convex space
• Toby Bartels co- or authored: $\infty$-category > history, $n$-category > history, (∞%2C1)-category > history, (∞,0)-category > history, (∞,1)-category of (∞,1)-categories > history, (-1)-category, (-1)-groupoid, (-1)-poset, (-2)-category, (-2)-groupoid, (0,1)-category, (0,1)-site, (0,1)-topos, (1,0)-category, (2,1)-category, (2,1)-dimensional Euclidean field theory, (infinity,0)-category, (infinity,1)-categorical hom-space, (infinity,1)-category, (infinity,1)-category > history, (infinity,1)-category of (infinity,1)-categories, (infinity,1)-category of (infinity,1)-functors, (infinity,1)-category of (infinity,1)-sheaves, (infinity,1)-category theory, (infinity,1)-monad, (infinity,1)-operad, (infinity,1)-presheaf, (infinity,1)-quantity, (infinity,1)-sheaf, (infinity,1)-topos, (infinity,2)-category, (infinity,n)-category, (infinity,n)-category of cobordisms, (infinity,r)-category > history, (n,0)-category, (n,1)-category, (n,n)-category, (n,r)-category, (sub)object classifier in an (infinity,1)-topos, [[!redirects Alg(T)]], |cocomplete category > history, |identity assigning morphism > history, Élie Cartan, Čech cohomology, Čech cohomology > history, Čech cover, Čech homotopy, Čech methods, Čech model structure on simplicial presheaves, Čech nerve, ω-category > history, שנה טובה > history, ∞-category > history, ∞-groupoid > history, ∞-stack > history, ∞Grpd > history, 0-category, 0-dimensional TQFT, 0-groupoid, 0-object > history, 0-poset, 1-category, 1-category equipped with relations, 1-groupoid, 1-poset, 1-topos, 2-Hilbert space, 2-categorical limit > history, 2-category, 2-category equipped with proarrows, 2-category of 2-dimensional cobordisms, 2-crossed complex, 2-crossed module, 2-functor, 2-group, 2-groupoid, 2-limit, 2-monad, 2-morphism, 2-morphisms > history, 2-poset, 2-pullback, 2-rig, 2-sheaf, 2-spectral triple, 2-topos, 2-type > history, 2-vector space, 2008 changes, 2009 April changes, 2009 August changes, 2009 February changes, 2009 January changes, 2009 July changes, 2009 June changes, 2009 March changes, 2009 May changes, 2009 September changes, 3-category, 3-groupoid, 3-poset, A Survey of Cohomological Physics, A Survey of Elliptic Cohomology, A Survey of Elliptic Cohomology - A-equivariant cohomology, A Survey of Elliptic Cohomology - derived group schemes and (pre-)orientations, A Survey of Elliptic Cohomology - descent ss and coefficients, A Survey of Elliptic Cohomology - the derived moduli stack of derived elliptic curves, A-infinity algebra > history, A-infinity category > history, A-infinity operad, A-infinity operad > history, A-infinity-algebra, A-infinity-category, A-infinity-ring, A-infinity-space, A-model, A1-homotopy theory, AKSZ theory, AQFT, ASSet, AT category, Aaron F, Ab, Ab-enriched category, About, Adjointness for 2-Categories, Akhil Mathew, Alain Connes, Alex Hoffnung, Alexander Grothendieck, Alexander Rosenberg, Alexandre Kirillov, Alexei Bondal, Alg, Alg(T) > history, Algebras > history, Amnon Neeman, An Exercise in Kantization, Anatoly Shirshov, Anders Kock, Andre Hirschowitz, Andre Joyal, Andreas Holmstrom, Andrei Zelevinsky, Andrew Stacey, Anonymous Hero > history, Anonymous Coward, Another page > history, Arnold Neumaier, Atiyah Lie algebroid, Atiyah Lie groupoid, Atiyah Lie-groupoid > history, Azumaya algebra, B-model, BBDG decomposition theorem, BPS state, BRST complex, BV-BRST formalism, BV-theory > history, Baez's law, Baez-Crans 2-vector space, Ban > history, Banach algebra, Banach manifold, Banach space, Barr-exact category > history, Batanin omega-category, Baues > history, Beck-Chevalley condition, Ben Webster, Benabou-Roubaud theorem, Benjamin Blander, Benoit Jubin, Berkovits superstring, Bert Guillou, Bertrand Toën, Bertrand Toen > history, Bibliography, Bij > history, Bill Lawvere, Birkhoff's theorem, Birkhoff-von Neumann theorem, Boo Rng > history, Bool Alg, Boolean algebra, Boolean category, Boolean rig, Boolean ring, Boolean topos, Borceux-Bourn, Borel-Weil theorem, Boris Feigin, Bott element, Bourbaki, Bousfield localization, Bousfield localization of model categories, Bousfield localization of triangulated categories, Bousfield-Kan map, Branislav Jurco, Bredon cohomology, Brown -- Abstract Homotopy Theory and Generalized Sheaf Cohomology > history, Brown AHT, Bruce Bartlett, Bruno Vallette, C-star-algebra, C-star-category, C-star-system, CAT(X) > history, CFT > history, COSHEP, CRing, CW approximation, CW complex, Calabi-Yau category, Calabi-Yau variety, Cantor's theorem, Cantor space, Carlos Simpson, Cart Sp, Cartesian fibration, Cartesian morphism, Cartesian Spaces > history, Cat, Catégories Tannakiennes, Cat Lab, Categories Work, Categories and Sheaves, Cauchy complete category, Cauchy real number, Cauchy sequence, Cauchy space, Cayley-Dickson construction, Charles Ehresmann, Charles Sanders Peirce, Charles Wells, Chen space, Chenchang Zhu, Chern-Simons theory, Chevalley–Eilenberg algebra > history, Chevalley-Eilenberg algebra, Chevalley-Eilenberg algebra in synthetic differential geometry, Chevalley-Eilenberg chain complex, Chevalley-Eilenberg cochain complex, Chris Brav, Chris Rogers, Chris Schommer-Pries, Christian Bär, Christoffel symbols, Chu construction, Claire Tomesch, Clark Barwick, Claudio Hermida, Co DGCA, Cocomm Coalg, Community, Como, Comp Bool Alg, Comp Lat, Connes fusion, Content, Contributors, Cornelius Mertzlufft-Paufler, Courant Lie algebroid > history, Courant algebroid, Courant-Dorfman algebra, Coyoneda lemma > history, Crans-Gray tensor product, Croatian Black Hole School, D'Auria-Fre formulation of supergravity, D-module, Daniel Dugger, Daniel Isaksen, Danny Stevenson, David Ben-Zvi, David Corfield, David Nadler, David Roberts, David Rydh, Day convolution, Dedekind completion, Dedekind cut, Deformation Theory, Deligne cohomology, Des Catégories Abéliennes, Di Graph, Diff, Dijkgraaf--Witten theory > history, Dijkgraaf-Witten theory, Discrete Causal Spaces, Dist Lat, Dmitri Orlov, Dmitry Kaledin, Dold fibration, Dold-Kan correspondence, Dold-Kan theorem > history, Dold-Thom theorem, Domenico Fiorenza, Dominic Verity, Dowker's theorem, Drinfel'd twist, Dunkl operator, Dusa Mc Duff, Dwyer-Kan localisation > history, Dwyer-Kan loop groupoid, Dyson formula, E-infinity-ring, EGA, EGA IV, ETCS, Eckmann-Hilton argument, Eckmann-Hilton duality, Eduard Čech, Eduardo Ochs, Edwin Spanier, Ehresmann's theorem, Ehresmann > history, Ehresmann connection, Eilenberg swindle, Eilenberg-Mac Lane object, Eilenberg-Mac Lane space, Eilenberg-Mac Lane space > history, Eilenberg-Mac Lane spectrum, Eilenberg-Moore category, Eilenberg-Zilber operad, Ek-Algebras, Elephant, Emily Riehl, Enriched Category Theory > history, Eric > history, Eric Forgy, Eric Goubault, Erlangen program, Euclidean geometry, Euclidean space, Eugenia Cheng, Euler characteristic, Euler number, Evan Jenkins, Exploding a Category > history, Exterior covariant derivative, FAQ, FFRS-formalism, FOLDS, FQFT, Fabien Morel, Fin Set, Finn Lawler, Fivebrane group, Foundations > history, Fourier transform, Fox derivative, Fréchet manifold, Fréchet space, Francis Borceux, Frank Pfäffle, Frechet-Uryson space, Frechet-Uryson space > history, Fredholm operator, Freudenthal suspension theorem, Freyd-Mitchell embedding theorem, Frm, Frobenius algebra, Frobenius category, Froelicher space, Fukaya-Seidel category, G-delta subspace, G-norm, GUT, Gabriel C. Drummond-Cole, Gabriel composition of filters, Gabriel filter, Gabriel multiplication, Gabriel-Ulmer duality, Gabriel-Zisman, Galois Theories, Galois connection, Galois extension, Gauss decomposition, Gavin Wraith, Gelfand spectrum, Gelfand-Mazur theorem, Gelfand-Naimark-Segal construction, General Discussion, Geoff Cruttwell, Geometric Models for Elliptic Cohomology, Geometric Models for Elliptic Cohomology > history, Geometric and topological structures related to M-branes, George Bergman, George Janelidze, Georges Maltsiniotis, Gleason's theorem, Godement product, Gonzalo Reyes, Graeme Segal, Gram-Schmidt process, Grassmann algebra > history, Gray category > history, Gray tensor product, Gray-category, Gray-groupoid, Green-Schwarz mechanism, Greg Egan, Gromov-Witten invariants, Grothendieck's Galois theory, Grothendieck > history, Grothendieck Festschrift, Grothendieck category, Grothendieck construction, Grothendieck fibration, Grothendieck group, Grothendieck pretopology, Grothendieck ring, Grothendieck spectral sequence, Grothendieck topology, Grothendieck topos, Grothendieck universe, Group theory > history, Grp, Grpd, Guenter Harder, H-space, HQFT, Haag-Kastler axioms, Haar measure, Hamilton operator > history, Hamiltonian, Hamiltonian mechanics, Handbook of Analysis and its Foundations, Hanno Becker, Hans-Joachim Baues, Hartog's number, Hasse diagram, Hasse n-graph, Hasse quiver, Hausdorff dimension, Hausdorff maximal principle, Hausdorff space, Hecke algebra, Help me! I'm trying to understand Bakalov and Kirillov, Henri Cartan, Henry Whitehead, Herman Stel, Heyt Alg, Heyting algebra, Heyting category, Heyting prealgebra, Higher Algebra > history, Higher Homotopy van Kampen Theorem > history, Higher Topos Theory, Hilb, Hilbert's basis theorem, Hilbert cube, Hilbert space, Ho(Cat), Hochschild-Kostant-Rosenberg theorem, Hochschild-Serre spectral sequence, Home Page, Homological resolution > history, Homotopical cohomology theory > history, Homotopy Theory > history, Hopf algebra, Hopf algebroid, Hopf envelope, Hopf module, Hopf-Galois extension, Hopfian group, How to get started, How To, Hugh Thomas, Hurewicz cofibration, Hurewicz connection, Hurewicz fibration, Hvedri Inassaridze, I-category, Ian Durham, Ieke Moerdijk, Inclusion Sandbox, Infinity-Grpd, Internalization > history, Ioannis Vlassopoulos, Isbell envelope, Israel Gelfand, Ivan Mirkovic, JCMc Keown, Jacob Lurie, Jacobi identity, Jacobian conjecture, Jacobson radical, Jacques Distler, James Dolan, Jamie Vicary, Jarah Evslin, Jason Dusek, Jean Benabou, Jean-Luc Brylinski, Jeffrey Morton, Jim Stasheff, Jiri Vanzura, Jocelyn Paine, Jochen Heinloth, Joel Robbin, Johan Alm, Johan Louis Dupont, Johannes Huebschmann, John Baez, John Duskin, Jon Awbrey, Jordan algebra, Joseph Ayoub, Kähler differential, Kähler manifold, K-theory, Kalb-Ramond field, Kan complex, Kan extension, Kan fibrant replacement, Kan fibration, Kapranov-Voevodsky 2-vector space, Karoubi K-theory, Karoubi envelope, Karoubian category, Kevin Lin, Killing form, Kirill Mackenzie, Kleene equality, Klein 2-geometry, Kleisli category, Kock-Lawvere axiom, Konrad Waldorf, Koszul duality, Kristen Schemmerhorn, Krzysztof Gawedzki, Kurt Te Kolste, L-infinity Lie algebroid > history, L-infinity algebra > history, L-infinity algebroid > history, L-infinity-algebra, L-infinity-algebroid > history, Lambda-ring, Larmore twisted cohomology, Lars Hörmander, Lat, Laurent series, Lawvere's reconstruction theorem, Lawvere theory, Lawvere-Tierney topology, Lebesgue measure, Lebesgue space, Legendre polynomial, Legendre transformation, Leibniz algebra, Leinster measure, Les Dérivateurs, Lev Landau, Lev Pontrjagin, Levi-Civita connection, Lex, Lie's three theorems, Lie 2-algebra, Lie Theory > history, Lie algebra, Lie algebra cohomology, Lie algebras > history, Lie algebroid, Lie bialgebroid, Lie group, Lie groupoid, Lie groupoids > history, Lie infinity-algebra > history, Lie infinity-algebroid, Lie infinity-algebroid representation, Lie infinity-groupoid, Lie integration, Lie theory, Lie theory for stacky Lie groupoids, Lie-Rinehart pair, Light Mills > history, Light mill > history, Loc, Loday-Pirashvili category, M M Postnikov, MSet, Maarten Bergvelt, Mac Neille completion, Mackey functor, Mal'cev category, Mal'cev variety, Marc Levine, Marc Olschok, Marco Grandis, Mario Pasquato, Marius Dadarlat, Markov's principle, Marta Bunge, Masaki Kashiwara, Maslov index, Math > history, Maurer-Cartan equation, Maurer-Cartan equation > history, Maurer-Cartan form, Max Karoubi, Maxim Kontsevich, May > history, Meas, Menagerie, Michael Bachtold, Michael Barr, Michael Batanin, Michael Hardy, Michael Makkai, Mike Hopkins, Mike Shulman, Mike Stay, Mike Shulman > history, Mikhail Gromov, Mikhail Kapranov, Milnor's conjecture, Milnor slide trick, Minkowski space, Mitchell-Benabou language, Mod, Models for Smooth Infinitesimal Analysis, Moore closure, Moore complex, Moore path category, Moore space, Moore-Seiberg data, Morita equivalence, Morris-Pareigis formal scheme, Morse theory, Mostowski's collapsing lemma, Multi Set, Myers-Steenrod theorem, NQ-supermanifold, Nielsen-Schreier theorem, Nikolai Durov, Nils Baas, Noah Snyder, Nonabelian Algebraic Topology, Nonabelian algebraic topology > history, Nora Ganter, Northwestern TFT Conference 2009, Notation, Note on Formatting, Oberwolfach, Oberwolfach Workshop, June 2009 -- Abstracts, Oberwolfach Workshop, June 2009 -- Friday, June 12, Oberwolfach Workshop, June 2009 -- Monday, June 8, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, Oberwolfach Workshop, June 2009 -- Thursday, June 11, Oberwolfach Workshop, June 2009 -- Tuesday, June 9, Oberwolfach Workshop, June 2009 -- Wednesday, June 10, Oidification > history, Omega-group, On Scientific Contributions to the n Lab, On the CLassification of Topological Field Theories > history, On the Classification of Topological Field Theories, Online > history, Online Resources, Ore localization, Organization of the n Lab, Osterwalder-Schrader theorem, Otto Schreier, Owen Gwilliam, P-ring, PROP, Paine on a Category Theory Demonstrations program, Patrick Schultz, Paul Bressler, Paul Goerss, Paul Taylor, Pavol Severa, Peirce's law, Peirce's logic of information, Peter Freyd, Peter Johnstone, Peter May, Peter Selinger, Philip Higgins, Philosophy > history, Physics > history, Pierce spectrum, Pierre Cartier, Pierre Deligne, Pierre Gabriel, Pietro Antonio Grassi, Pivotal symbols > history, Plebanski formulation of gravity, Poincar%C3%A9 duality > history, Poincare duality, Poincare group, Poisson manifold, Poisson sigma-model, Polish space, Pontrjagin dual, Pos, Postnikov system, Postnikov system in a triangulated category, Postnikov tower > history, Pr(infinity,1)Cat, Practical Foundations, Prime De Gold, Prof, Pursuing Stacks, Pursuing stacks > history, QFT with defects, Quantization as a Kan Extension, Quantum mechanics for mathematicians, Quantum physics: a functional integral point of view, Quillen equivalence, Quillen exact category, RR field, Rafael Borowiecki, Raoul Bott, Reedy model structure, Rel, Reshetikhin-Turaev construction, Riccardo Nicoletti, Richard Body, Richard Feynman, Richard Garner, Riemann hypothesis, Riemann surface, Riemann-Hilbert correspondence, Riemann-Hilbert problem, Riemannian manifold, Riemannian metric, Ring, Rod Mc Guire, Romie Banerjee, Ronnie Brown, Ross Street, Rouquier's cocovering, Ryan Grady, SAb > history, SDiff, SEAR, SEAR plus epsilon, SGA1, SSet > history, SVGsandbox, Samuel Eilenberg, Sandbox, Sandbox > 905234, Sandbox > SVG, Sandbox > test, Saunders Mac Lane, Saunders Mac Lane > history, Schur's lemma, Schur functor, Segal category, Segal space, Semi Lat, Sergei Gelfand, Serre fibration, Serre subcategory, Serre-Swan theorem, Set, Sharon Hollander, Sheaf and Topos Theory > history, Sheaves in Geometry and Logic, Sibe Mardesic, Sierpinski space, Simp Ab, Simp Set, Simpson's conjecture, Sjoerd Crans, Smith space, Sobolev space, Sophus Lie, Spec, Specht module, Sridhar Ramesh, Stable Infinity-Categories, Stefan Forcey, Stephen Britton, Stephen Gaito, Stinespring factorization theorem, Stone Spaces, Stone duality, Stone-Weierstrass theorem, Strøm's theorem, Strøm model structure, String Lie 2-algebra, String field theory > history, Sup Lat, Sweedler coring, Sweedler notation, Symbol Sandbox > history, T-D-space, T-complex, T-duality, Tall-Wraith monoid, Taylor series, The Catsters, The Joy of Cats, Theory and Applications of Categories, Theta-space, Thomas Nikolaus, Tibor Beke, Tim > history, Tim Porter > history, Tim Porrter > history, Tim Porter, Tim Portr > history, Tim van Beek, Timeline of category theory and related mathematics, Timothy Porter > history, Toby Bartels, Toby Bartels, from http://en[dot]wikipedia[dot]org/wiki/File, Todd Trimble, Tohoku, Tom Hirschowitz, Tom Leinster, Tomasz Maszczyk, Top, Towards Higher Categories, Trimble's notion of weak n-category > history, Trimble n-category, Trimble on ETCS II, Trimble on ETCS III, Tychonoff theorem, UC Riverside Seminar on Cobordism and Topological Field Theories, UC Riverside Seminar on Cobordisms and Topological Field Theories > history, Ulrich Bunke, Understanding Colimits in Set, Understanding Constructions in Categories, Understanding Constructions in Set, Understanding Limits in Set, Understanding M-Set, Urs Schreiber, Valerio Toledano Laredo, Vaughan Pratt, Vect, Verity on descent for strict omega-groupoid valued presheaves, Victor Ginzburg, Victor Porton, Vietoris complex, Vishal Lama, Vladimir Arnold, Vladimir Drinfel'd, Vladimir Voevodsky, Voevodsky motive, Volodymyr Lyubashenko, Vopěnka's principle, W-type, Waldhausen category, Warsaw circle, Weierstrass preparation theorem, Weil algebra, Weyl algebra, Whitehead product, Whitehead tower, Wick rotation, Wightman axioms, Yang-Mills field, Yang-Mills theory, Yemon Choi, Yoneda embedding, Yoneda lemma, Yoneda lemma for (infinity,1)-categories, Yoneda lemma for bicategories, Yoneda reduction, Young diagram, Yuri Manin, ZFC, Zamolodchikov equation, Zoran Škoda, Zoran Skoda > history, Zorn's lemma, abelian category, abelian group, abelian monoid, abelian sheaf cohomology, abstract Stone duality, accessible (infinity,1)-category, accessible category, accessible functor, actegory, action, action functional, action group > history, action groupoid, additive and abelian categories, additive category, additive functor, additive monad, adequate equivalence relation, adic noetherian ring, adic topology > history, adjoint (infinity,1)-functor, adjoint functor, adjoint functor theorem, adjunct, adjunction, adjunction > zigzagepsilon, adjunction > zigzageta, adjunction > zigzageta > history, admin, affine space, algebra, algebra for a profunctor, algebra for an endofunctor, algebra in an (infinity,1)-category, algebra of an endofunctor > history, algebra over an operad, algebraic K-theory, algebraic approaches to differential calculus, algebraic category, algebraic cobordism, algebraic definition of higher categories, algebraic fundamental group, algebraic geometry, algebraic group, algebraic integer, algebraic lattice, algebraic quasi-category, algebraic set theory, algebraic space, algebraic spaces > history, algebraic stack, algebraic theories in functional analysis, algebraic theory, algebraic topology, algebraic variety, algebraically closed field, algebroid, all changes, allegory, almost open subspace, almost scheme, alternative algebra, alternative experimental definition of commutative diagram, ambient category, ambimorphic object > history, an elementary treatment of Hilbert spaces, anabicategory, anafunctor, anafunctor category, analysis, analytic geometry, analytic versus synthetic, ananatural transformation, antisymmetric relation, apartness relation, approximate fibration, approximation of the identity, arrow category, artinian ring, associahedron, associahedron > K4, associative operad, associative ring spectrum, associative unital algebra, asymmetric relation, augmented simplicial set, automaton, automorphism, axiom of choice, axiom of extensionality, axiom of foundation, axiom of infinity, axiom of replacement, balanced category, bar > history, bar and cobar construction, bar construction, base, base change, basic ideas of moduli stacks of curves and Gromov-Witten invariants > history, basic ideas of moduli stacks of curves and Gromov-Witten theory, basic problems of algebraic topology, basis, basis theorem, behavior, bi-brane, bi-branes > history, bi-pointed object, biactegory, bialgebra, bibundle, bicartesian category, bicartesian closed category, bicategory, bicategory of fractions, bicategory of relations, bicompact space, bicrossed product, bifibration, bijection, bimodel, bimodule, bimonoid, biproduct, birational geometry, biring, bitopological space, bo functor, boolean domain, boolean function, boolean space, boolean-valued function, bornological space, bornological topological vector space, boson, bottom, boundary of a simplex, bounded operator, braid group, braided monoidal 2-category, braided monoidal category, braiding, brane, branes > history, building, bundle, bundle gerbe, bundle gerbe module, butterfly, cactus language, calculus of constructions, calculus of fractions, canonical commutation relation, canonical hypergroup, canonical model structure, canonical model structure on Cat, canonical morphism, canonical topology, cardinal number, cartesian closed category, cartesian monad, cartesian monoidal category, cartesian object, cartesian product, cartesian space, cat 2-group > history, cat-1-group, cat-2-group, cat-n-group, categorical shape theory, categories in SEAR, categorification via groupoid schemes, category, category algebra, category of chain complexes, category of cycles > history, category of elements, category of fibrant objects, category of fractions, category of generalized elements, category of local models, category of open subsets, category of operators, category of representations, category of sheaves, category over a category, category over an operad, category theory, category theory vs order theory, category with duals, category with translation, category with weak equivalences, causal complement, causal index set, causet, cellular approximation theorem, center, center of an abelian category, centipede mathematics, centralizer, chain algebra > history, chain complex, chain homology and cohomology, characteristic, characteristic class, characteristic function, choice object, choice operator, class function, class of adapted objects, classical field theory, classical limit, classical logic, classical mathematics, classical mechanics, classical physics, classifying space, classifying topos, closed category, closed functor, closed immersion of schemes, closed monoidal category, closed monoidal category module, closed monoidal deformation retract, closed monoidal homotopical category, closed monoidal structure on presheaves, closed subscheme, closed subspace, closed time-like curve, club, cluster algebra, co-H-space, co-Yoneda lemma, co-span, coadjoint orbit, coalgebra, cobordism, cobordism category, cobordism hypothesis, cocartesian closed category, cochain algebra > history, cochain complex, cochain on a simplicial set, cocomplete category, cocomplete well-pointed topos, cocone, cocontinuous functor, cocylinder, coderivation, codiscrete groupoid, coend > history, coequaliser > history, coequalizer, cofibrantly generated model category, cofibration, cofibration category, cogenerator, cograph of a functor, cogroup, coherent category, coherent formula > history, coherent logic, coherent module, coherent sheaf, coherent state, cohomological functor, cohomology, cohomology - contents, cohomology ring, cohomology theory, cohomotopy, coimage, coinduction, coinvariant, colimit, collection, combinatorial group theory, combinatorial model category, combinatorial simplicial model category, combinatorial spectrum, comma category, comma category > 2cell, comma object, comma object > 2cell, commutative algebra, commutative algebraic theory, commutative diagram, commutative ring spectrum, commutative square, commutativity of limits and colimits, comodule, comonad, comonoid, comorphism, compact Lie group, compact object, compact object in an (infinity,1)-category, compact operator, compact space, compact-open topology, compactly generated space, compactum, companion pair, comparison, complement, complemented subobject, complete Boolean algebra, complete Heyting algebra, complete Segal space, complete lattice, complete space, completely prime filter, completion, complex, complex number, complex supermanifold, composition, compositions in cubical sets, computad, computer science, concordance, concrete category, concrete sheaf, cone, cone morphism, configuration scheme, conformal field theory, congruence, conical space, conjunction, connected limit, connected object, connected relation, connected space, connection, connection for a coring, connection on a bundle, connection on a cubical set, conservation law, constant function, constant functor, constant infinity-stack, constant morphism, constructive mathematics, constructivism > history, contents, context, continuous functor, continuous map, continuous predicate, contractible > history, contractible space, contramodule, contravariant functor, convenient category of topological spaces, convergence space, convex space, convolution algebra, coordinate-free spectrum, cop, copairing, copower, coproduct, coquasitriangular bialgebra, core, corecursion, coreflective subcategory, coring, correspondence > history, cosemisimple coalgebra, coseparable coring, cosieve, cosimplicial algebra, coslice category > history, cosmic cube, cosmos, cotangent bundle, cotensor product, countable choice, countable set, counterexamples in algebra, cover, coverage, covering relation, covering space, cpo, crossed complex, crossed module, crossed n-cube, crossed profunctor, crossed square, crossed squares > history, crystal, cube, cube category, cubical T-complex, cubical category, cubical set, cup product, currying, cycle category, cyclic cohomology, cyclic order, cyclic set, d-space > history, dagger-category, dagger-compact category, database of categories, day convolution > history, de Morgan duality, de Rham complex, de Rham space, decalage, decategorification, decidable equality, decidable object, decidable proposition, decidable subset, decomposition theorem for simplicial groups, deformation retract, deformation retract for the enrichment, delayed homotopy, delooping, delooping hypothesis, dendroidal set, dense functor, dense monomorphism, dense subcategory, dense subspace, density matrix, dependent choice, dependent product, dependent type, derivation, derivation on a group, derived affine scheme, derived category, derived functor, derived group scheme, derived infinity-stack > history, derived smooth manifold, derived stack, descent, descent and codescent > history, descent for simplicial presheaves, descent in noncommutative algebraic geometry, dg-algebra > history, dg-category, dg-coalgebra > history, dg-quiver, diagonal function, diagonal morphism, diagonal subset, diagram, diagrammatic order > history, diamond, dichotomy between nice objects and nice categories, diffeological space, diffeomorphism, differentiable map, differentiable stack, differential, differential bimodule, differential cohomology, differential equation, differential form, differential forms in synthetic differential geometry, differential forms on simplices, differential forms on supermanifolds > history, differential geometry, differential graded Hopf algebra, differential graded Lie algebra, differential graded algebra, differential graded algebras and differential graded Lie algebras-relationships, differential graded categories > history, differential graded category > history, differential graded coalgebra, differential graded objects - contents, differential graded ring, differential graded vector space, differential logic, differential module, differential nonabelian cohomology, differential object, differential propositional calculus, differential topology, diffiety, dilaton, dilogarithm, dinatural transformation, direct category, direct image, direct limit, direct product, direct sum, directed colimit, directed graph, directed homotopy theory, directed join, directed limit, directed n-graph, directed object, directed set > history, directed space, direction, discrete category, discrete fibration, discrete mathematics, discrete space, discussion on terminology -- omega-category, disjoint coproduct, disjoint sets, disjoint union, disjunction, display map, distributive category, distributive lattice, distributive law, division algebra, division algebra and supersymmetry, doctrine, domain, domain opfibration, double bicategory, double category, double comma object, double complex, double derivation, double negation, double nerve, down set, dual adjunction, dual equivalence, dual number, duality, dualizable object, dualizing object,