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
• 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: Frobenius algebra, PROP, dagger-category, entanglement, quantum information
• Alex Hoffnung co- or authored: 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
• 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)-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, Brown -- Abstract Homotopy Theory and Generalized Sheaf Cohomology > history, Brown AHT, Chen space, Chevalley-Eilenberg algebra in synthetic differential geometry, Domenico Fiorenza, FAQ, Froelicher space, Grothendieck's Galois theory, Home Page, How to get started, How To, Inclusion Sandbox, Isbell envelope, Lawvere theory, Lie's three theorems, On the CLassification of Topological Field Theories > history, Online Resources, Reedy category, SEAR plus epsilon, SVG Editor How To, Sandbox, Sandbox > SVG, Sandbox > test, Smith space, 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, category of fibrant objects, category theory, co-H-space, cogroup, cohomology, comma category, comma object, commutative algebraic theory, constant morphism, contents, database of categories, density matrix, diffeological space, differential cohomology, differential graded algebras and differential graded Lie algebras-relationships, differential graded objects - contents, differential module, distribution, exercise in groupoidification - the path integral, full functor, generalized object > history, generalized smooth space, geometric infinity-function theory, heuristic introduction to sheaves, cohomology and higher stacks > history, induced representation, limit, localization, loop space object, 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, rational homotopy theory, reality check, request for help, sheaf, sheaf cohomology, smooth loop space, smooth structure of the path groupoid, space and quantity, spam: Tess Wither, spam: employee, spam: ferrim, special characters, stratifold, stuff, structure, property, subcanonical coverage, symmetric monoidal (infinity,1)-category of presentable (infinity,1)-categories, symmetric monoidal category, topological concrete category, totally convex space, triangle identities, 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, 2-crossed module, 2-vector space, 2009 August changes, 2009 July changes, 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 topos, Bourbaki, Bousfield localization, Categories and Sheaves, Day convolution, Eilenberg-Mac Lane space > history, Eric Forgy, FQFT, Froelicher space, General Discussion, Grothendieck construction, Grothendieck topology, Hamiltonian, Hans-Joachim Baues, Hausdorff maximal principle, Heyting algebra, Home Page, How To, Jocelyn Paine, Kähler differential, Kan extension, 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, Quillen exact category, Romie Banerjee, Sandbox, Sandbox > 905234, 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, basic ideas of moduli stacks of curves and Gromov-Witten theory, bimodule, cardinal number, category algebra, category theory, choice operator, cobordism hypothesis, cocomplete category, cocontinuous functor, codiscrete groupoid, cohomology, colimit, contents, 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, 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, inbound citations, infinity-category, injective hull, integration over supermanifolds, join of simplicial sets, linear logic, linguistics, local isomorphism, locally convex space, long line, mathematics, model structure on simplicial sets, motives and dg-categories, music, natural transformation, noncommutative algebraic geometry, operad, oriental, paracompact space, perfect field, physics, quantale, quasigroup, regular monomorphism, renormalization, replete subcategory, rig, ringed site, semisimple category, shape theory, simplicial complex, simplicial set, simplicially enriched category, smooth algebra, snake lemma, spam: ferrim, spectral measure, stack* > history, stratifold, string diagram, string theory, superdifferential form, suspension, triadic relation" > history, twisting cochain, universal fibration of (infinity,1)-categories, weak factorization system, 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, Home Page, How to get started, How To, Northwestern TFT Conference 2009, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, Pivotal symbols > history, 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, examples for Lagrangian BV, fusion category, geometric infinity-function theory, 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
• Charles Rezk co- or authored: Theta-space
• 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
• Chris Schommer-Pries co- or authored: (infinity,n)-category of cobordisms, Chris Schommer-Pries
• Christopher Abaddon? co- or authored: Sandbox
• Claire Tomesch co- or authored: (infinity,n)-category, Claire Tomesch, combinatorial model category
• 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 Corfield co- or authored: (-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, Anders Kock, Another page > history, Axiomatic field theories and their motivation from topology, Baues > history, Cat, Cauchy complete category, Chern-Simons theory, Coyoneda lemma > history, D-module, David Corfield, Eckmann-Hilton argument, Eckmann-Hilton duality, Elephant, Eric Goubault, Erlangen program, FQFT, Froelicher space, Goodwillie calculus, Hans-Joachim Baues, Hilbert scheme, Kan extension, Kirill Mackenzie, Klein 2-geometry, Lambda-ring, Mac Neille completion, Markov chain, Mike Shulman, Moore space, Nikolai Durov, Oberwolfach Workshop, June 2009 -- Abstracts, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, Online Resources, P-ring, Polish space, Pos, Steve Lack, Tall-Wraith monoid, The Joy of Cats, 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 lemma, abstract Stone duality, adjoint equivalence, adjoint functor, algebra, algebra for an endofunctor, algebraic set theory, allegory, analytic versus synthetic, axiom of foundation, bicrossed product, biology, blob homology, bundle, bundle gerbe, calculus of constructions, cartesian monad, category algebra, category theory, centipede mathematics, classical limit, closed monoidal structure on presheaves, co-H-space, co-Yoneda lemma, coalgebra, coalgebra for an endofunctor, 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, context, corecursion, crossed n-cube, crystal, cubical set, cycle category, cyclic order, deformation theory, dense monomorphism, dependent product, 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, 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, geometry (for structured (infinity,1)-toposes), global model structure on functors, 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, ideal completion, induced representation, induction, infinitesimal object, infinity-groupoid, infinity-stack homotopically, information geometry, initial algebra, injective hull, 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, manifold, matrix mechanics, measurable space, microcosm principle, monad, monoid, motivation for sheaves, cohomology and higher stacks, multilimit, multisymplectic geometry, n POV, negative thinking, nonabelian cohomology, noncommutative algebraic geometry, operad, period, philosophy, pointed category, power object, predicative mathematics, presentable (infinity,1)-category, presheaf, pretopos, 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, space and quantity, 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, terminal coalgebra, things to be categorified, tiny > history, tiny object, topological T-duality, topology, tree, type theory, ultrafilter, ultraproduct, uniform space, universal algebra, universal fibration of (infinity,1)-categories, vertical categorification, von Neumann algebra, why (infinity,1)-categories?
• David Roberts co- or authored: (n,r)-category, 2009 August changes, 2009 July changes, 2009 June changes, 2009 March changes, 2009 September changes, A Survey of Elliptic Cohomology, Atiyah Lie groupoid, Birkhoff's theorem, Borsuk's shape theory, Cat Lab, David Roberts, Dold fibration, Eric Forgy, FAQ, Grothendieck's Galois theory, Grothendieck fibration, Grothendieck pretopology, Grothendieck topology, Ho(Cat), Les Dérivateurs, Morita equivalence, Online Resources, Pursuing Stacks, Pursuing stacks > history, SEAR, Sweedler notation, T-duality, Tall-Wraith monoid, Theta-space, Thomason model structure, WISC, Warsaw circle, Whitehead tower, Wick rotation, all changes, ambient category, anafunctor, bicategory, bicategory of fractions, butterfly, cartesian morphism, categorification via groupoid schemes, category of fractions, category theory, chain homology and cohomology, codomain fibration, cohomology, covering space, cube, dagger-category, diagrammatic order > history, directed homotopy theory, disjoint coproduct, equivariant cohomology, equivariant stable homotopy theory, evil, extensive category, fiber, fibration, fibration of bigroupoids, fibration theory, finite category, frame, free loop space object, full image, fundamental groupoid, generalized smooth space, generalized universal bundle, 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, ind-object, internal category, internal category in a monoidal category, interval object, ionad, k-morphism, localic group, localization, locally contractible space, locally n-connected (infinity,1)-topos, locally path-connected space, loop space, microbundle, natural numbers in SEAR, nice topological space, nonabelian algebraic topology, nonabelian groupoid cohomology, null system, numerable open cover, paracompact space, path integral, plus construction, principal infinity-bundle, profinite completion of a group, profinite group, quantum operations and channels, quasifibration, saturated class of maps, semi-abelian category, semi-locally simply connected space, simplicial localization, skeleton, small category, sphere, spin group, strict epimorphism, string 2-group, string group, string structure, synthetic differential geometry, tetracategory, thin homotopy, topological K-theory, topological T-duality, topological concrete category, topological infinity-groupoid, transfor, twisted cohomology, universal covering space, vertical categorification, 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, quasi-category
• Domenico Fiorenza co- or authored: Čech cohomology, Chern character, Domenico Fiorenza, SVGsandbox, Topological Quantum Field Theories from Compact Lie Groups, Young diagram, fibration sequence, free loop space object, gauge fixing, twisted cohomology
• Dylan Thurston? co- or authored: twisting cochain
• Edmund Harriss? co- or authored: Online Resources
• Emily Riehl co- or authored: (infinity,1)-Grothendieck construction, Emily Riehl, Grothendieck fibration, marked simplicial set, 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-vector space, 2009 August changes, 2009 July changes, 2009 June changes, 2009 September changes, A-infinity-algebra, A-infinity-category, A-infinity-ring, AQFT, An Exercise in Kantization, Andre Joyal, Anonymous Coward, Bibliography, Boolean algebra, C-star algebra, Cart Sp, Cartesian fibration, Cat Lab, Cauchy complete category, Cauchy space, Chu construction, Content, Contributors, Crans-Gray tensor product, D-module, Day convolution, 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, General Discussion, Grothendieck construction, Grothendieck topology, Grothendieck topos, Grothendieck universe, H-space, Hasse diagram, Hasse n-graph, Hasse quiver, Hecke algebra, 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, 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 > 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, Quantization as a Kan Extension, Quillen equivalence, Rel, Sandbox, Segal category, Segal space, Sjoerd Crans, Some geometric perspectives in concurrency theory, 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, accessible (infinity,1)-category, action, action group > history, action groupoid, additive category, additive functor, adjoint equivalence, adjoint functor, adjunction, algebra, algebroid, all changes, anafunctor, arrow category, bar construction, bi-pointed object, bialgebra cocycle, bicategory, bimodule, biproduct, bundle gerbe, bundle gerbe module, 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, 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, compact object in an (infinity,1)-category, complete Segal space, complicial set, concordance, concrete category, cone, cone morphism, congruence, connection, connection for a differential graded algebra, connection on a cubical set, constant functor, constant infinity-stack, copairing, coproduct, cosmos, cospan, cover, covering relation, crossed complex, crossed module, cube, cubical category, cubical set, cup product, cylinder functor, database of categories, deformation theory, delooping, dense monomorphism, 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, 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, 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 functor, extended cobordism, fibration 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 shapes for higher structures, gerbe, globe, globular set, graded algebra, graded vector space, graph, graph of a function, graph of a functor, 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-object, hom-set, homological resolution, homology, homotopy, homotopy category of an (infinity,1)-category, homotopy coherent nerve, homotopy group, homotopy hypothesis, homotopy limit, homotopy n-type, homotopy theory, horn, hypercompletion, hypercover, idempotent, identity assigning morphism > history, identity function, identity 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 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, 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 algebraic topology, 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, presentable (infinity,1)-category, presheaf, principal 2-bundle, principal bundle, principal infinity-bundle, product, profunctor, pullback, pure set, pushout, quantum system, quasi-category, quasi-isomorphism, quiver, quotient object, rectified infinity-stack, redirect, reflective (infinity,1)-subcategory, regular differential operator, regular monomorphism, representable functor, retract, right adjoint, ring, section, semilattice, sequence, sequential space, set, sieve, sigma-model, simplex, 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 space, source, space and quantity, span, special characters, spectrum, 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 (infinity,1)-category of presentable (infinity,1)-categories, synthetic differential geometry, tangent Lie algebroid, target, tensor product, terminal category, terminal object, thin element, topos, torsor, tree, tree category, triadic relation" > history, truth value, twisted bundle, twisted cohomology, under category, 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
• Finn Lawler co- or authored: 2009 June changes, Adjointness for 2-Categories, Finn Lawler, Kan extension, adjunction, algebra for an endofunctor, algebraic theory, cone morphism, context, familial regularity and exactness, internal category, internal profunctor, intuitionistic logic, ionad, lax 2-adjunction, lax natural transformation, linear logic, minimal logic, modification, module over a monad, paraconsistent logic, sequent calculus, star-autonomous category, strict 2-category, type theory
• 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
• 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
• 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, Sandbox, choice operator, constructive mathematics, geometric stack, homotopy category, join of simplicial sets, quantum operations and channels, scheme
• Herman Stel co- or authored: Herman Stel, internal category, local model structure on simplicial presheaves, module, smooth algebra, transfinite composition
• Home Page co- or authored: General Discussion
• Hugh Thomas co- or authored: quiver
• Ian Durham co- or authored: Birkhoff's theorem, Dyson formula, Hamiltonian, Ian Durham, Sandbox, Wick rotation, Wightman axioms, density matrix, entanglement, hermitian matrix, operator algebra, partial trace, physicscontents, quantum information, quantum mechanics, quantum operations and channels, quantum system, trace, unitary operator
• Interested Anonymous Coward co- or authored: simplicial set
• Ivo? co- or authored: free groupoid
• JCMc Keown co- or authored: JCMc Keown, transfor
• 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, 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, fibration 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
• 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-vector space, 2009 August changes, 2009 July changes, 2009 June changes, 2009 September changes, Ab, About, Batanin omega-category, Bousfield localization, Bousfield localization of triangulated categories, Cat, Cayley-Dickson construction, D'Auria-Fre formulation of supergravity, D-module, David Corfield, Day convolution, Di Graph, Dold-Kan correspondence, Fermat theory, General Discussion, Grassmann algebra > history, Green-Schwarz mechanism, Grothendieck group, Grothendieck ring, Grp, Home Page, Hopf algebra, How to get started, 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, Lie algebra cohomology, Lie-Rinehart pair, Light Mills > history, Mitchell-Benabou language, Moore complex, NQ-supermanifold, Online Resources, PROP, Peter May, Quillen equivalence, Quillen exact category, Ring, Sandbox, Schur functor, Serre fibration, Set, 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, abelian category, abelian group, action, action groupoid, action of a category on a set, adjunction, algebraic theory, automorphism, bialgebra, bicategory, braided monoidal category, calculus of fractions, cartesian monoidal category, cartesian morphism, category, category algebra, category theory, category with weak equivalences, centipede mathematics, 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, cospan, dagger-category, database of categories, derived affine scheme, dinatural transformation, directed graph, double bicategory, double category, electromagnetic field, endofunctor, enriched category, equivalence, essentially algebraic theory, evil, exact functor, extended topological quantum field theory, faithful > history, field, foundations, free cocompletion, full > history, function, functor, functor category, fundamental groupoid, 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, identity > history, infinity-stack, internalization, isomorphism, k-surjectivity > history, lax functor, limit, localization, locally small category, 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, pentagon decagon hexagon identity, polynomial, poset > history, pre-abelian category, preorder, presheaf, product, proset > history, pullback, pushout, quasigroup, quiver, rational function, rational homotopy theory, rational number, rational topological space, reconstruction theorem, redirect, regular monomorphism, representable functor, representation, representation ring, rigid monoidal category, ring, semicartesian monoidal category, semigroup, semigroups > history, set, sheaf and topos theory, simplicial complex, site, skeletal > history, small category, source, span, special lambda-ring, star-autonomous category, strict 2-category, strict monoidal category, subcategory, super vector space, symmetric function, symmetric monoidal category, symmetric monoidal functor, target, tensorial strength, topos, torsor, toset > history, totally ordered set > history, vector space, vertex operator algebra, vertical categorification
• 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
• Jonas Meyer? co- or authored: Banach space, C-star algebra, Gelfand 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, Kevin Lin, basic ideas of moduli stacks of curves and Gromov-Witten theory
• Kevin Walker co- or authored: blob homology
• Konrad Waldorf co- or authored: Konrad Waldorf, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, orientifold
• Lab Elf co- or authored: 2009 July changes, Tall-Wraith monoid, canonical morphism, lab elf, 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, 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, double category, globular set, 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
• Michael Bachtold co- or authored: diffiety
• Michael Bächtold co- or authored: Michael Bachtold, crystal, diffiety
• 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)-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-functor, 2-group, 2-limit, 2-monad, 2-pullback, 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, COSHEP, CRing, CW complex, Cantor's theorem, Cat, Categories Work, Cauchy complete category, Cauchy space, Conduche functor, Crans-Gray tensor product, Day tensor product, ETCS, Elephant, Euler characteristic, FAQ, Froelicher space, Galois connection, Gray category > history, Gray tensor product, Gray-category, Grothendieck fibration, Grothendieck pretopology, Grothendieck topology, Grothendieck topos, Grothendieck universe, Grpd, Hausdorff space, Heyting category, Higher Topos Theory, Ho(Cat), Home Page, Hopf algebra, How to get started, How To, Isbell envelope, Kan extension, Kan fibration, Karoubi envelope, Lawvere-Tierney topology, Mal'cev variety, Mike Shulman, Mitchell-Benabou language, Mostowski's collapsing lemma, Online Resources, Prof, Quillen adjunction, Quillen equivalence, Reedy category, Richard Garner, SEAR, SEAR plus epsilon, Sandbox, Sandbox > SVG, Set, Strøm's model category, Timeline of category theory and related mathematics, Top, Vladimir Voevodsky, W-type, WISC, Waldhausen category, Yoneda lemma, Yoneda lemma for bicategories, ZFC, abelian category, accessible category, action, action groupoid, additive and abelian categories, additive category, additive envelope, additive functor, additive monad, adjoint functor, adjoint functor theorem, adjunct, adjunction, affine space, algebra, algebra for a C-C bimodule, algebraic definition of higher category, 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, bialgebra, bicategory, bicategory of relations, bijection, bimonoid, bimorphism, biproduct, bo functor, bo-ff factorization system, boolean domain, braided monoidal category, calculus of fractions, canonical topology, cardinal number, cartesian closed category, cartesian monad, cartesian monoidal category, cartesian morphism, 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 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 monoidal category, closed monoidal category module, closed monoidal homotopical category, co-Yoneda lemma, coalgebra, cocomplete well-pointed topos, codomain fibration, coequaliser > history, coequalizer, cofibrantly generated model category, cofinal functor, cogenerator, cograph of a functor, cograph of a profunctor, cogroup, coherence theorems, coherent category, coherent formula, cohomology, collection, combinatorial model category, combinatorial spectrum, comma category, comma object, compact closed category, compact object, compact-open topology, compactly generated space, complete Segal space, complete lattice, completion, composition, compositions in cubical sets, computad, cone morphism, congruence, connected object, conservative functor, constant functor, constant morphism, constructivism > history, context, continuous functor, convergence space, convex space, copower, coproduct, core, coslice category > history, cosmos, cospan, countable choice, coverage, covering space, cubical category, cubical set, cycle category, cyclic order, cyclic set, dagger-category, database of categories, decidable object, deformation retract, deformation retract of a homotopical category, delooping, delooping hypothesis, dense functor, dense subcategory, dependent product, dependent type, derived functor, derived functor on a derived category, dg-category, diagonal morphism, diagonal subset, diagrammatic order > history, dinatural transformation, direct category, direct image, direct sum, directed graph, directed n-graph, directed object, directed set > history, discrete category, discussion on terminology -- omega-category, disjoint coproduct, display map, distributive category, doctrine, domain opfibration, double category, double comma object, dualizable object, effective epimorphism, element, elementary embedding, empty set, empty space, end, enriched Quillen adjunction, enriched category, enriched factorization system, enriched homotopical category, enriched homotopy theory, entire relation, epimorphism, equivalence, 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, excluded middle, exponential ideal, exponential object, extensional relation, extensive category, extranatural transformation, extremal epimorphism, factorization system, familial regularity and exactness, fc-multicategory, ff morphism, fibered n category > history, fibration, fibration of quasi-categories, field, filter, filtered category, filtrant category > history, finitary monad, finite category, finite set, finitely complete category, finitely presentable object, folk model structure, folk model structure on Cat, foo > history, foobar > history, forgetful functor, foundations, frame, free cocompletion, free completion, free functor, full and faithful functor, full functor, full image, full subcategory, fundamental group of a topos, fundamental groupoid, fundamental infinity-groupoid, gauge space, generalized Gray tensor product, generalized Reedy category, generalized element, generalized object > history, generalized the, generator, generic proof, geometric morphism, geometric shapes for higher structures, geometric theory, global model structure on functors, globular category, graph, graph of a function, graph of a functor, graph theory > history, group, group object, groupoid, groupoid object in an (infinity,1)-category, heap, hereditarily finite set, homotopical enrichment, homotopically injective object, homotopy, homotopy 1-type, homotopy 2-type, homotopy 3-type, homotopy 3-types > history, homotopy category, homotopy category of an (infinity,1)-category, homotopy coherent nerve, homotopy equivalence, homotopy group, homotopy hypothesis, homotopy limit, homotopy n-type, homotopy pullback, homotopy theory, homotopy type, horizontal categorification, horn, hypercover, hyperstructure, icon, idempotent, idempotent adjunction, idempotent complete (infinity,1)-category, idempotent monad, identity type, identity-assigning morphism, inaccessible cardinal, ind-object, indiscrete category, induced topology, infinitesimal number, infinitesimal object, infinity-category, infinity-groupoid, 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, involution, ionad, isofibration, 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 natural transformation, lex category > history, linear logic, linear relation > history, locale, localic group, localic topos, localization, locally cartesian category, locally cartesian closed category, locally connected geometric morphism, locally finitely presentable category, locally n-connected (infinity,1)-topos, locally posetal 2-category, locally presentable category, locally small category, logic, logical functor, loop space, m-cofibrant space, mapping cocone, material-structural adjunction, maximal ideal theorem, metric space, minimal logic, model 2-category, model category, model structure on simplicial presheaves, model structure on topological spaces, monad, monadic adjunction, monadic descent, monadic functor, monadicity theorem, monoid, monoid object, monoidal category, monoidal functor, monoidal model category, monomorphism, monomorphism in an (infinity,1)-category, monotone function, multicategory, multilimit, multiplicative system, multiset, n-category, 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, opetope, opposite 2-category, orbit category, order, ordinal > history, ordinal number, orthogonal factorization system, orthogonality, overcategory, parallel morphism > history, partially ordered dagger category, path space object, point of a topos, pointed category, pointed object, power, power set, pre-abelian category, predicate logic, predicativism > history, preorder, presentable (infinity,1)-category, 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, propositions as types, proset > history, pseudofunctor, pseudomonic functor, pseudomonoid, pseudotopological space, pure set, pushout-product axiom, quantale, quasi-category, quasi-isomorphism, quasicompact, quasitopos, quotient object, quotient set, real number, red herring principle, reflective subcategory, reflexive coequalizer, regular and exact completions, regular category, regular epimorphism, regular monomorphism, relation, replete subcategory, representable functor, request for help, retract, rig, ring, ringoid, semi-abelian category, semi-strict infinity-category, semicartesian monoidal category, semilattice, sequence, sequential convergence space > history, 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 violations of choice, smash product, smooth natural numbers, sober space, solid functor, space, span, specialization order, specialization topology, spectrum, spine, split epimorphism, split idempotent, stable (infinity,1)-topos, stable infinity-category, star-autonomous category, stratified simplicial set, strict 2-category, strict 2-functor, strict 2-limit, strict epimorphism, strict n-category, strict omega-category, strict omega-groupoid, strong epimorphism, strong monomorphism, structural set theory, structured (infinity,1)-topos, structured set, stuff, structure, property, sub-quasi-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 smash product of spectra, symmetric set, synthetic differential geometry, tensor product, terminal category, terminal coalgebra, terminal object, tetracategory, thin > history, thin element, tiny object, topological concrete category, topological group, topological space, topologizing subcategory, topology, topos, total category, trace, tractable model category, transferred model structure, transfinite composition, transfor, transitive set, triangulated category, tricategory, truth value, two-valued logic, two-variable adjunction, type theory, type theory - contents, ultrafilter theorem, under category, undirected object, uniform space, union, unit enriched category, universal algebra, universe in a topos, universes in SEAR, urelement, vertical categorification, von Neumann hierarchy, 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: Day convolution, comma category, finitely complete category
• 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, 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, flat functor, flat module, monad, monoid, monoid object, monoidal category, string diagram, triangle identities
• Peter Selinger co- or authored: Peter Selinger, evil
• 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, 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: Schur functor
• 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, 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 shapes 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, nonabelian algebraic topology, 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, cubical group, cubical set, graph, monoidal category, nonabelian algebraic topology, 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
• 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, Sridhar Ramesh, algebra for a C-C bimodule, 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, localic topos, module, natural numbers object, natural transformation, partial combinatory algebra, partial equivalence relation, presheaf, profunctor, reconstruction theorem, subquotient, topos, tripos
• Stefan Forcey co- or authored: Stefan Forcey, enriched category, geometric infinity-function theory
• 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 Nikolaus co- or authored: Thomas Nikolaus, dendroidal set, model structure on dendroidal sets, 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: Č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, Bob Coecke, Borsuk's shape theory, CW complex, Charles Ehresmann, Como, Directed Algebraic Topology, Discrete Causal Spaces, Dold-Kan correspondence, 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, Philip Higgins, 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, 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, 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, enriched category theory, etale space, extended topological quantum field theory, factorization algebra, fibration, foundations, 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, groupoid cardinality, holomorph, homological algebra, homological perturbation theory, homotopical algebra, homotopical category, homotopy, homotopy (as a transformation), homotopy (as an operation), 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 2-category, model structure on dg-algebras, module, music, n-fold category, nerve, nonabelian Lie algebra cohomology, nonabelian algebraic topology, normal complex of groups, opposite relation, paracompact space, partially ordered dagger category, 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, semi-abelian category, semigroup, shape of an (infinity,1)-topos, shape theory, 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, 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, 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, Haag-Kastler axioms, Osterwalder-Schrader theorem, Sandbox, Tim van Beek, Wightman axioms, building, higher category theory, operator algebra, spectral measure, von Neumann algebra
• 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)-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)-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, |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-spectral triple, 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, A1-homotopy theory, AKSZ theory, AQFT, ASSet, Aaron F, Ab, Ab-enriched category, About, Adjointness for 2-Categories, Akhil Mathew, Alain Connes, Alex Hoffnung, Alexander Grothendieck, Alexander Rosenberg, Alexandre Kirillov, Alg, Algebras > history, Amnon Neeman, An Exercise in Kantization, 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, BBDG decomposition theorem, BPS state, BRST complex, BV-BRST formalism, BV-theory > history, Baez-Crans 2-vector space, 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, Bill Lawvere, Bool Alg, Boolean algebra, Boolean category, Boolean rig, Boolean ring, Boolean topos, Borceux-Bourn, Borel-Weil theorem, 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, C-star algebra, CFT > history, COSHEP, CRing, CW approximation, CW complex, Cantor's theorem, Carlos Simpson, Cart Sp, Cartesian fibration, Cartesian Spaces > history, Cat, Catégories Tannakiennes, Cat Lab, Categories Work, Categories and Sheaves, Cauchy complete category, 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 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, 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, 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, Dold fibration, Dold-Kan correspondence, Dold-Kan theorem > history, Dold-Thom theorem, Domenico Fiorenza, Dominic Verity, Dowker's theorem, Drinfel'd twist, Dunkl operator, Dwyer-Kan localisation > history, Dwyer-Kan loop groupoid, E-infinity-ring, EGA, EGA IV, ETCS, Eckmann-Hilton argument, Eckmann-Hilton duality, Eduard Čech, Edwin Spanier, 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, 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, Frank Pfäffle, Frechet-Uryson space, Frechet-Uryson space > history, Fredholm operator, Freudenthal suspension theorem, Frm, Frobenius algebra, Frobenius category, Froelicher space, GUT, Gabriel C. Drummond-Cole, Gabriel composition of filters, Gabriel filter, Gabriel multiplication, Gabriel-Zisman, Galois Theories, Galois connection, Galois extension, Gauss decomposition, Gavin Wraith, Gelfand spectrum, Gelfand-Mazur theorem, General Discussion, Geoff Cruttwell, Geometric Models for Elliptic Cohomology, Geometric Models for Elliptic Cohomology > history, Geometric and topological structures related to M-branes, George Janelidze, Georges Maltsiniotis, 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, 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, H-space, HQFT, Haag-Kastler axioms, 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 maximal principle, Hausdorff space, Hecke algebra, Henri Cartan, Henry Whitehead, Herman Stel, Heyt Alg, Heyting algebra, Heyting category, 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, Jacobian conjecture, Jacobson radical, Jacques Distler, James Dolan, Jason Dusek, Jean Benabou, Jean-Luc Brylinski, Jeffrey Morton, Jim Stasheff, Jiri Vanzura, Jocelyn Paine, Jochen Heinloth, Johan Alm, Johan Louis Dupont, Johannes Huebschmann, John Baez, 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, Klein 2-geometry, Kleisli category, Kock-Lawvere axiom, Konrad Waldorf, Koszul duality, Kristen Schemmerhorn, Krzysztof Gawedzki, 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 space, Legendre polynomial, Legendre transformation, Leibniz algebra, Leinster measure, Les Dérivateurs, Lev Pontrjagin, Levi-Civita connection, 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, Marco Grandis, Marius Dadarlat, Markov's principle, Masaki Kashiwara, Maslov index, Math > history, Maurer-Cartan equation, Maurer-Cartan equation > history, Maurer-Cartan form, Max Karoubi, Maxim Kontsevich, May > history, Meas, Michael Bachtold, Michael Barr, Michael Batanin, Michael Makkai, Mike Hopkins, Mike Shulman, Mike Stay, Mike Shulman > history, Milnor's conjecture, Milnor slide trick, Mitchell-Benabou language, Models for Smooth Infinitesimal Analysis, Moore closure, Moore complex, Moore path category, Moore space, 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 > 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, 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 Johnstone, Peter May, Peter Selinger, Philip Higgins, Philosophy > history, Physics > history, Pierce spectrum, Pierre Cartier, Pierre Gabriel, Pietro Antonio Grassi, Pivotal symbols > history, Plebanski formulation of gravity, Poincare group, Poisson manifold, Poisson sigma-model, Polish space, Pontrjagin dual, Pos, Postnikov system, Postnikov system in a triangulated category, Postnikov tower > history, Practical Foundations, Prof, Pursuing Stacks, Pursuing stacks > history, QFT with defects, Quantization as a Kan Extension, 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 surface, Riemannian manifold, Riemannian metric, Ring, 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 Gaito, Stone Spaces, Stone-Weierstrass theorem, Strøm's model category, Strøm's theorem, String Lie 2-algebra, String field theory > history, Sup Lat, Sweedler coring, Sweedler notation, Symbol Sandbox > history, T-complex, T-duality, Tall-Wraith monoid, The Catsters, The Joy of Cats, Theory and Applications of Categories, Theta-space, Thomas Nikolaus, 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, 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 M-Set, Urs Schreiber, Valerio Toledano Laredo, Vaughan Pratt, Vect, Verity on descent for strict omega-groupoid valued presheaves, Victor Porton, Vietoris complex, Vishal Lama, Vladimir Arnold, Vladimir Drinfel'd, Vladimir Voevodsky, Voevodsky motive, Volodymyr Lyubashenko, Waldhausen category, Warsaw circle, Weierstrass preparation theorem, Weil algebra, Weyl algebra, Whitehead product, Whitehead tower, Wightman axioms, Yang-Mills field, Yang-Mills theory, Yoneda embedding, Yoneda lemma, Yoneda lemma for (infinity,1)-categories, Yoneda lemma for bicategories, Yoneda reduction, 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, 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 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 category, algebraic fundamental group, algebraic geometry, algebraic group, algebraic lattice, 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 scheme, alternative algebra, ambient category, ambimorphic object > history, an elementary treatment of Hilbert spaces, anabicategory, anafunctor, anafunctor category, 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, 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 theorem, bi-brane, bi-branes > history, bi-pointed object, biactegory, bicategory, bicategory of fractions, bicategory of relations, bicrossed product, bifibration, bijection, bimodel, bimodule, bimonoid, biproduct, birational geometry, bo functor, boolean domain, boolean function, boolean-valued function, bottom, boundary of a simplex, bounded operator, braid group, braided monoidal 2-category, braided monoidal category, brane, branes > history, building, bundle, bundle gerbe, bundle gerbe module, butterfly, cactus language, calculus of fractions, canonical commutation relation, canonical morphism, canonical topology, cardinal number, cartesian closed category, cartesian monad, cartesian monoidal category, cartesian morphism, cartesian object, cartesian product, cartesian space, cat 2-group > history, cat-1-group, cat-2-group, cat-n-group, 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 translation, category with weak equivalences, causet, cellular approximation theorem, center, centipede mathematics, centralizer, chain algebra > history, chain complex, chain homology and cohomology, 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 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, cluster algebra, co-H-space, co-Yoneda lemma, co-span, coadjoint orbit, coalgebra, cobordism, cobordism category, cobordism hypothesis, 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, cofinal functor, cogenerator, cograph of a functor, cogroup, coherent category, coherent formula, 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 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, comparison, complement, complemented subobject, complete Boolean algebra, complete Heyting algebra, complete Segal space, complete lattice, complete space, completely prime filter, completion, complex, complex number, composition, compositions in cubical sets, computad, computer science, concordance, concrete category, concrete sheaf, cone, cone morphism, configuration scheme, conformal field theory, congruence, conical space, connected object, connected relation, connected space, connection, connection for a coring, connection on a bundle, connection on a cubical set, 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, 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, cosmos, cotangent bundle, cotensor product, countable choice, countable set, cover, coverage, covering relation, covering space, 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, cycle category, cyclic cohomology, cyclic order, cyclic set, d-space > history, dagger-category, database of categories, day convolution > history, de Morgan duality, de Rham complex, de Rham space, decategorification, decidable equality, decidable object, 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, 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, dichotomy between nice objects and nice categories, diffeological space, diffeomorphism, 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 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, display map, distributive category, distributive lattice, distributive law, doctrine, domain, domain opfibration, double bicategory, double category, double comma object, double complex, double derivation, double nerve, down set, dual adjunction, dual equivalence, dual number, duality, dualizable object, dualizing object, effective epimorphism, effects of foundations on "real" mathematics, electric charge, electromagnetic field, electromagnetism, element, element in abelian category > history, element in an abelian category, element of an abelian category > history, elementary embedding, elliptic cohomology, empty set, empty subset, end, endofunctor, endomorphism, enhanced triangulated category, enriched Quillen adjunction, enriched category, enriched category theory, enriched factorization system, enriched functor, enriched functor category, enriched homotopical category, enriched homotopy theory, entire relation, epimorphism, epimorphisms > history, equality, equalizer, equationally presentable category, equilogical space, equivalence, equivalence of categories, equivalence of quasi-categories, equivalence relation, equivariant cohomology, equivariant object, eso morphism, essential image, essential supremum, essentially algebraic theory, essentially small category > history, essentially surjective (infinity,1)-functor, essentially surjective functor, etale cohomology, etale map, etale morphism, etale space, euclidean relation, evil, exact category, exact functor, exact sequence, exact sequence of Hopf algebras, examples for Lagrangian BV, examples of adjoint functors, exchange law, excluded middle, exclusive disjunction, exercise in groupoidification - the path integral, experimental alternative definition of functor, exponential law for spaces, exponential object, extended cobordism, extended natural number system, extended natural numbers > history, extended topological quantum field theory, extensional relation, extensive category, exterior algebra, exterior differential system, extranatural transformation, extremal epimorphism, extremal monomorphism, factorization algebra, factorization system, faithful > history, faithful functor, familial regularity and exactness, family of supports, fc-multicategory, ff morphism, fiber, fiber bundle, fiber product, fibered category > history, fibered n category > history, fibration, fibration in a 2-category, fibration of bigroupoids, fibration of points, fibration of quasi-categories, fibration of simplicial sets > history, fibration sequence, fibration theory, field, field strength, filter, filtered category, filtered limit, filtered space, filtrant category > history, fine sheaf, finitary functor, finitary monad, finite category, finite group, finite mathematics, finite object, finite set, finite-product theory > history, finitely cocomplete category, finitely complete category, finitely generated object, finitely presentable object, finitism > history, fivebrane 6-group, flabby sheaf, flag variety, flat functor, flat module, flat morphism, folk model structure, folk model structure on Cat, foo > history, foobar > history, forgetful functor, formal scheme, formally smooth morphism, formally smooth scheme, foundations, foundations and logic, fpqc topology, frame, framed bicategory, free Hopf algebra, free cocompletion, free completion, free construction > history, free field, free functor, free graded co-commutative coalgebra, free group, free loop space object, free monoid, free product of groups, full > history, full and faithful (infinity,1)-functor, full and faithful functor, full functor, full image, full subcategory, fully faithful (infinity,1)-functor, fully faithful functor > history, function, function set, functional analysis, functional relation, functor, functor category, fundamental category, fundamental group, fundamental group of a topos, fundamental groupoid, fundamental infinity-groupoid, fundamental solution, fusion category, gauge fixing, gauge space, gauge theory, gebra theory, general linear group, general topology, generalized (Eilenberg-Steenrod) cohomology, generalized (Eilenberg-Steenrod) homotopy, generalized cohomology, generalized complex geometry, generalized element, generalized multicategory, generalized object > history, generalized ring, generalized scheme, generalized scheme after Durov, generalized smooth algebras > history, generalized smooth space, generalized smooth space > relationships, generalized smooth spaces > history, generalized tangle hypothesis, generalized the, generalized universal bundle, generating function, generator, geometric definition of higher categories, geometric embedding, geometric function object, geometric function theory, geometric infinity-function theory, geometric model for elliptic cohomology, geometric morphism, geometric quantization, geometric realization, geometric representation theory, geometric shapes for higher structures, geometric theory, geometry, geometry (for structured (infinity,1)-toposes), gerbe, gerbe (as a stack), gerbe (general idea), gerbe (in nonabelian cohomology), germ, global element, global model structure on functors, global model structure on simplicial presheaves, global section, globe, globe category, globular category, globular set, graded vector space, graph, graph of a function, graph of a functor, graph theory > history, gravity as a BF theory, ground ring, group, group T - complex > history, group T-complex, group algebra, group cohomology, group object, group scheme, group theory, grouplike element, groupoid, groupoid cardinality, groupoid object in an (infinity,1)-category, groupoid of Lie-algebra valued forms, groupoidification, groupoids > history, heap, heat kernel, hereditarily finite set, heuristic introduction to sheaves, cohomology and higher stacks > history, higher algebra, higher category theory, higher category theory - contents, higher category theory and physics, higher group character, higher group characters > history, higher homotopy van Kampen theorem, higher topos theory, higher van Kampen theorem, higher-order logic, history of cohomology with local coefficients, holomorph, hom-category, hom-functor, hom-object, hom-set, hom-space, homeomorphism, homological algebra, homological perturbation theory, homological resolution, homology, homomorphism, homotopical algebra, homotopical category, homotopical cohomology theory, homotopical enrichment, homotopical functor, homotopy, homotopy (as an operation), homotopy 1-type, homotopy 2-type, homotopy 3-type, homotopy 3-types > history, homotopy BV-algebra, homotopy category, homotopy category of an (infinity,1)-category, homotopy coherent category theory, homotopy coherent nerve, homotopy coinvariants functor, homotopy equivalence, homotopy extension property, homotopy group, homotopy groups in an (infinity,1)-topos, homotopy hypothesis, homotopy inverse, homotopy lifting property, homotopy limit, homotopy localization, homotopy n-type, homotopy pullback, homotopy theory, homotopy theory of Grothendieck, homotopy type, homset > history, horizontal categorification, horn, hypercompletion, hypercomplex number, hypercover, hyperplane line bundle, hyperplane section theorem, hypersimplex, hyperstructure, hypostatic abstraction, ideal, ideal completion, idempotent, idempotent adjunction, idempotent complete (infinity,1)-category, idempotent monad, idempotent morphism > history, identity > history, identity anafunctor, identity assigning morphism > history, identity element, identity function, identity functor, identity monad, identity morphism, identity natural transformation, identity-assigning morphism, image, implication, inaccessible cardinal, ind-object, ind-object (infinity,1)-category > history, ind-object in an (infinity,1)-category, indiscrete category, induced representation, induced representation > adjoint, induced topology, induction, inductive limit, inductive limit > history, infinite set, infinitesimal neighbour > history, infinitesimal number, infinitesimal object, infinitesimal path infinity-groupoid in a smooth topos > history, infinitesimal singular simplicial complex, infinity comma one category > history, infinity groupoid > history, infinity stack > history, infinity topos > history, infinity-Lie theory - contents, infinity-Lie-groupoid > history, infinity-category, infinity-group, infinity-groupoid, infinity-limits - contents, infinity-quantity, infinity-space, infinity-stack, infinity-stack homotopically, infinity-stackification, infinity-topos, information geometry, inhabited object, inhabited set, initial > history, initial algebra, initial object, injection, injective hull, injective object, inner automorphism, inner automorphism 2-group, inner product of multisets, inner product space, inquiry, inquiry driven system > history, integrable system, integral cohomology, integral domain, integral scheme, integration, integration over supermanifolds, intermediate value theorem, internal category, internal hom, internal infinity-groupoid, internal logic, internal logic of an (infinity,1)-topos, internal relation, internal set, internalization, internally projective object, intersection, interval, interval category, interval object, intuitionistic logic, inverse, inverse image, inverse limit, involution, ionad, irreducible representation, irreducible topological space, irreflexive relation, irreflexive relations > history, isofibration, isometry, isomorphism, jim stasheff > history, join, join of categories, join of simplicial sets, k-morphism, k-simply connected n-category, k-surjective functor, k-surjectivity > history, k-tuply groupal n-groupoid, k-tuply monoidal (n,r)-category, k-tuply monoidal n-category, kernel, kernel functor, kernel pair, knot, knot invariant, lab elf, large cardinal, large category, large sheaf > history, large site, latest changes, lattice, lax 2-adjunction, lax functor, lax natural transformation, left adjoint, lex category > history, light mill, limit, limit in a quasi-category, limits and colimits by example, limits in quasi-categories > history, line bundle, linear category, linear logic, linear order, linear relation > history, lined topos, linguistics, little cubes operad, local epimorphism, local equivalence, local homeomorphism, local isomorphism, local object, local ring, local system, locale, locale of real numbers, localic group, localic topos, localization, localization of an (infinity,1)-category, locally affine space, locally cartesian category, locally cartesian closed category, locally compact space, locally constant ∞-stack > history, locally constant function, locally constant sheaf, locally convex space, locally discrete 2-category, locally finitely presentable category, locally groupoidal 2-category, locally modeled monoid, locally path-connected space, locally posetal 2-category, locally presentable category, locally ringed space, locally small > history, locally small category, logic, logical functor, logical graph, long line, loop space, loop space object, loset > history, lower set, m-cofibrant space, magma, magnetic charge, manifold, mapping cone, mapping cylinder, matching family, material-structural adjunction, mathematics, mathematicscontents, matrix Hopf algebra, matrix calculus, matrix mechanics, matrix theory, maximal ideal theorem, maximal sieve, maximal spectrum, measurable space, measure coalgebra, measure space, measure theory, meet, metric space, microbundle, microcosm principle, minimal logic, minimal negation operator, mirror symmetry, model 2-category, model category, model stack, model structure on an over category, model structure on chain complexes, model structure on cosimplicial rings, model structure on crossed complexes, model structure on cubical sets, model structure on dendroidal sets, model structure on dg-algebras, model structure on homotopical presheaves, model structure on presheaves of simplicial groupoids, model structure on s Set-enriched presheaves, model structure on simplicial presheaves, model structure on simplicial sets, model structure on simplicial sheaves, model structure on topological spaces, models for infinity-stack (infinity,1)-toposes, modification, modular tensor category, module, moduli space, momentum, monad, monadic > history, monadic adjunction, monadic descent, monadic functor, monadicity theorem, monoid, monoid object, monoidal Dold-Kan correspondence, monoidal category, monoidal category > pentagon, monoidal category > pentagonator, monoidal functor, monoidal model category, monotone function, morphism, motivation for sheaves, cohomology and higher stacks, motive, motives and dg-categories, motivic cohomology, multi-cospan, multi-valued function, multicategory, multigrade operator, multilimit, multiplicative cohomology theory, multiplicative system, multiset, multispan, multisymplectic geometry, music, n-Lie algebra, n-category, n-fibration, n-fold category, n-fold complete Segal space, n-functor, n-globe > history, n-group, n-groupoid, n-poset, n-symplectic manifold, n-type > history, n Cob, n POV, natural isomorphism, natural number, natural numbers in SEAR, natural numbers object, natural parametrization, natural transformation, negation, negative thinking, neighborhood, neighborhood retract, nerve, nerve and realization, net, nice category of spaces, nice topological space, nilpotent element, nilpotent ideal, nincompoops > history, nitwit > history, nitwits > history, noetherian category, noetherian ring, noetherian scheme, noetherian topological space, nonabelian Lie algebra cohomology, nonabelian Lie algebroid cohomology, nonabelian algebraic topology, nonabelian cocycle, nonabelian cohomology, nonabelian cosheaf homotopy, nonabelian group cohomology, nonabelian sheaf cohomology, nonassociative algebra, noncommutative algebraic geometry, noncommutative geometry, noncommutative localization, noncommutative scheme, noncommutative thin scheme, nonstandard analysis, normal closure, normal complex of groups, normal monomorphism, normal space, normal subgroup, normal subobject, normal variety, normalizer, normed division algebra, null system, numerable open cover, object, oidification > history, omega-category, omega-graph, omega-groupoid, one-point compactification, open immersion of schemes, open map, open subscheme, operad, operator algebra, opetope, oplax monoidal functor, opposite category, opposite relation, orbifold, orbispace, orbit, orbit category, orbit groupoid, order, order theory, ordered pair, ordinal > history, ordinal number, ordinary differential equation, oriental, oriental > Delta2, oriental > Delta3, oriental > Delta4, orientifold, orthogonal factorization system, orthogonal group, over quasi-category, over-category in quasi-categories > history, overcategory, overt space, pairing, paracocyclic object, paracompact space, paraconsistent logic, paracyclic object, paracyclic set, parallel morphism > history, parallel morphisms, parametric operator, partial equivalence relation, partial function, partial order, partial trace, partially ordered dagger category, partition function, path algebra > history, path category, path groupoid, path infinity-groupoid, path integral, path n-groupoid, path space object, pentagon decagon hexagon identity, perfect Morse function, perfect field, perfect infinity-stack, period, periodic table, permutation, perplex number, philosophy, physics, physicscontents, pivotal symbols, plus construction, point, point of a locale, point of a topos, pointed category, pointed object, pointed set, pointed space, polyfold, polynomial, poset > history, position, pospace, power, power object, power set, praeclarum theorema, pre-additive category, precursors, precursors > history, predicate, predicate logic, predicative mathematics, predicativism > history, preimage, preorder, presentable (infinity,1)-category, presentable category > history, presented stack, preserved limit, preset, presheaf, pretopological space, pretopos, pretriangulated dg-category, prime element, prime ideal theorem, principal 2-bundle, principal bundle, principal infinity-bundle, pro-object, product, profinite completion of a group, profinite group, profinite space, profunctor, profunctor > history, projection measure, projective limit, projective object, prometric space, proper class, property sup, propositional equation reasoning system, propositional logic, propositions as types, propositions as types in combinatory algebra, proset > history, proximity space, pseudo-abelian category > history, pseudofunctor, pseudomodel stack, pseudomonic functor, pseudomonoid, pseudotopological space, pullback, pullback stability, punny title, pure motive, pure set, pushout, pushout-product axiom, quantale, quantization, quantum Gauss decomposition, quantum anomaly, quantum dilogarithm, quantum group, quantum harmonic oscillator, quantum heap, quantum mechanics, quantum operations and channels, quasi-category, quasi-free algebra, quasi-isomorphism, quasicategory > history, quasicoherent ∞-stack > history, quasicoherent sheaf, quasicompact, quasideterminant, quasifibration, quasigroup, quasiorder, quasitopos, quiver, quiver algebra, quotient object, quotient set, rational function, rational homotopy theory, rational number, real number, reality check, reconstruction theorem, red herring principle, redirect, reduced scheme, reduced suspension, refinement, reflective (infinity,1)-subcategory, reflective subcategory, reflexive Banach space, reflexive coequalizer, reflexive relation, regular and exact completions, regular category, regular differential operator, regular element, regular epi > history, regular epimorphism, regular monomorphism, regular space, relation, relation between quasi-categories and simplicial categories, relation theory > history, relative complement, relative point of view, relative scheme, relative scheme > history, relatively compact subspace, relativization in algebraic geometry, renormalization, replete subcategory, representable > history, representable functor, representation, representation ring, request for help, restriction, restriction and extension of sheaves, retract, retraction, riff, rig, right adjoint, rigid monoidal category, ring, ring spectrum, ring theory, ringed site, ringed space, ringoid, ringoid > history, satellite, saturated class of maps, schematic algebra, scheme, scheme as a locally affine structured (infinity,1)-topos, second-countable space, section, semi-abelian category, semi-direct product > history, semi-locally simply connected space, semi-strict > history, semi-strict infinity-category, semicartesian monoidal category, semidirect product, semifree dga, semigroup, semigroups > history, semilattice, semiotic equivalence relation, semiotic information, semisimple category, semisimple object, separable algebra, separable field extension, separable space, separated presheaf, separation axioms, sequence, sequential convergence space > history, sequential space, set, set theory, setoid > history, shape fibration, shape theory, sharing graph, sharing graphs > history, sheaf, sheaf and topos theory, sheaf of n-types, sheafification, sheafification in a Lawvere-Tierney topos > history, sheaves on large sites > history, shifted tangent bundle, short map, sieve, sigma-ideal, sigma-model, sign relation, simple object, simple ring, simplex category, simplex in a lined topos > history, simplical commutative differential graded algebra, simplicial C-infinity-ring, simplicial T-complex, simplicial T-complexes > history, simplicial category, simplicial de Rham complex, simplicial group, simplicial groupoid, simplicial homotopy, simplicial homotopy group, simplicial identities, simplicial local system, simplicial localization, simplicial manifold, simplicial model for weak omega-categories, simplicial nerve > history, simplicial nerve of simplicial categories > history, simplicial object, simplicial object in Cat, simplicial presheaf, simplicial presheaves > history, simplicial resolution, simplicial set, simplicial skeleton, simplicial vector space, simplicial weak omega-category, simplicially enriched category, simply connected space, single-sorted definition of a category, singleton, singular cohomology, sink, site, size issues, skeletal > history, skeleton, skew-commutative algebra, skewfield, skyscraper sheaf, slice category > history, small category, small fibration, small object, small object argument, small presheaf, smash product, smooth Lorentzian space, smooth algebra, smooth infinity-stack, smooth locus, smooth loop space, smooth morphism of schemes, smooth natural numbers, smooth scheme, smooth space, smooth structure of the path groupoid, snake lemma, sober space, socle, soft sheaf, solution set condition, source, space, space and quantity, spaceoid, spaceoids > history, spam: Tess Wither, spam: employee, span, span trace, special characters, special lambda-ring, special orthogonal group, specialization order, specialization topology, spectral sequence, spectral theorem, spectral triple, spectrum, spectrum (geometry), spectrum object, sphere, spin group, spine, split epimorphism, split idempotent, split monomorphism, stabilization hypothesis, stable (infinity,1)-category, stable (infinity,1)-category of spectra, stable (infinity,1)-topos, stable homotopy theory, stable infinity-category, stack, stack* > history, stalk, standard Courant algebroid, star-autonomous category, steering committee, stratified simplicial set, stratifold, strict ω-category > history, strict ω-groupoid > history, strict 2-category, strict 2-functor, strict 2-group, strict 2-limit, strict 3-category, strict Lie 2-algebra, strict category, strict morphism, strict n-category, strict omega-category, strict omega-groupoid, strictly full subcategory, string 2-group, string diagram, string field theory, string group, string structure, string theory, strong monad, strong monoidal functor > history, structural set theory, structure type, structured (infinity,1)-topos,