nLab
Authors

• Tim Porter? co- or authored: homotopy coherent nerve
• Tim Porter? co- or authored: Tim Porter, algebraic fundamental group, profinite homotopy type
• Toby Bartels? co- or authored: Home Page, Toby Bartels, convergence space, pure morphism, simplicial T-complex
• A. Yekutieli co- or authored: Amnon Yekutieli
• Aaron F co- or authored: Aaron F, induced representation, vertex operator algebra
• Abhijnan Rej? co- or authored: etale cohomology
• Acy? co- or authored: Boolean topos
• Adam co- or authored: Adam, Lawvere theory, Nonabelian Algebraic Topology, PRO, Tim Porter, adjunction, algebraic theory, closed category, enriched category, essentially algebraic theory, generalized algebraic theory, indexed functor, models for concurrency, module over a monad, monoidal category, premonoidal category, theory, whiskering
• Adrien? co- or authored: (infinity,1)-category of (infinity,1)-sheaves, How to get started
• Akhil Mathew co- or authored: Akhil Mathew, Eilenberg swindle, Hecke algebra, Hilbert's basis theorem, Karoubi envelope, Levi-Civita connection, Morse lemma, Myers-Steenrod theorem, Riemann surface, Riemannian metric, Schur's lemma, additive envelope, covariant derivative, formal group, group, math blogs, regular category, relative scheme > history
• Aleks Kissinger co- or authored: Bimod, Frobenius algebra, PROP, dagger-category, entanglement, filtered category, quantum information, sifted colimit
• Alex Hoffnung co- or authored: 2-limit, Alex Hoffnung, Northwestern TFT Conference 2009, UC Riverside Seminar on Cobordism and Topological Field Theories, bicrossed product, diffeological space, geometric infinity-function theory, groupoid cardinality, inbound citations, strict 2-groupoid, strong monomorphism
• Alex Nelson? co- or authored: Moonshine, crossed complex, crossed profunctor
• Alexandru Chirvasitu? co- or authored: comma object
• Alma Myers? co- or authored: Sandbox > SVG
• Alon Amit? co- or authored: math blogs
• Amnon Yekutieli co- or authored: deformation quantization
• Amnon+Yekutieli co- or authored: Amnon Yekutieli
• Andrea Ferrario? co- or authored: Poisson sigma-model
• Andreas Holmstrom co- or authored: Andreas Holmstrom, cohomology, model category
• Andrej Bauer? co- or authored: math blogs
• Andres Angel? co- or authored: horn
• Andrew Ranicki co- or authored: twisted cohomology
• Andrew Stacey co- or authored: (infinity,1)-category of (infinity,1)-sheaves, (infinity,1)-topos, (infinity,1)-topos - contents, (sub)object classifier in an (infinity,1)-topos, 2009 August changes, 2009 February changes, 2009 January changes, 2009 July changes, 2009 June changes, 2009 September changes, A Not-So-Nice Submanifold, About, Andrew Stacey, Anonymous Coward, Banach space, Boman's theorem, Borromean link, Borromean link - SVG, Brown -- Abstract Homotopy Theory and Generalized Sheaf Cohomology > history, Brown-Grossman homotopy group, Brown AHT, Chen space, Chevalley-Eilenberg algebra in synthetic differential geometry, DF space, Diaconescu's theorem, Domenico Fiorenza, FAQ, Fréchet manifold, Frölicher space, Frölicher spaces and Isbell envelopes, G-delta subspace, Grothendieck's Galois theory, HOMFLY-PT polynomial, Hausdorff space, Higher Topos Theory, Home Page, Hopf link, Hopf link - SVG, How to get started, How To, Inclusion Sandbox, Isbell conjugation > history, Isbell envelope, Künneth theorem, Kontsevich integral, Lawvere theory, Leinster2010, Lie's three theorems, Milnor mu-bar invariants, On the CLassification of Topological Field Theories > history, Poincar%C3%A9 duality > history, Pontrjagin-Thom collapse map, Pr(infinity,1)Cat, Prime De Gold, Reedy category, Reidemeister move, Reidemeister move 1 - SVG, Reidemeister move 2 - SVG, Reidemeister move 3 - SVG, Riemannian metric, SEAR plus epsilon, SVG Editor How To, SVG downarrow, SVG downarrowtail, SVG hookdownarrow, SVG hookrightarrow, SVG images, SVG nearrow, SVG pullback, SVG rightarrow, SVG searrow, SVG skein double crossing, SVG skein negative crossing, SVG skein no crossing, SVG skein positive crossing, SVG triplelengthrightarrow, SVGsandbox, Sandbox, Sandbox > SVG, Sandbox > test, Searching the n Lab, Smith space, Spanier-Whitehead duality, TVS relationships, Tall-Wraith monoid, Template page, Timeline of category theory and related mathematics, Toby Bartels, Vassiliev invariant, Vassiliev skein relation, Verity on descent for strict omega-groupoid valued presheaves, Whitehead link, Whitehead link - SVG, Yoneda lemma, adjunction, adjunction > zigzagepsilon, adjunction > zigzageta, algebraic category, algebraic homotopy, algebraic theories in functional analysis, all changes, an elementary treatment of Hilbert spaces, associahedron, barreled topological vector space, basis in functional analysis, basis of a free module, blob homology, bridge number, bump function, categorical properties of Frölicher spaces, category of fibrant objects, category theory, cinquefoil knot - SVG, circle, circle n-bundle with connection, closed map, co-H-space, cogroup, cohomology, cohomology theory, colorable knot, comma category, comma object, commutative algebraic theory, compact self-adjoint operator, complete topological vector space, constant morphism, contents, contents of contents, continuous map, convenient vector space, cotangent bundle, counterexamples in algebra, database of categories, density matrix, diagram of LCTVS properties, diffeological space, differential cohomology, differential graded algebras and differential graded Lie algebras-relationships, differential graded objects - contents, differential module, differential topology of mapping spaces, distribution, embedding of smooth manifolds, enriched bicategory, epimorphism, equivariant tubular neighbourhoods, evaluation fibration of mapping spaces, examples of Frölicher spaces, exercise in groupoidification - the path integral, figure 8 knot - SVG, figure eight knot, flat module, framed link, full functor, functional analysis - contents, functional analysis bibliography, generalized object > history, generalized smooth space, geometric infinity-function theory, heuristic introduction to sheaves, cohomology and higher stacks > history, ideal completion, induced representation, infinitary Lawvere theory, infinity-gerbe, isomorphism classes of Banach spaces, isotopy, kinematic tangent space, knot, knot group, knot invariant, knot theory - contents, lattice of TVS properties, lctvs dot source, limit, linear mapping spaces, link, linking number, local addition, localization, locally additive space, locally convex space, loop space object, manifold structure of mapping spaces, map from compact space to Hausdorff space, math blogs, mathematics, mathematicscontents, measurable space, modal logic, modified Reidemeister move 1 - SVG, modular tensor category, module spectrum, monadicity theorem, monoidal category, monomorphism, motivation for sheaves, cohomology and higher stacks, normal subgroup, on the manifold structure of singular loops, open map, oriental, oriental > Delta2, orthogonal structure, paracompact topological space, parallelogram identity, path groupoid, pentagon decagon hexagon identity, pentagonal algebra of open string field theory, physics, progroup, propagating flow, proper homotopy theory, proper homotopy theory > history, quasicompact morphism, radial, rational homotopy theory, reality check, reductions deformations resolutions in physics > bv-axes, reductions deformations resolutions in physics > bv-diag, reductions deformations resolutions in physics > cq-arr, reductions deformations resolutions in physics > ln-arr, reductions deformations resolutions in physics > pg-arr, regular space, request for help, second lctvs diagram dot source, sequentially compact space, sheaf, sheaf cohomology, shift map, sieve, singular knot, sketch, slideshow sandbox, smooth loop space, smooth structure from submanifolds, smooth structure of the path groupoid, sober topological space, space and quantity, spam 0, spam 1, spam 2, spam 3, special characters, sphere, stratifold, stuff, structure, property, subcanonical coverage, subsets of lctvs, subtopos, symmetric monoidal category, symmetric product of circles, tangent spaces of mapping spaces, tangential notions of Frölicher spaces, theory of primes > history, topological concrete category, topological notions of Frölicher spaces, topological vector space, topology of mapping spaces, topos, totally convex space, transgression, trefoil knot, trefoil knot (2 bridge) - SVG, trefoil knot - SVG, triangle identities, trigonometric identities and the irrationality of pi, tubular neighbourhood of a mapping space, type (functional analysis), unitary group, universal algebra, universal algebra in a monoidal category, universal coefficient theorem, universal principal bundle, universal quantifier, weighted limit, what to contribute, why (infinity,1)-categories?, writhe
• Angela? co- or authored: math blogs
• Anny? co- or authored: quasicompact morphism
• Anonymous co- or authored: math blogs
• Anonymous Coward co- or authored: point of a topos
• Anonymous Hero co- or authored: Tom Leinster
• Anonymous Coward co- or authored: (2,1)-category, (infinity,1)-quantity, (infinity,1)-topos, Amitsur-Martindale ring of quotient, 2-category, 2-crossed module, 2-morphism, 2-vector space, 2009 August changes, 2009 July changes, A Survey of Elliptic Cohomology - A-equivariant cohomology, A Survey of Elliptic Cohomology - cohomology theories, A Survey of Elliptic Cohomology - equivariant cohomology, A Survey of Elliptic Cohomology - formal groups and cohomology, A-infinity-algebra, A-infinity-category, A-infinity-ring, AQFT, Aaron Lauda, About, Alex Hoffnung, An Exercise in Kantization, Anonymous Coward, Beck-Chevalley condition, Berezin integral, Boman's theorem, Bool Alg, Boolean ring, Boolean topos, Bourbaki, Bousfield localization, Branislav Jurco, Brie Finegold, Brown AHT, CAT(X) > history, Cart Sp, Categories and Sheaves, Chern-Simons element, Chern-Weil homomorphism, David Roberts, Day convolution, Dold-Thom theorem, Drinfel'd double, ETCS, Eilenberg-Mac Lane space > history, Eilenberg-Moore category, Eric Forgy, FAQ, FQFT, Florian Schätz, Fréchet space, Frédéric Paugam, Frölicher space, Fred van Oystaeyen, Gabriel C. Drummond-Cole, General Discussion, Godement product, Grothendieck construction, Grothendieck topology, Grothendieck universe, Hamiltonian, Hans-Joachim Baues, Hausdorff dimension, Hausdorff maximal principle, Heyting algebra, Ho(Top), Home Page, Hopf fibration, How To, Hurewicz fibration, Isbell duality, Jelle Herold, Jocelyn Ireson-Paine, Jonathan Block, Kähler differential, Kan extension, Koszul duality, Lambda-ring, Leinster2010, Lie's three theorems, Lie algebra, Lie infinity-algebroid representation, Lie integration, Lie operad, Lie theory, Marta Bunge, Maschke's theorem, Matthias Blau, Maurer-Cartan form, Mitchell-Bénabou language, Moonshine, Moore complex, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, Online > history, Peter Olver, Pi-algebra, Poincare group, Poisson Lie group, Quantum Fields and Strings, Quantum mechanics for mathematicians, Quillen exact category, Renormalization and Effective Field Theory, Rod Mc Guire, Romie Banerjee, Sandbox, Sandbox > 905234, Sandbox > SVG, Schur functor, Schwarzschild spacetime, Shigeru Mukai, Shiing-shen Chern, Steiner system, Stephen Britton, Stone duality, TCFT, Template page, The Dirac Electron, Three Roles of Quantum Field Theory, Tim Porter, Tim van Beek, Timeline of category theory and related mathematics, Timothy Porter > history, Topological Quantum Field Theories from Compact Lie Groups, Towards an enumerative geometry of the moduli space of curves. , Urs Schreiber, Yemon Choi, Yoneda embedding, Yoneda lemma, Young diagram, ZFC, Zamolodchikov equation, abelian category, action, action Lie algebroid, action of a category on a set, adic topology > history, adjoint functor, adjoint functor theorem, algebraic model for modal logics, algebraic space, all changes, ambient category, analytic geometry, analytic variety, analytic versus synthetic, associative operad, associator, automaton, axiom of choice, bar construction, basic ideas of moduli stacks of curves and Gromov-Witten theory, basis of a free module, bicartesian closed category, bimodule, blob homology, bornological topological vector space, canonical model structure on groupoids, cardinal number, cartesian monoidal category, category algebra, category theory, cell complex, central charge, choice operator, cobordism hypothesis, cocomplete category, cocontinuous functor, codiscrete groupoid, coequalizer, coherent sheaf, cohomology, coideal, colimit, colimits in categories of algebras, comonad, comonadic functor, compact object, compact self-adjoint operator, completion, conformal field theory, conformal net, connected object, connection on a 2-bundle, contents, context-free grammar, convenient category of topological spaces, corecursion, counterexamples in algebra, coverage, crossed complex, crossed module, crossed n-cube, crossed square, crystalline cohomology, cube category, de Rham complex, de Rham space, decalage, definition of topology, deformation retraction, delooping, delta measure, dependent product, derivation, derivator, derived functor, dg-category, diagonal of a bisimplicial set, diagrammatic order > history, differential fivebrane structure, differential forms in synthetic differential geometry, differential geometry, differential string structure, dinatural transformation, directed topological space, double category, enriched category, equalizer, essential image, essential supremum, event horizon, evil, exotic smooth structure, factorization algebra, faithful functor, fibration, fibration fibered in groupoids, filtered complex, filtered topological space, finite category, finite limit, finite set, finite-product theory > history, finitely complete category, focal point, fork, free cocompletion, free loop space object, full functor, fully formal ETCS, fundamental group of a topos, fundamental theorem of algebra, fundamental vector field, generalized universal bundle, geometric Langlands > history, geometric function object, geometric function theory, geometry, gerbe, gerbe (as a stack), gerbe (general idea), global analytic geometry, global element, graph, graph of a function, group, groupoidification, heuristic introduction to sheaves, cohomology and higher stacks > history, higher algebra, higher category theory, higher category theory and physics, hom-functor, homotopy Kan extension, homotopy category, homotopy coherent diagram, homotopy exact square, homotopy groups of a Lie groupoid, homotopy theory, horizon > history, horizontal composition, horn, hyperring, inaccessible cardinal, inbound citations, infinity-Chern-Weil theory introduction, infinity-category, injective hull, integration over supermanifolds, internal logic, join of simplicial sets, k-tuply monoidal n-category, kernel, kernel pair, lax functor, linear logic, linguistics, local isomorphism, local object, locale of real numbers, localization, locally compact space, locally convex space, long line, looping, math blogs, mathematics, model structure on algebraic fibrant objects, model structure on simplicial sets, motivation for sheaves > history, motives and dg-categories, music, n POV, natural transformation, nerve, noncommutative algebraic geometry, normal variety, open map, operad, opposite category, oriental, over-(infinity,1)-category, overcategory, paracompact topological space, partial order, path space, perfect field, philosophy, physics, pointed derivator, presheaf, prime spectrum, pro-object, pseudomonic functor, pseudonatural transformation, quandle, quantale, quantum field, quantum operation, quasigroup, regular epimorphism, regular monomorphism, relativistic particle, renormalization, replete subcategory, representable functor, ribbon graph, rig, ring, ringed site, ringed topos, section, semicategory, semifunctor, semigroup, semisimple category, shape theory, sheafification, sheaves on a simplicial topological space, shuffle, sifted colimit, sigma-model, simplex category, simplicial complex, simplicial localization of a homotopical category, simplicial model category, simplicial set, simplicially enriched category, simulation, slideshow sandbox, small object, smooth algebra, smooth algebra in algebraic sense, snake lemma, space, space and quantity, spam 2, span, special relativity, spectral measure, spectral sequence, spectrum, spinning particle, split equalizer, stack* > history, stratifold, string diagram, string theory, super tangent bundle, superdifferential form, suspension, tangent category, test category, thick subcategory, topological submersion, topologizing filter, total category, transversal maps, triadic relation" > history, trigonometric identities and the irrationality of pi, twisted K-theory, twisting cochain, two-out-of-six property, type-theoretic definition of category, ultrafilter, ultraproduct, ultrareal numbers, universal fibration of (infinity,1)-categories, vertex operator algebra, vertical categorification, weak factorization system, whisky club, why (infinity,1)-categories?, zekeriya arvasi
• Anonymous Heroic Speller co- or authored: Michael Boardman
• Another Anonymous Coward co- or authored: FQFT
• Approved Stephen? co- or authored: math blogs
• Archimedes? co- or authored: closed category
• 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: Kochen-Specker theorem, SEAR, poset of commutative subalgebras
• Ben Sprott? co- or authored: comodule
• 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
• Beppe Metere? co- or authored: butterfly, crossed profunctor
• Beren Sanders? co- or authored: (infinity,1)-category, (infinity,1)Cat, A-infinity-category, Grothendieck category, Grothendieck pretopology, Hochschild cohomology, Moore complex, Pontrjagin dual, Waldhausen category, adjoint functor theorem, algebraic K-theory, bialgebroid, braided monoidal functor, category with weak equivalences, coideal, compact-open topology, derived functor, dg-category, differential graded algebra, geometric definition of higher categories, geometric morphism, homotopy category, homotopy category of an (infinity,1)-category, homotopy limit, local model structure on simplicial presheaves, model structure on functors, model structure on simplicial presheaves, topos
• Bertfried Fauser? co- or authored: Young diagram
• Blake Stacey co- or authored: 3d quantum gravity, Atiyah-Singer index theorem, Blake Stacey, Home Page, Virasoro algebra, c-theorem, conformal field theory, differential K-theory, effective quantum field theory, higher category theory, holographic principle, partition function, quantum harmonic oscillator, quantum mechanics, renormalization, spinning string, state on an operator algebra, state-field correspondence, string field theory, supergravity, supersymmetric quantum mechanics, universality, universality class, vacuum
• Brie Finegold co- or authored: Brie Finegold, math blogs
• Bruce Bartlett co- or authored: 2-vector space, 2009 July changes, 2009 June changes, BV-BRST formalism, Bruce Bartlett, Chern-Simons theory, FQFT, General Discussion, Help me! I'm trying to understand Bakalov and Kirillov, Home Page, How to get started, How To, Northwestern TFT Conference 2009, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, Pivotal symbols > history, Reshetikhin-Turaev construction, Sandbox > SVG, Timeline of category theory and related mathematics, Trimble on ETCS I, UC Riverside Seminar on Cobordism and Topological Field Theories, UC Riverside Seminar on Cobordisms and Topological Field Theories > history, cobordism hypothesis, compact object, contents, coverage, differentiable stack, differential cohomology, electromagnetic field, examples for Lagrangian BV, fusion category, geometric infinity-function theory, geometrodynamics, heuristic introduction to sheaves, cohomology and higher stacks > history, integration over supermanifolds, internal hom, local system, monoidal category, n Insights, oriental, perfect infinity-stack, pivotal symbols, polyfold, rigid monoidal category, semisimple category, sieve, twisted complex
• Cameron Smith? co- or authored: generalized element, module, section
• Caramdir? co- or authored: geometric stack
• Carol? co- or authored: About, Community
• Charles Rezk co- or authored: Theta-space
• Charles Siegel? co- or authored: counterexamples in algebra, split exact sequence
• Charles Wells co- or authored: 2009 August changes, category theory, diagrammatic order > history
• Chris? co- or authored: split idempotent
• Chris Brav co- or authored: 2009 June changes, Chris Brav, Timeline of category theory and related mathematics, differential graded categories > history, fiber product, geometric infinity-function theory
• Chris Rogers co- or authored: Chris Rogers, multisymplectic geometry, n-plectic geometry
• Chris Schommer-Pries co- or authored: (infinity,n)-category of cobordisms, Chris Schommer-Pries, bibundle, semisimple category
• Chris Waggoner? co- or authored: Gleason's theorem, Grothendieck's Galois theory, Grothendieck universe, Haar measure, Lebesgue measure, Stone duality, ZFC, graph, measure theory, motivation for sheaves, cohomology and higher stacks, opposite category, probability theory, proper class, proposition, pure set
• Christopher Abaddon? co- or authored: Sandbox
• Claire Tomesch co- or authored: (infinity,n)-category, Claire Tomesch, combinatorial model category, geometric morphism, image, locally connected geometric morphism, stack
• Colin Mc Larty co- or authored: foundations and philosophy
• Colin Tan co- or authored: Colin Tan, evil, math blogs, principal bundle, real closed field
• Contempts->Contents? co- or authored: join
• Dan Christensen co- or authored: model structure on topological spaces
• Daniel Miller? co- or authored: Zariski site, ringed topos
• 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
• Darius Jahandarie? co- or authored: braided monoidal category
• Darran Mc Manus? co- or authored: Osterwalder-Schrader theorem
• David Carchedi? co- or authored: topological stack
• David Carchedi co- or authored: (infinity,1)-quasitopos, (infinity,1)-site, generalized multicategory, reflective sub-(infinity,1)-category, smooth algebra, topological stack
• David Corfield co- or authored: (∞,1)-algebraic theory, (-1)-groupoid, (1,1)-dimensional Euclidean field theories and K-theory, (2,1)-algebraic theory of E-infinity algebras, (2,1)-dimensional Euclidean field theories and tmf, (2,1)-dimensional Euclidean field theory, (infinity,n)-category of cobordisms, (infinity,n)-vector space, (n,r)-category, (sub)object classifier in an (infinity,1)-topos, 2-monad, 2-spectral triple, 2009 August changes, 2009 July changes, 2009 June changes, 2009 September changes, AQFT, Ad S-CFT, Anders Kock, Another page > history, Axiomatic field theories and their motivation from topology, BDR 2-vector bundle, Baues > history, Bohr topos, Cartan geometry, Cat, Cauchy complete category, Chern-Simons circle 3-bundle, Chern-Simons theory, Chern-Weil theory in Smooth∞Grpd, Coyoneda lemma > history, D'Auria-Fre formulation of supergravity, D-module, D-scheme, David Corfield, Dedekind cut, Dold-Thom theorem, Donaldson-Thomas invariant, Eckmann-Hilton argument, Eckmann-Hilton duality, Eilenberg-Mac Lane space, Elephant, Eric Goubault, Erlangen program, FQFT, Felix Klein, Frölicher space, Freyd cover, G-structure, Gabriel-Ulmer duality, Goodwillie calculus, Hans-Joachim Baues, Hilbert scheme, Home Page, Kan extension, Kirill Mackenzie, Klein 2-geometry, Klein geometry, Lambda-ring, Lie groupoid, Mac Neille completion, Markov chain, Mike Shulman, Moore space, NS5-brane, Nikolai Durov, Nonabelian Algebraic Topology, Oberwolfach Workshop, June 2009 -- Abstracts, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, P-ring, Polish space, Pos, Reconstruction of Groups, S-duality, Sandbox, Schur functor, Some Thoughts on the Future of Category Theory, Steve Lack, String Lie 2-algebra, T-duality, TCFT, Tall-Wraith monoid, Tannaka duality for geometric stacks, The Joy of Cats, Thom spectrum, Timeline of category theory and related mathematics, Topological Algebraic Geometry - A Workshop, Trimble's notion of weak n-category > history, Trimble on ETCS I, Trimble on ETCS II, Vietoris complex, Wasserstein metric, Weil algebra, Yoneda embedding, Yoneda lemma, abstract Stone duality, adjoint equivalence, adjoint functor, algebra, algebra for an endofunctor, algebra over a Lawvere theory, algebraic model for modal logics, algebraic set theory, allegory, analytic versus synthetic, axiom of foundation, bibundle, bicrossed product, biology, bisimulation, blob homology, bundle, bundle gerbe, calculus of constructions, canonical hypergroup, cartesian monad, category algebra, category theory, centipede mathematics, classical limit, classifying topos, closed monoidal structure on presheaves, co-H-space, co-Yoneda lemma, coalgebra, coalgebra for an endofunctor, cobordism hypothesis, cofibration category, coherent logic, cohesive (infinity,1)-topos, cohesive (infinity,1)-topos -- structures, cohesive homotopy type theory, cohomology, cohomology group, coinduction, colimit, colimits in categories of algebras, combinatorial spectrum, commutative square, commutativity of limits and colimits, comonad, compact object, compact space, complete space, completion, concrete category, configuration space, conformal net, context, convex set, convex space, corecursion, cosheaf, cosmic cube, covariant derivative, critics of string theory, crossed n-cube, crystal, cubical set, cycle category, cyclic order, deformation theory, dense monomorphism, dependent product, derived algebraic geometry, derived category, dg-algebra > history, dichotomy between nice objects and nice categories, differential cohomology, differential nonabelian cohomology, differential object, diffiety, dinatural transformation, direct sum, direction, distributive law, doctrine, dual heterotic string theory, duality, effective epimorphism in an (infinity,1)-category, effective quantum field theory, effective topos, electric-magnetic duality, electromagnetic field, elliptic cohomology, enriched category, entropy, equivalence, equivariant cohomology, examples of adjoint functors, exclusive disjunction, existential quantifier, exponential object, extended natural numbers > history, extensional relation, factorization algebra, fiber product, field with one element, fivebrane Lie 6-algebra, flat functor, flat module, flat morphism, foundation of mathematics, foundations and philosophy, fpqc topology, free cocompletion, fully formal ETCS, fundamental category, fundamental group of a topos, fundamental infinity-groupoid, 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, geometric realization, geometrodynamics, geometry, geometry (for structured (infinity,1)-toposes), gnarly problems in physics, graph of a function, group cohomology, group homotopy, hereditarily finite set, heuristic introduction to sheaves, cohomology and higher stacks > history, higher Cartan geometry, higher Klein geometry, higher algebra, higher category theory, higher category theory and physics, higher dimensional Chern-Simons theory, holographic principle, holographic principle of higher category theory, homotopical cohomology theory, homotopy (as an operation), homotopy category, homotopy groups in an (infinity,1)-topos, homotopy type theory, hypercompletion, hyperdoctrine, hyperring, ideal completion, induced representation, induction, infinitesimal object, infinity-Chern-Weil theory introduction, infinity-algebra over an (infinity,1)-algebraic theory, infinity-groupoid, infinity-space, infinity-stack homotopically, information geometry, initial algebra, injective hull, integrable distribution, integral transforms on sheaves, internal logic, internal logic of an (infinity,1)-topos, internalization, invariant polynomial, invariant theory, irreducible representation, k-simply connected n-category, knot invariant, left adjoint, limits and colimits by example, local isomorphism, locale, locally finitely presentable category, locally presentable (infinity,1)-category, manifold, math blogs, matrix mechanics, measurable space, microcosm principle, modal logic, model structure on functors, module over a monad, monad, monoid, motivation for sheaves, cohomology and higher stacks, multilimit, multisymplectic geometry, n-plectic geometry, n POV, negative thinking, nonabelian cohomology, nonabelian group cohomology, noncommutative algebraic geometry, noncommutative geometry, operad, opposite category, orientation in generalized cohomology, period, philosophy, physics, physicscontents, planar algebra, pointed category, power object, predicative mathematics, presheaf, pretopos, principal 2-bundle, principal infinity-bundle, probability theory, profunctor, pure motive, pure set, quantale, quantum field theory, quantum gravity, quantum group Fourier transform, quasigroup, rational homotopy theory, rational topological space, reconstruction theorem, regular category, regular monomorphism, rig, right adjoint, semi-abelian category, sheafification, simplicial object, simplicial ring, simulation, smooth Lorentzian space, smooth structure, space and quantity, species, spectrum, spectrum object, stable homotopy theory, string group, string structure, string theory, structured (infinity,1)-topos, stuff, structure, property, subcategory, supergravity, supergravity C-field, symmetric function, symplectic Lie n-algebroid, symplectic geometry, synthetic differential geometry, synthetic differential geometry applied to algebraic geometry, tangent (infinity,1)-category, tangent category, temporal logic, terminal coalgebra, things to be categorified, tiny > history, tiny object, topological T-duality, topological group, topological index, topology, topology and geometry, transgression of bundle gerbes, tree, tripos, tropical semiring, type (functional analysis), type theory, ultrafilter, ultraproduct, uniform space, universal algebra, universal fibration of (infinity,1)-categories, universal quantifier, valuation ring, vertical categorification, volume of a Lie groupoid, von Neumann algebra, well-founded coalgebra, why (infinity,1)-categories?
• David Roberts co- or authored: (infinity,1)-site, (infinity,1)Topos, (n,r)-category, 2-groupoid, 2-limit, 2009 August changes, 2009 July changes, 2009 June changes, 2009 March changes, 2009 September changes, 2Cat, 2d TQFT, A Survey of Elliptic Cohomology, Atiyah Lie groupoid, Avogadro constant, Barratt-Eccles operad, Birkhoff-von Neumann theorem, Bohr topos, Bohr-Sommerfeld leaf, Borsuk's shape theory, Bourbaki, Cartesian morphism, Cat Lab, Cayley-Dickson construction, Chevalley-Eilenberg algebra, Coq, David Roberts, Dedekind completion, Deligne conjecture, Deligne-Mumford stack, Dold fibration, ETCS, Eric Forgy, Euclidean topology, Euclidean-topological infinity-groupoid, F-category, FAQ, Fundamental Bigroupoids and 2-Covering Spaces, Galois theory, Galois topos, Grothendieck's Galois theory, Grothendieck fibration, Grothendieck pretopology, Grothendieck topology, Haar measure, Hitchin fibration, Ho(Cat), Home Page, James Wallbridge, Jean Benabou, John Roberts, Jordan algebra, K-topology, Kripke frame, Les Dérivateurs, Lie 2-group, Lie groupoid, Lie integration, Liouville cocycle, Mike Shulman, Monster group, Morita equivalence, Morse-Kelley set theory, Nonabelian Algebraic Topology, Oka manifold, Oka principle, Osterwalder-Schrader theorem, Pi-algebra, Poincare lemma, Pontrjagin-Thom collapse map, Pursuing Stacks, Pursuing stacks > history, Riemann hypothesis, SEAR, Sandbox > SVG, Sheaves in Geometry and Logic, Sweedler notation, T-duality, Tall-Wraith monoid, Theta category, Theta-space, Thomason model structure, WISC, Warsaw circle, Whitehead tower, Wick rotation, ZFC, affine line, algebraic definition of higher categories, algebraic stack, all changes, alternative experimental definition of commutative diagram, ambient category, anafunctor, analytic spectrum, augmented simplicial set, automorphism 2-group, axiom of choice, ball, basis, bibundle, bicategory, bicategory of fractions, big and little toposes, big site, black hole, blob n-category, brane, bundle 2-gerbe, butterfly, cartesian space, cat-n-group, categorification via groupoid schemes, category of fibrant objects, category of fractions, category of presheaves, category theory, chain homology and cohomology, circle, classification of finite simple groups, closed category, cocomplete well-pointed topos, codomain fibration, coherence law, coherence theorem, cohesive (infinity,1)-topos, cohomology, comma category, comma object, compactly generated space, complete topological vector space, concrete sheaf, connected category, connected space, copyright, cosmic cube, covering space, cube, dagger-category, de Rham space, de Rham theorem, deformation functor, dense sub-site, derivator, diagrammatic order > history, differential string structure, differential topology of mapping spaces, dimension, directed homotopy theory, disjoint coproduct, dream mathematics, effects of foundations on "real" mathematics, electromagnetic field, elementary equivalence, entropy, equivariant cohomology, equivariant stable homotopy theory, evil, exotic smooth structure, extended natural number, extended real number, extensive category, fiber, fiber integration, fibration, fibration of bigroupoids, fibration theory, fine sheaf, finit group > history, finite category, finite object, fork, formally etale morphism, foundation of mathematics, frame, free loop space object, full image, fully formal ETCS, functional, fundamental groupoid, fundamental infinity-groupoid, gauge transformation, generalized continuity, generalized kernel, generalized smooth space, generalized universal bundle, geometric realization of simplicial topological spaces, geometry (for structured (infinity,1)-toposes), gerbe (as a stack), good open cover, graph, group object, groupoid object in an (infinity,1)-category, higher category theory - contents, higher category theory and physics, higher homotopy van Kampen theorem, higher parallel transport, history of cohomology with local coefficients, homotopy - contents, homotopy equivalence of toposes, homotopy groups in an (infinity,1)-topos, homotopy hypothesis, homotopy lifting property, homotopy localization, homotopy theory of Grothendieck, horizontal categorification, idempotent complete (infinity,1)-category, identity polynomial, inbound citations, ind-object, infinity-cohesive site, internal category, internal category in a monoidal category, interval object, inverter, ionad, irreducible polynomial, isomorphism, k-morphism, line object, linear logic, little site, local isomorphism, locale of real numbers, localic group, localization, locally contractible space, locally convex space, locally finite cover, locally n-connected (n+1,1)-topos, locally path-connected space, locally trivial category, loop space, manifold structure of mapping spaces, math archives, math blogs, microbundle, modal logic, n Grpd, natural numbers in SEAR, nice topological space, nonabelian bundle gerbe, nonabelian groupoid cohomology, normal complex of groups, normal space, null system, numerable open cover, open map, orbifold, orientation in generalized cohomology, paracompact topological space, partially ordered dagger-category, partition of unity, path integral, period, plus construction, posite > history, principal infinity-bundle, principle of omniscience, profinite completion of a group, profinite group, profunctor, projective Banach space, projective space, proper Lie groupoid, proper homotopy theory, proper model category, proper topological groupoid, quadratic reciprocity law, quantum anomaly, quantum mechanics in terms of dagger-compact categories, quantum operation, quasi-C groupoid, quasifibration, quasitopological groupoid, quasitopos, red herring principle, reflexive coequalizer, regular cardinal, regular epimorphism, relativistic particle, saturated class of maps, sedenion, semi-abelian category, semi-locally simply connected space, semicategory, semigroup, separated presheaf, shrinkable map, sifted category, sifted colimit, simple group, simplicial Stein site, simplicial localization, simplicial localization of a homotopical category, site, skeleton, small category, smooth infinity-groupoid, smooth manifold, smooth structure, spectral action, spectral sequence, sphere, spin group, sporadic finite simple group, stable derivator, strict epimorphism, string 2-group, string group, string structure, structural set theory, submersion, subquotient, supercompact cardinal, supergravity, synthetic differential geometry, synthetic differential infinity-groupoid, tetracategory, thin homotopy, thread, tmf, topological K-theory, topological T-duality, topological concrete category, topological submersion, torsor with structure category, transfor, transgression, transversal maps, twisted cohomology, two-sided fibration, universal coefficient theorem, universal covering space, universal principal bundle, universal principal infinity-bundle, vertical categorification, weak complicial set, weak inverse, well-connected space, well-ordering theorem, wide subcategory
• David Rydh co- or authored: David Rydh, Yoneda embedding, arrow category
• David Speyer co- or authored: fine sheaf
• David Oury? co- or authored: homotopy extension property
• Dimitri Ara co- or authored: model structure on strict omega-categories
• Dmitri Pavlov co- or authored: 2009 September changes, Eilenberg-Mac Lane spectrum, Morita equivalence, Tychonoff theorem, classifying topos of a localic groupoid, even cohomology theory, globular set, limit, local site, quasi-category, twisted spin^c structure, twisted spin structure
• Dmitry Roytenberg co- or authored: homotopy limit
• Domenico Fiorenza co- or authored: (infinity,n)-vector space, Čech cohomology, Artin ring, Beilinson-Deligne cup-product, Bockstein homomorphism, Calabi-Yau category, Calabi-Yau variety, Chern character, Chern-Simons circle 3-bundle, Chern-Weil theory in Smooth∞Grpd, Connes fusion, David Ben-Zvi, Dijkgraaf-Witten theory, Domenico Fiorenza, Eilenberg-Mac Lane object, Eilenberg-Mac Lane space, Fukaya category, Hodge number, Hodge star operator, K-theory spectrum, Kan complex, L-infinity-algebra, Lazard ring, Leinster2010, Lie algebra, Lie integration, Liouville cocycle, Moore-Seiberg data, Poisson n-algebra, SVGsandbox, String Lie 2-algebra, T-Duality and Differential K-Theory, TCFT, Thom spectrum, Topological Quantum Field Theories from Compact Lie Groups, Weil algebra, Whitehead tower, Whitehead tower in an (infinity,1)-topos, Young diagram, circle n-bundle with connection, cobordism ring, coset, curl, descending chain condition, differential string structure, divergence, fiber integration, fiber sequence, free loop space object, gauge fixing, generalized continuity, geometric realization of simplicial topological spaces, gradient, group cohomology, group extension, infinity-Chern-Weil theory introduction, integral Stiefel-Whitney class, loop space object, mirror symmetry, nonabelian group cohomology, partially ordered dagger-category, projective representation, slant product, spin^c structure, symplectic gradient, tangent category, topological index, transgression, twisted cohomology
• Dylan Thurston? co- or authored: twisting cochain
• Edmund Harriss? co- or authored: math blogs
• Eduardo Ochs co- or authored: Eduardo Ochs, proto-fibration
• Eduardo Pareja-Tobes? co- or authored: adjoint functor, comma object, factorization category, functors and comma categories, reflective subcategory, relative adjoint functor, total category, twisted arrow category
• Eduardo Ochs co- or authored: Grothendieck fibration
• Emily Riehl co- or authored: (infinity,1)-Grothendieck construction, Emily Riehl, Grothendieck fibration, Quillen bifunctor, algebraic model category, algebraic weak factorization system, canonical model structure on Cat, codiscrete cofibration, comma object, complicial set, computad, dendroidal set, directed topological space, doctrinal adjunction, double category, factorization system, fibration in a 2-category, final functor, free monad, marked simplicial set > history, model category, model structure on simplicial sets, model structure on topological spaces, monadicity theorem, simplicial category, simplicial set, small object argument, stratified simplicial set, universal colimit, weak factorization system
• Eric co- or authored: Eric > history, Eric Forgy, Timeline of category theory and related mathematics, homological algebra in the finite element method
• Eric Forgy co- or authored: (∞%2C1)-category > history, (∞,0)-category > history, (∞,1)-category of (∞,1)-categories > history, (infinity,0)-category, (infinity,1)-category, (infinity,1)-category > history, (infinity,1)-category of (infinity,1)-categories, (infinity,1)-category of (infinity,1)-functors, (infinity,1)-category of (infinity,1)-presheaves, (infinity,1)-category of (infinity,1)-sheaves, (infinity,1)-functor, (infinity,1)-presheaf, (infinity,1)-sheaf, (infinity,1)-sheafification, (infinity,1)-topos, (infinity,2)-category, (infinity,n)-category, (infinity,n)-category of cobordisms, (n,r)-category, Čech cohomology, Čech cover, Čech model structure on simplicial presheaves, ω-category > history, ∞-category > history, ∞-groupoid > history, ∞-stack > history, ∞Grpd > history, 1-category, 2-group, 2-groupoid, 2-morphism, 2-vector space, 2009 August changes, 2009 July changes, 2009 June changes, 2009 September changes, 3-groupoid, A-infinity-algebra, A-infinity-category, A-infinity-ring, AQFT, AQFT on curved spacetimes, About, An Exercise in Kantization, Andre Joyal, Anonymous Coward, BV-BRST formalism, Bell's theorem, Bibliography, Boolean algebra, C-star-algebra, Cart Sp, Cartesian fibration, Cat Lab, Cauchy complete category, Cauchy space, Chu construction, Community, Content, Contributors, Crans-Gray tensor product, D-module, Day convolution, Dedekind completion, Deformation Theory, Diff, Dijkgraaf-Witten theory, Directed Algebraic Topology, Discrete causal spaces, Drinfel'd twist, E-infinity-ring, Eilenberg-Mac Lane object, Eilenberg-Mac Lane space, Emily Riehl, Eric Forgy, Exploding a Category > history, FQFT, Fermat theory, Frobenius algebra, General Discussion, Grothendieck construction, Grothendieck topology, Grothendieck topos, Grothendieck universe, H-space, Hasse diagram, Hasse n-graph, Hasse quiver, Hecke algebra, Help me! I'm trying to understand Bakalov and Kirillov, Heyting algebra, Higher Topos Theory, Home Page, Hopf algebra, How to get started, How To, Infinity-Grpd, James Dolan, Kähler differential, Kan complex, Kan extension, Kapranov-Voevodsky 2-vector space, Koszul duality, L-infinity-algebra, Lebesgue measure, Leinster measure, Lie algebra, Lie algebroid, Lie infinity-algebroid, Lie infinity-algebroid representation, Lie theory, MSet, Markov chain, Mathieu Dupont, Multi Set, Nonabelian Algebraic Topology, Nonabelian algebraic topology > history, Notation, Note on Formatting, Oberwolfach, Oberwolfach Workshop, June 2009 -- Abstracts, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, On Scientific Contributions to the n Lab, Organization of the n Lab, Owen Biesel, Position, Velocity, and Acceleration, Pr(infinity,1)Cat, Quantization as a Kan Extension, Quillen adjunction, Quillen equivalence, Rel, Sandbox, Segal category, Segal space, Sjoerd Crans, Some geometric perspectives in concurrency theory, Stinespring factorization theorem, Theta-space, Timeline of category theory and related mathematics, Toby Bartels, Trimble on ETCS II, Trimble on ETCS III, Understanding Constructions in Set, Understanding M-Set, Understanding colimits in Set, Understanding constructions in categories, Understanding limits in Set, Uploaded Files, Urs Schreiber, Vect, Yoneda embedding, abelian group, accessible (infinity,1)-category, action, action group > history, action groupoid, additive category, additive functor, adjoint (infinity,1)-functor, adjoint equivalence, adjoint functor, adjunction, algebra, algebroid, all changes, alternative experimental definition of commutative diagram, anafunctor, applications of (higher) category theory, arrow category, associator, bar construction, bi-pointed object, bialgebra cocycle, bicategory, bimodule, biproduct, bundle gerbe, bundle gerbe module, canonical morphism, cardinal number, cartesian product, category, category algebra, category of elements, category of generalized elements, category theory, category with weak equivalences, categorytheorycontents, causet, chain complex, chain homology and cohomology, classifying space, closed category, closed functor, co-span, coalgebra for an endofunctor, cobordism, cocomplete category, coequalizer, cograph of a functor, cohomology, cohomology group, cohomotopy, cokernel, colimit, combinatorial model category, comma category, commutative algebra in an (infinity,1)-category, commutative diagram, commutative square, compact object in an (infinity,1)-category, complete Segal space, complicial set, computad, concordance, concrete category, cone, cone morphism, congruence, connection, connection for a differential graded algebra, connection on a cubical set, constant functor, constant infinity-stack, contents, copairing, coproduct, cosmic cube, cosmos, cospan, covariant derivative, cover, covering relation, crossed complex, crossed module, cube, cubical category, cubical set, cup product, cylinder functor, dagger-category, dagger-compact category, dagger-graph, database of categories, deformation theory, delooping, dense monomorphism, density matrix, derived category, derived smooth manifold, derived stack, descent, descent for simplicial presheaves, dg-category, dg-quiver, diagram, dichotomy between nice objects and nice categories, diffeological space, diffeology, differential bimodule, differential form, differential forms on simplices, differential graded Lie algebra, differential graded algebra, differential graded coalgebra, direct sum, directed graph, directed homotopy theory, directed n-graph > history, directed object, directed topological space, discrete category, disjoint union, domain theory, double category, double comma object, duality, electric charge, electromagnetic field, electromagnetism, element in an abelian category, end, enriched category, enriched functor, entanglement, equalizer, equivalence, evil, exchange law, exercise in groupoidification - the path integral, experimental alternative definition of adjunction, experimental alternative definition of functor, extended cobordism, extremal quantum channel, fiber sequence, filtered (infinity,1)-category, filtered topological space, finite category, finitely complete category, frame, free cocompletion, function, function set, functor, fundamental infinity-groupoid, generalized (Eilenberg-Steenrod) cohomology, generalized smooth space, generalized universal bundle, geometric embedding, geometric infinity-function theory, geometric morphism, geometric shape for higher structures, geometrodynamics, gerbe, globe, globular set, graded algebra, graded vector space, graph, graph of a function, graph of a functor, graphical quantum channel, group, groupoid, groupoid cardinality, groupoid object in an (infinity,1)-category, groupoid of Lie-algebra valued forms, groupoidification, hereditarily finite set, higher category theory, higher category theory and physics, hom-functor, hom-object, hom-object in a quasi-category, hom-set, homological resolution, homology, homotopy > history, homotopy category of an (infinity,1)-category, homotopy coherent nerve, homotopy group, homotopy hypothesis, homotopy limit, homotopy n-type, homotopy theory, horizontal composition, horn, hypercompletion, hypercover, idempotent, identity assigning morphism > history, identity function, identity morphism, identity-assigning morphism, image, ind-object, ind-object in an (infinity,1)-category, infinity-category, infinity-groupoid, infinity-stack, infinity-stack homotopically, infinity-stackification, infinity-topos, information geometry, inhabited set, inner product of multisets, internal category, internal hom, internal infinity-groupoid, internal set, internalization, interval category, interval object, join, k-morphism, kernel, lab elf, lax 2-adjunction, limit, linear logic, local epimorphism, local isomorphism, local object, local system, localization, localization of an (infinity,1)-category, locally presentable (infinity,1)-category, loop space object, manifold, math blogs, matrix calculus, measure space, metric space, model category, model structure on simplicial presheaves, modification, module, monoid, monoidal (infinity,1)-category, monoidal Dold-Kan correspondence, monoidal category, monoidal category module, monoidal model category, monomorphism, morphism, motivation for directed homotopy, motivation for sheaves, cohomology and higher stacks, multi-cospan, multicategory, multiset, n-category, n-fold category, n-groupoid, n-poset, natural transformation, natural transformation (discussion), nerve, nerve and realization, net, nincompoops > history, nitwit > history, nonabelian cohomology, noncommutative algebraic geometry, noncommutative geometry, nonstandard analysis, object, omega-category, omega-graph > history, 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, presentations of (infinity,1)-sheaf (infinity,1)-toposes, presheaf, principal 2-bundle, principal bundle, principal infinity-bundle, product, profunctor, pullback, pure set, pushout, quantum operation, quantum system, quasi-category, quasi-isomorphism, quiver, quotient object, rectified infinity-stack, redirect, reflective (infinity,1)-subcategory > history, regular differential operator, regular monomorphism, representable functor, retract, right adjoint, ring, section, semidirect product group, semilattice, sequence, sequential topological space, set, sheaf, sieve, sigma-model, simplex, simplex category, simplicial category, simplicial group, simplicial groupoid, simplicial homotopy group, simplicial model category, simplicial model for weak omega-categories, simplicial object, simplicial set, simplicial weak omega-category, simplicially enriched category, singular simplicial complex, site, smooth Lorentzian space, smooth algebra, smooth infinity-groupoid, smooth infinity-stack, smooth loop space, smooth space, source, space and quantity, spacetime, span, special characters, spectrum, split exact sequence, stable (infinity,1)-category, stable (infinity,1)-category of spectra, stable (infinity,1)-topos > history, stable infinity-category, stack, stalk, star-autonomous category, stratified simplicial set, strict ω-category > history, strict ω-groupoid > history, strict 2-category, strict morphism, strict omega-category, strict omega-groupoid, strong monad, strong monomorphism, structured (infinity,1)-topos, subobject, subobject classifier, subset, super q-Schur algebra, suplattice, symmetric monoidal (infinity,1)-category, symmetric monoidal dagger-category, synthetic differential geometry, tangent Lie algebroid, tangent category, target, tensor product, terminal category, terminal object, thin element, topos, torsor, transgression, tree, tree category, triadic relation" > history, truth value, twisted bundle, twisted cohomology, under category, unitary morphism, unitor, universal differential envelope, universal enveloping algebra, vector space, vectorial bundle, vertical categorification, weak complicial set, weak equivalence, weak factorization system, weak omega-category, weighted colimit, weighted limit, well-founded relation, well-order, why (infinity,1)-categories?, zero morphism
• Eric Katerman? co- or authored: simplex category
• Eugene Lerman? co- or authored: orbifold
• Evan Jenkins co- or authored: Azumaya algebra, Evan Jenkins, semigroup
• FH? co- or authored: Alexander Rosenberg, noncommutative localization
• Finn Lawler co- or authored: 2-limit, 2-morphism, 2009 June changes, Adjointness for 2-Categories, Benabou-Roubaud theorem, Eilenberg-Moore category, Finn Lawler, Frobenius reciprocity, Grothendieck construction, Home Page, Kan extension, Kleisli object, Petri net, adjoint triple, adjunction, algebra for a profunctor, algebra for an endofunctor, algebra for an endomorphism, algebraic theory, bicategory of maps, comma object, cone, cone morphism, connection, connection on a double category, constant morphism, context, discrete fibration, doctrinal adjunction, end, familial regularity and exactness, fibration in a 2-category, indecomposable object, indexed functor, internal category, internal category in a monoidal category, internal diagram, internal profunctor, intuitionistic logic, ionad, lax 2-adjunction, lax functor, lax natural transformation, lax-idempotent 2-monad, linear logic, mate, minimal logic, modification, module over a monad, monad, oplax monoidal functor, paraconsistent logic, pseudonatural transformation, pullback, rewriting, sequent calculus, sesquicategory, sieve, simplex category, split coequalizer, star-autonomous category, strict 2-category, successor monad, ternary factorization system, two-sided fibration, type theory, universal algebra
• Fixed Butterflies IILink? co- or authored: butterfly
• Fred C? co- or authored: spam 4
• Frederic Paugam co- or authored: BV-BRST formalism, Frédéric Paugam, Pierre Schapira, algebraic analysis, analytic langlands program, categorical analysis, doctrine, field with one element, functorial analysis, global analytic geometry, higher doctrine, microlocal analysis, microlocalization, place, variational calculus
• G B? co- or authored: superconnection
• G. Rodrigues? co- or authored: Bool Alg
• Gabriel C Drummond-Cole co- or authored: Gabriel C. Drummond-Cole, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology
• Gabriel C. Drummond-Cole co- or authored: Northwestern TFT Conference 2009
• Garlef Wegart? co- or authored: restriction and extension of sheaves
• Gavin W co- or authored: Home Page
• Gavin Wraith co- or authored: Gavin Wraith, How to get started, Lambda-ring, Timeline of category theory and related mathematics, algebraic theory, bimodel, centipede mathematics, coalgebra, commutative algebraic theory, geometric theory, matrix theory, philosophy, special lambda-ring, tensor product theory
• Geoff Cruttwell co- or authored: Cahiers topos, Geoff Cruttwell, enriched category
• Gerry? co- or authored: commutator, order profile
• Goncalo Marques? co- or authored: quantum anomaly
• Gonçalo Marques? co- or authored: crystal, field, orientation, pushout, symmetric function, vertical categorification
• Gordon Royle? co- or authored: math blogs
• 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
• Guillaume Brunerie co- or authored: homotopy type theory, spectrum, suspension spectrum
• Gábor Braun? co- or authored: pure type system
• Hanno Becker co- or authored: Hanno Becker, dg-category
• Harry co- or authored: Čech methods, A-infinity-ring, Grothendieck fibration, Kan extension, Sandbox, anafunctor, basis, basis of a free module, category of presheaves, choice operator, constructive mathematics, cylinder on a presheaf, derivator, diagram, direct image, directed graph, functor, generalized continuity, geometric stack, homotopy category, homotopy category of an (infinity,1)-category, join of simplicial sets, limit, orthogonal subcategory problem, over-(infinity,1)-category, partially ordered dagger-category, presheaf, quadrability, quantum operation, quiver, red herring principle, reflective subcategory, scheme, semicategory, semifunctor, semipresheaf, simplicial localization of a homotopical category, transgression, zigzag category
• Harry Gindi co- or authored: Crans-Gray tensor product, Day convolution, Lawvere interval, separated presheaf
• Herman Stel co- or authored: Čech cohomology, Herman Stel, Kähler differential, internal category, local model structure on simplicial presheaves, model structure on cosimplicial rings, module, smooth algebra, transfinite composition
• Home Page co- or authored: General Discussion
• Hugh Thomas co- or authored: oriental, quiver
• Ian Durham co- or authored: Andrew Gleason, Bell's theorem, Birkhoff-von Neumann theorem, Chris Isham, Dyson formula, Ernst Specker, Gelfand-Naimark-Segal construction, Gleason's theorem, Hamiltonian, Ian Durham, Jeremy Butterfield, John Bell, Kochen-Specker theorem, Lebesgue measure, Markov chain, Sandbox, Simon Kochen, Stokes phenomenon, Stone Spaces, Timeline of category theory and related mathematics, Wick rotation, Wightman axioms, books and reviews in mathematical physics, classical field theory, closed time-like curve, density matrix, electromagnetic field, entanglement, extremal quantum channel, graphical quantum channel, hermitian matrix, no-go theorem, open quantum system, operator algebra, partial trace, physicscontents, probability theory, quantum information, quantum mechanics, quantum operation, quantum state, quantum system, spacetime, trace, unitary operator
• Igor Bakovic co- or authored: Diaconescu's theorem, categorical Galois theory
• Igor Khavkine co- or authored: BV-BRST formalism, Plebanski formulation of gravity, Sandbox, Sandbox > SVG, phase space, proper homotopy theory > history, quantum mechanics, reductions deformations resolutions in physics, reductions deformations resolutions in physics > bv-axes, reductions deformations resolutions in physics > bv-diag, reductions deformations resolutions in physics > cq-arr, reductions deformations resolutions in physics > ln-arr, reductions deformations resolutions in physics > pg-arr, relativistic particle, topological concrete category
• Interested Anonymous Coward co- or authored: simplicial set
• Itai Bar-Natan? co- or authored: familial regularity and exactness
• Ivo? co- or authored: free groupoid
• JCMc Keown co- or authored: ETCS, JCMc Keown, Sandbox, cofinal diagrams, elementary equivalence, evil, filtered complex, finite set, inaccessible cardinal, model theory, monad, multiplicative cohomology theory, set theory, spectral sequence, spectral sequence of a filtered complex, transfor
• JM co- or authored: Chern-Simons form, Hochschild cohomology, books and reviews in mathematical physics, cobordism ring, cone, derived algebraic geometry, group object, nonabelian cohomology
• Jacob Biamonte co- or authored: Jacob Biamonte
• Jacques Carette co- or authored: Lawvere theory, mathematical physics
• Jacques Distler co- or authored: שנה טובה > history, 2-monad, 2-morphisms > history, 2009 June changes, About, Another page > history, Benoit Jubin, CW complex, Crans-Gray tensor product, FAQ, Frölicher space, General Discussion, Group theory > history, Home Page, How To, Jacques Distler, L-infinity algebra > history, Lie algebras > history, Lie infinity-algebra > history, Lie theory, Light mill > history, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, Oidification > history, SVG Editor How To, SVGsandbox, Sandbox, Sheaf and Topos Theory > history, Symbol Sandbox > history, Timeline of category theory and related mathematics, Trimble n-category, Trimble on ETCS I, Trimble on ETCS II, Trimble on ETCS III, Yoneda lemma, adjunction, algebraic theory, ambient category, anafunctor, augmented simplicial set, complete Segal space, concordance, contents, cube category, cubical category, cubical set, epimorphisms > history, exercise in groupoidification - the path integral, fiber sequence, foundation of mathematics, geometric function theory, groupoids > history, homset > history, infinity-stack homotopically, internal logic, internalization, mathematicscontents, monoidal category, n-globe > history, oriental, physicscontents, smooth infinity-groupoid -- structures, solid functor, spaceoids > history, split equalizer, strict omega-category, unit of an adjunction
• James Gabe? co- or authored: von Neumann algebra
• Jamie Vicary co- or authored: dagger-category
• Jamie Vicary co- or authored: Schur functor, directed limit, image, pseudonatural transformation, semisimple category
• Jason Dusek co- or authored: Jason Dusek, exponential object
• Jeanine? co- or authored: math blogs
• Jeff Giansiracusa co- or authored: Jeff Giansiracusa
• Jelle Herold co- or authored: Coq, type theory
• Jocelyn? co- or authored: sheaf semantics of concurrent interacting objects
• Jocelyn Ireson-Paine co- or authored: A Categorical Manifesto, Jocelyn Ireson-Paine, Joseph Goguen, generalisation as an adjunction, sheaf semantics of concurrent interacting objects
• Jocelyn Paine? co- or authored: 2009 June changes, Jocelyn Ireson-Paine, Timeline of category theory and related mathematics, limits and colimits by example, product
• Johan Commelin? co- or authored: stalk
• John Baez co- or authored: (-1)-category, (-2)-category, |cocomplete category > history, 0-category, 2-morphism, 2-morphisms > history, 2-rig, 2-vector space, 2009 August changes, 2009 July changes, 2009 June changes, 2009 September changes, 3-groupoid, Ab, About, Batanin omega-category, Bousfield localization, Bousfield localization of triangulated categories, Cartesian morphism, Cat, Cayley-Dickson construction, D'Auria-Fre formulation of supergravity, D-module, David Corfield, Day convolution, Dold-Kan correspondence, Fermat theory, Frobenius algebra, Gabriel-Rosenberg theorem, Gabriel-Ulmer duality, General Discussion, Grassmann algebra > history, Green-Schwarz mechanism, Grothendieck group, Grothendieck ring, Grp, Home Page, Hopf algebra, How to get started, How To, James Dolan, John Baez, Jordan algebra, Kähler differential, Kapranov-Voevodsky 2-vector space, L-infinity-algebra, Lambda-ring, Lawvere theory, Lectures on n-Categories and Cohomology, Lex, Lie algebra cohomology, Lie groupoid, Lie-Rinehart pair, Light Mills > history, Marcelo Aguiar, Mitchell-Bénabou language, Moore complex, NQ-supermanifold, Omega-group, PROP, Peter May, Pontrjagin dual, Quillen equivalence, Quillen exact category, Quiv, Ring, Sandbox, Schur functor, Serre fibration, Set, String Lie 2-algebra, Swapneel Mahajan, Tall-Wraith monoid, Timeline of category theory and related mathematics, Todd Trimble, Tohoku, Towards Higher Categories, Trimble n-category, Trimble on ETCS I, Urs Schreiber, Vect, Vietoris complex, Young diagram, abelian category, abelian group, action, action groupoid, action of a category on a set, adjunction, algebrad, algebraic stack, algebraic theory, associator, automorphism, bialgebra, bicategory, biproduct, biring, braided monoidal category, braiding, c-theorem, calculus of fractions, cartesian monoidal category, categorification via groupoid schemes, category, category algebra, category theory, category with duals, category with weak equivalences, centipede mathematics, characteristic class, classifying topos, closed category, coalgebra, cocomplete category, cocontinuous functor, coherent sheaf, colimit, combinatorial model category, comonoid, compact closed category, compact object, complement, complete category, composition, computer science, conical space, convex space, coproduct, cosmic cube, cospan, crossed complex, dagger-category, dagger-compact category, database of categories, derived affine scheme, dinatural transformation, directed graph, division algebra, division algebra and supersymmetry, double bicategory, double category, electromagnetic field, endofunctor, enriched category, equivalence, essentially algebraic theory, evil, exact functor, extended topological quantum field theory, exterior algebra, faithful > history, field, field extension, finite limit, foundation of mathematics, free cocompletion, full > history, function, functor, functor category, fundamental groupoid, general linear group, generalized element, generalized smooth space, generalized tangle hypothesis, geometric morphism, graded vector space, group, group algebra, groupoid, higher category theory, higher category theory and physics, hom-functor, homomorphism, homotopy hypothesis, homotopy n-type, homset > history, hypermonoid, identity > history, infinity-stack, internalization, isomorphism, k-surjectivity > history, lax functor, lax natural transformation, limit, linear functor, linear operad, localization, locally finitely presentable category, locally small category, magma, math blogs, 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 Cob, natural isomorphism, natural transformation, normal subgroup, object, omega-category, operad, opetope, oplax monoidal functor, opposite category, optics, pentagon decagon hexagon identity, perfect field, permutation groupoid, plethory, plethysm, polynomial, poset > history, pre-Lie algebra, pre-abelian category, preorder, presheaf, product, projective module, proset > history, pseudonatural transformation, pullback, pushout, quandle, quantum mechanics in terms of dagger-compact categories, quasigroup, quiver, rack, rational function, rational homotopy theory, rational number, rational topological space, reconstruction theorem, redirect, regular monomorphism, renormalization, representable functor, representation, representation ring, rig category, rigid monoidal category, ring, semicartesian monoidal category, semigroup, semigroups > history, semisimple abelian category, semisimple algebra, semisimple category, separable algebra, separable field extension, set, sheaf and topos theory, simple algebra, simple object, simplicial complex, site, skeletal > history, small category, smooth infinity-groupoid, source, span, special lambda-ring, special linear group, special unitary group, species, split exact sequence, star-autonomous category, strict 2-category, strict monoidal category, string diagram, structure type, stuff > history, stuff type, subcategory, super Poincare Lie algebra, super vector space, symmetric algebra, symmetric function, symmetric monoidal category, symmetric monoidal dagger-category, symmetric monoidal functor, symmetric space, symplectic Lie n-algebroid, target, tensor power, tensorial strength, topos, torsor, toset > history, totally ordered set > history, true, unitary group, unitary morphism, unitor, universality class, vector space, vertex operator algebra, vertical categorification, zero
• John Cook? co- or authored: math blogs
• John Huerta co- or authored: D'Auria-Fre formulation of supergravity, John Huerta, UC Riverside Seminar on Cobordism and Topological Field Theories, division algebra and supersymmetry, 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, 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, math blogs, 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 duality, 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
• Jon Beardsley? co- or authored: neighborhood retract
• Jonas Frey? co- or authored: 2009 June changes, compactly generated space, extensive category, hyperconnected geometric morphism, internal diagram, pretopos, simplex category
• Jonas Meyer? co- or authored: Banach space, C-star-algebra, Gelfand spectrum, JM, maximal spectrum, operator algebra
• Jonathan Elliott? co- or authored: bimodule, comodule, natural transformation
• Josep Elgueta? co- or authored: 2-vector space
• João Faria Martins co- or authored: 2-crossed complex, 2-crossed module, groupoid cardinality
• Jürgen Koslowski? co- or authored: quiver
• Kareem? co- or authored: math blogs
• Kay Werndli? co- or authored: counterexamples in algebra
• Kevin Lin co- or authored: A Survey of Elliptic Cohomology - E-infinity rings and derived schemes, A-model, B-model, Calabi-Yau category, Calabi-Yau variety, D-branes > history, Dmitry Kaledin, Dolbeault cohomology, Ehresmann's theorem, FQFT, Frobenius algebra, Fukaya category, Fukaya-Seidel category, GAGA, Gromov-Witten invariants, Hochschild cohomology, Hochschild-Kostant-Rosenberg theorem, Hodge theory, Kevin Lin, Kontsevich formality, Poisson manifold, Riemann-Hilbert correspondence, basic ideas of moduli stacks of curves and Gromov-Witten theory, complex geometry, curvature, de Rham complex, deformation quantization, deformation theory, formal dg-algebra, harmonic form, higher direct image, hypercohomology, local ring, matrix factorization, mirror symmetry, noncommutative Hodge structure, operad, proper map, separated morphism, submersion
• Kevin V? co- or authored: solution set condition
• Kevin Walker co- or authored: blob homology
• Konrad Waldorf co- or authored: Exterior covariant derivative, Konrad Waldorf, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, The Dirac Electron, orientifold
• Kulisu? co- or authored: category of representations
• Kurt Te Kolste co- or authored: Kurt Te Kolste, Sandbox, Yoneda lemma, inclusion functor
• Lab Elf co- or authored: 2009 July changes, Tall-Wraith monoid, canonical morphism, lab elf, real number, reality check
• Lars Birkedal co- or authored: local geometric morphism
• Lars Kindler? co- or authored: D-module, regular differential operator, renormalization
• Levi Steins? co- or authored: mathematics
• Liza? co- or authored: filtered topological space
• MPichler? co- or authored: monomorphism
• MTS? co- or authored: unitalization
• Maarten Bergvelt co- or authored: (infinity,1)-category, 2-vector space, Bohr topos, Courant algebroid, Kähler differential, Lie infinity-algebroid, Monster group, Moonshine, Poisson Lie algebroid, String Lie 2-algebra, Weil algebra, dg-algebra > history, factorization algebra, little cubes operad, multisymplectic geometry, operad, standard Courant algebroid, superdifferential form, symplectic Lie n-algebroid
• Maarten Bergvelt co- or authored: Lie algebroid, Poisson Lie algebroid, symplectic Lie n-algebroid, symplectic manifold
• Marc Hoyois co- or authored: cohomology
• Marc Olschok co- or authored: Categories and Sheaves, Marc Olschok, category of presheaves, double category, globular set, injective hull, locally finitely presentable category, model category, triangulated category
• Mark Meckes? co- or authored: Banach space, isomorphism classes of Banach spaces
• Martin? co- or authored: Kan complex, Whitehead tower
• 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
• Matija Basic co- or authored: cofibrantly generated model category
• Matthew Kahle? co- or authored: math blogs
• Matthew Dirks? co- or authored: Home Page
• Melan? co- or authored: How To
• Michael Bachtold co- or authored: crystalline cohomology, diffiety
• Michael Bächtold co- or authored: Michael Bachtold, crystal, diffiety
• Michael Hardy co- or authored: Is probability theory a branch of mathematics?, Michael Hardy, Sandbox, trigonometric identities and the irrationality of pi, trigonometric identity
• Mickey Mouse? co- or authored: category theory
• Mikael Vejdemo Johansson? co- or authored: algebra for an endofunctor
• Mike Shulman co- or authored: (∞,1)-local geometric morphism, (-1)-groupoid, (2,1)-site, (bo, ff) factorization system, (epi, mono) factorization system, (eso+full, faithful) factorization system, (eso, fully faithful) factorization system, (geometric surjection, embedding) factorization system, (infinity,1)-category, (infinity,1)-category of (infinity,1)-functors, (infinity,1)-operad, (infinity,1)-pullback, (infinity,1)-quasitopos, (infinity,1)Cat, (infinity,1)Topos, (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, 0-groupoid, 1-category, 1-category equipped with relations, 1-topos, 2-categorical limit > history, 2-category, 2-category equipped with proarrows, 2-category theory, 2-category theory - contents, 2-functor, 2-group, 2-limit, 2-monad, 2-morphism - SVG, 2-poset, 2-pullback, 2-site, 2-topos, 2-topos theory, 2-trivial model structure, 2009 August changes, 2009 July changes, 2009 June changes, 2009 September changes, 3-category, A Concise Course in Algebraic Topology, A-infinity operad, A-infinity-category, A1-homotopy theory, Ab, Ab-enriched category, Adjointness for 2-Categories, Artin gluing, Baez's law, Batanin omega-category, Beck-Chevalley condition, Benabou-Roubaud theorem, Boolean category, Boolean topos, CAT, COSHEP, CRing, CW complex, Cantor's theorem, Cartesian morphism, Cat, Categories Work, Cauchy complete category, Cauchy space, Conduche functor, Crans-Gray tensor product, Day convolution, Day tensor product, Dedekind cut, Delta-generated space, Diff, Dold fibration, ETCS, Eilenberg-Moore category, Elephant, Euler characteristic, F-category, FAQ, FOLDS, Frölicher space, Freyd cover, Frobenius map, Frobenius reciprocity, Galois connection, Galois theory, Georges Maltsiniotis, Gray category > history, Gray tensor product, Gray-category, Grothendieck construction, Grothendieck fibration, Grothendieck pretopology, Grothendieck topology, Grothendieck topos, Grothendieck universe, Grpd, Hausdorff metric, Hausdorff space, Heyting category, Higher Topos Theory, Ho(Cat), Hochschild cohomology, Home Page, Hopf adjunction, Hopf algebra, Horn theory, How to get started, How To, Hurewicz fibration, Infinity-Grpd, Isbell envelope, Jiří Adámek, Jiří Rosický, Johnstone's topological topos, Jonsson-Tarski algebra, Kan extension, Kan fibration, Kan object, Karoubi envelope, Kleene equality, Kleisli object, Lack's coherence theorem, Lawvere-Tierney topology, Locally Presentable and Accessible Categories, M-category, M-complete category, Mal'cev variety, Martin-Löf dependent type theory, Mike Shulman, Mitchell-Bénabou language, Morse-Kelley set theory, Mostowski's collapsing lemma, PIE-limit, Pontrjagin-Thom collapse map, Prof, Quillen adjunction, Quillen equivalence, Reedy category, Reedy model structure, Richard Garner, SEAR, SEAR plus epsilon, Sandbox, Sandbox > SVG, Serre fibration, Set, Stone Spaces, Stone duality, Stone space, Strøm model structure, Street fibration, Template page, Theta category, Thom spectrum, Thomason model structure, Timeline of category theory and related mathematics, Top, Topos, Trimble n-category, Vladimir Voevodsky, Vopěnka's principle, W-type, WISC, Waldhausen category, Yoneda lemma, Yoneda lemma for bicategories, ZFC, abelian category, absolute coequalizer, absolute colimit, accessible (infinity,1)-category, accessible category, accessible functor, action, action groupoid, acyclic fibration, additive and abelian categories, additive category, additive envelope, additive functor, additive monad, adhesive category, adjoint equivalence, adjoint functor, adjoint functor theorem, adjoint lifting theorem, adjoint monad, adjoint triple, adjointification zigzag identity - SVG, adjunct, adjunction, affine space, algebra, algebra for a profunctor, algebra for an endofunctor, algebrad, algebraic Kan complex, algebraic definition of higher categories, algebraic theory, algebraic weak factorization system, allegory, anabicategory, anafunctor, anodyne morphism, apartness relation, arrow category, associahedron, associated infinity-bundle, axiom of choice, axiom of foundation, axiom of infinity, axiom of multiple choice, axiom of separation, balanced category, bar > history, basic localizer, bialgebra, bicartesian category, bicartesian closed category, bicategory, bicategory of maps, bicategory of relations, big and little toposes, big site, bijection, bimonoid, bimorphism, biproduct, bo functor, boolean domain, bounded geometric morphism, bracket type, braid category, braided monoidal category, calculus of constructions, calculus of fractions, canonical model structure, canonical model structure on Cat, canonical morphism, canonical topology, cardinal number, cartesian bicategory, cartesian closed category, cartesian closed functor, cartesian monad, cartesian monoidal category, cartesian object, cat-n-group, category, category algebra, category of chain complexes, category of elements, category of fibrant objects, category of fractions, category of monoids, category of open subsets, category of operators, category of presheaves, category of sheaves, category over a category, category theory, category theory vs order theory, category with translation, category with weak equivalences, center, centralizer, chain complex, chain homotopy, choice object, choice operator, classical mathematics, classifying space, classifying topos, cleavage, clique, clopen set, closed category, closed functor, closed monoidal category, closed monoidal category module, closed monoidal homotopical category, closed natural transformation, club, co-Yoneda lemma, coalgebra, cocartesian closed category, cocartesian monoidal category, cocomplete category, cocomplete well-pointed topos, cocontinuous functor, cocylinder, codensity monad, codiscrete cofibration, codomain fibration, coend in a derivator, coequaliser > history, coequalizer, cofibrantly generated model category, cogenerator, cograph of a functor, cograph of a profunctor, cogroup, coherence theorem, coherent category, coherent formula > history, coherent logic, coherent topological space, cohesive (infinity,1)-topos, cohesive site, cohesive topos, cohomology, collection, combinatorial model category, combinatorial spectrum, comma category, comma object, commutative algebraic theory, comonad, comonadic functor, compact closed category, compact double category, compact object, compact operator, compact operators > history, compact space, compact-open topology, compactly generated model category, compactly generated space, companion pair, complete Segal space, complete lattice, complete small category, completion, composition, composition algebra, compositions in cubical sets, computad, concrete category, concrete sheaf, cone, cone morphism, confluent category, congruence, conjunction, connected category, connected limit, connected object, connected space, connected topos, connective, conservative functor, conservative morphism, constant functor, constant morphism, constructive mathematics, constructivism > history, context, continuous functor, contractible type, convenient category of topological spaces, convergence space, convex set, convex space, copower, coproduct, core, coreflective subcategory, corepresentable functor, coshape of an (infinity,1)-topos, coslice category > history, cosmic cube, cosmos, cospan, countable choice, cover, cover-preserving functor, coverage, covering space, created limit, cubical category, cubical set, cycle category, cyclic order, cyclic set, cylinder object, dagger-category, dagger-compact category, database of categories, decidable object, decidable subset, deformation retract, deformation retract of a homotopical category, delooping, delooping hypothesis, dense functor, dense subcategory, dependent choice, dependent product, dependent type, derivator, derived functor, derived functor on a derived category, descent, descent in noncommutative algebraic geometry, descent morphism, dg-category, diagonal morphism, diagonal subset, diagram, diagrammatic order > history, diamond, dinatural transformation, direct category, direct image, direct sum, directed graph, directed n-graph > history, directed object, directed set > history, discrete category, discrete fibration, discrete morphism, discrete space, discussion on terminology -- omega-category, disjoint coproduct, display map, distributive category, distributive law, doctrinal adjunction, doctrine, domain opfibration, double category, double comma object, double functor, double profunctor, dual vector space, dualizable object, dualizing object, effective epimorphism, effective epimorphism in an (infinity,1)-category, effective topos, element, elementary embedding, empty set, empty space, end, enriched Quillen adjunction, enriched bicategory, enriched category, enriched derivator, enriched factorization system, enriched homotopical category, enriched homotopy theory, entire relation, entourage, epic sink, epimorphism, equifier, equilogical space, equivalence, equivalence data - SVG, equivalence in a quasi-category, equivalence in homotopy type theory, equivalence of 2-categories, equivalence of categories, equivalence relation, equivariant cohomology, equivariant sheaf, eso morphism, essential fiber, essential geometric morphism, essential image, essentially small (infinity,1)-category, essentially surjective functor, etale geometric morphism, etale morphism, etale space, evil, exact (infinity,1)-functor, exact category, exact functor, exact sequence, exact square, excluded middle, existential quantifier, exponential ideal, exponential law for spaces, exponential object, extensional relation, extensional type theory, extensive category, extranatural transformation, extremal epimorphism, factorization structure, factorization system, factorization system in a 2-category, factorization system over a subcategory, factorization systems - contents, faithful functor, faithful morphism, familial regularity and exactness, fiber product, fibered n category > history, fibrant object, fibration, fibration in a 2-category, fibration of quasi-categories, field, filter, filtered (infinity,1)-category, filtered category, filtered limit, filtrant category > history, final (infinity,1)-functor, final functor, final lift, final subcategory, finitary monad, finite (infinity,1)-limit, finite category, finite limit, finite set, finitely complete category, finitely generated object, finitely presentable object > history, flexible limit, foo > history, foobar > history, forcing, forgetful functor, foundation of mathematics, foundations - contents, frame, framed bicategory, free cocompletion, free completion, free functor, free monad, free object, full and faithful functor, full functor, full image, full sub-2-category, full subcategory, fully faithful morphism, function extensionality, functor, functor category, fundamental group of a topos, fundamental groupoid, fundamental infinity-groupoid, fundamental infinity-groupoid of a locally infinity-connected (infinity,1)-topos, fusion category, gauge space, generalized Gray tensor product, generalized Reedy category, generalized element, generalized kernel, generalized multicategory, generalized object > history, generalized the, generator, generic proof, geodesic, geodesic convexity, geometric category, geometric embedding, geometric homotopy groups in an (infinity,1)-topos, geometric morphism, geometric realization of simplicial topological spaces, geometric shape for higher structures, geometric theory, geometry (for structured (infinity,1)-toposes), globe category, globular category, globular operad, globular set, graded set, graph, graph of a function, graph of a functor, graph theory > history, group, group object, group presentation, groupoid, groupoid object, groupoid object in an (infinity,1)-category, h-proposition, h-set, heap, hereditarily finite set, higher doctrine, higher inductive type, holographic principle of higher category theory, homomorphism, homotopical category, homotopical enrichment, homotopically injective object, homotopy, homotopy > history, homotopy 1-type, homotopy 2-type, homotopy 3-type, homotopy 3-types > history, homotopy Kan extension, homotopy category, homotopy category of an (infinity,1)-category, homotopy coend, homotopy coherent nerve, homotopy equivalence, homotopy equivalence of toposes, homotopy exact square, homotopy group, homotopy hypothesis, homotopy level, homotopy limit, homotopy n-type, homotopy pullback, homotopy theory, homotopy theory of Grothendieck, homotopy type, homotopy type theory, horizontal categorification, horn, hyperconnected geometric morphism, hypercover, hyperstructure, icon, idempotent, idempotent adjunction, idempotent complete (infinity,1)-category, idempotent monad, identity element, identity type, identity-assigning morphism, image, implicit infinity-category theory convention, inaccessible cardinal, ind-object, indexed category, indexed functor, indiscrete category, inductive type, inertia orbifold, infinitary Lawvere theory, infinitesimal number, infinitesimal object, infinity-algebra over an (infinity,1)-operad, infinity-category, infinity-connected (infinity,1)-topos, infinity-groupoid, infinity-limits - contents, infinity-stack homotopically, infinity-topos, inhabited object, inhabited set, initial object, injection, injective object, inserter, integer, intensional type theory, 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, interval type, intuitionistic logic, intuitionistic mathematics, inverse image, inverse semigroup, inverter, involution, ionad, isocofibration, isofibration, isoinserter, join of quasi-categories, k-ary factorization system, k-simply connected n-category, k-tuply groupal n-groupoid, k-tuply monoidal n-category, kernel, kernel pair, lambda-calculus, large cardinal, large category, large sheaf > history, lattice, lax 2-adjunction, lax algebra for a 2-monad, lax functor, lax morphism, lax natural transformation, lax-idempotent 2-monad, left adjoint, lex category > history, limit, limit in a quasi-category, linear functor, linear logic, linear relation > history, little site, local epimorphism, local geometric morphism, local isomorphism, locale, localic geometric morphism, localic group, localic topos, localization, locally cartesian category, locally cartesian closed (infinity,1)-category, locally cartesian closed category, locally cartesian closed model category, locally connected geometric morphism, locally connected site, locally connected topos, locally finitely presentable category, locally full sub-2-category, locally fully faithful 2-functor, locally n-connected (n+1,1)-topos, locally posetal 2-category, locally presentable (infinity,1)-category, locally presentable category, locally ringed topos, locally small category, logic, logic of regular categories > history, logical functor, loop space, m-cofibrant space, mapping cocone, mate, material-structural adjunction, math blogs, maximal ideal theorem, measurable cardinal, measurable space, measure coalgebra, metacategory, metric space, minimal logic, mixed model structure, model, model 2-category, model category, model category theory - contents, model structure for left fibrations, model structure on algebraic fibrant objects, model structure on chain complexes, model structure on functors, model structure on simplicial presheaves, model structure on simplicial sets, model structure on topological spaces, modification, modular tensor category, module over a monad, moment of inertia, monad, monadic adjunction, monadic descent, monadic functor, monadicity theorem, monoid, monoid object > history, monoidal Dold-Kan correspondence, monoidal Quillen adjunction, monoidal adjunction, monoidal bicategory, monoidal categories - contents, monoidal category, monoidal derivator, monoidal fibration, monoidal functor, monoidal model category, monomorphism, monomorphism in a derivator, monomorphism in an (infinity,1)-category, monotone function, multicategory, multilimit, multiplicative system, multiset, n-category, n-connected object of an (infinity,1)-topos, n-fibration, n-fold category, n-truncated object of an (infinity,1)-category, n POV, natural isomorphism, natural number, natural numbers in SEAR, natural numbers object, natural transformation, negation, negative thinking, nice category of spaces, nice topological space, nilpotent element, nincompoops > history, nitwit > history, nitwits > history, nonstandard analysis, normal monomorphism, normalizer, normed division algebra, object, omega-category, omega-graph > history, open map, operad, opetope, opposite 2-category, opposite category, orbit category, order, ordinal > history, ordinal number, ordinary mathematics, orthogonal factorization system, orthogonal factorization system in an (infinity,1)-category, orthogonality, over-topos, overcategory, overt space, paracategory, parallel morphism > history, parallelogram identity, parametric right adjoint, partial order, partially ordered dagger-category, path space object, pivotal category, point of a topos, pointed category, pointed derivator, pointed object, polynomial functor, poset of subobjects, posite, posite > history, positive element, power, power set, pre-abelian category, predicate logic, predicative mathematics, predicativism > history, preframe, preorder, preserved limit, presheaf, pretopological space, pretopos, prime ideal theorem, pro-object, pro-object in an (infinity,1)-category, pro-set, product, profinite completion of a group, profinite group, profinite space, profunctor, progroup, projective limit, projective object, prometric space, proper subset, proposition, propositions as types, proset > history, pseudoalgebra for a 2-monad, pseudofunctor, pseudomonic functor, pseudomonic morphism, pseudomonoid, pseudotopological space, pullback in a derivator, pure morphism, pure set, pure type system, pushout-product axiom, quantale, quasi-category, quasi-isomorphism, quasicompact morphism, quasitopos, quotient object, quotient set, quotient space, rank, real number, red herring principle, reflected limit, reflective factorization system, reflective subcategory, reflexive coequalizer, regular and exact completions, regular cardinal, regular category, regular epimorphism, regular epimorphism in an (infinity,1)-category, regular monomorphism, relation, relational beta-module, relative adjoint functor, relaxed multicategory, replete subcategory, representable functor, request for help, retract, ribbon category, rig, rigged limit, rigid monoidal category, ring, ringed topos, ringoids > history, saturated class of limits, section, self-distributive operation, semi-abelian category, semi-simplicial set, semi-strict infinity-category, semicartesian monoidal category, semigroup, semilattice, semisimple category, separated presheaf, sequence, sequential convergence space > history, sequential limit, sequential topological space, sesquicategory, set, set theory, shape of an (infinity,1)-topos, shape theory, sheaf and topos theory, sheafification, sheafification in a Lawvere-Tierney topos > history, sheaves on large sites > history, short map, sifted category, simplex, simplex category, simplicial category, simplicial complex, simplicial model for weak omega-categories, simplicial nerve > history, simplicial object, simplicial resolution, simplicial set, simplicial sheaf, simplicial weak omega-category, single-sorted definition of a category, sink, site, skeleton, sketch, slice 2-category, slice category > history, small cardinality selection axiom, small category, small object, small object argument, small presheaf, small set, small violations of choice, smash product, smooth natural numbers, sober topological space, solid functor, space, span, span trace, specialization order, specialization topology, spectrum, spine, split coequalizer, split epimorphism, split equalizer, split idempotent, split monomorphism, stability under pullback, stabilizer group, stable (infinity,1)-category, stable (infinity,1)-topos > history, stable derivator, stable factorization system, stable homotopy theory - contents, stable infinity-category, stable model category, star-autonomous category, star-category, stratified simplicial set, strict 2-category, strict 2-equivalence of 2-categories, strict 2-functor, strict 2-groupoid, strict 2-limit, strict category, strict epimorphism, strict factorization system, strict monoidal category, strict n-category, strict omega-category, strict omega-groupoid, string diagram, strong epimorphism, strong monomorphism, structural set theory, structurally presented set theory, structure type, structured (infinity,1)-topos, structured set, stuff, structure, property, sub-(infinity,1)-category, subcanonical coverage, subcanonical pretopology > history, subcategory, subdivision, subobject, subobject classifier, subquotient, subsequential space, subsingleton, subspace topology, subterminal object, successor, supercompact cardinal, superextensive site, suplattice, surjection, surjective geometric morphism, symmetric function, symmetric monoidal category, symmetric set, symmetric smash product of spectra, synthetic differential geometry, tensor product, tensorial strength, terminal category, terminal coalgebra, terminal object, ternary factorization system, tetracategory, thin > history, thin element, tileorder, tiny object, too simple to be simple, topological concrete category, topological group, topological space, topologizing subcategory, topology, topos, topos theory - contents, torsion, torsion subgroup, total category, total order, totally connected geometric morphism, trace, tractable model category, transferred model structure, transfinite composition, transfor, transitive set, tree category, triangulated category, triangulation, tricategory, trivial model structure, trivial ring, truncated object, truth value, twisted complex, two-out-of-six property, two-sided fibration, two-valued logic, two-variable adjunction, type theory, type theory - contents, type-theoretic definition of category, ultrafilter, ultrafilter theorem, under category, undirected object, uniform cover, uniform locale, uniform space, union, unit, unit enriched category, unit of an adjunction, univalence axiom, universal algebra, universal construction, universal covering space, universal epimorphism, universal quantifier, universe, universe enlargement, universe in a topos, universes in SEAR, urelement, vertical categorification, vertical transformation, very large (infinity,1)-sheaf (infinity,1)-topos, virtual double category, virtual equipment, von Neumann hierarchy, walking structure, weak complicial set, weak equivalence, weak factorization system, weak factorization system on Set, weak homotopy equivalence, weak limit, weak multilimit, weak omega-category, weakly Hausdorff space, wedge sum, weighted colimit, weighted limit, well-founded coalgebra, well-founded relation, well-order, well-ordering theorem, well-pointed topos, well-powered category, wide subcategory, zero morphism, zero object, zigzag identity 1 - SVG, zigzag identity 1 implies 2 - SVG
• 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 0
• Mirco? co- or authored: enriched category
• Moshe Kamensky? co- or authored: Martin-Löf dependent type theory
• Need Not Be Concrete co- or authored: internal hom
• Newbie? co- or authored: foundation of mathematics
• Noah Snyder co- or authored: fusion category
• Noam Zeilberger? co- or authored: 2-category equipped with proarrows, Day convolution, co-Yoneda lemma, comma category, decategorification, finitely complete category
• Noam Zeilberger? co- or authored: Kan extension, Lawvere theory, fibration in a 2-category, operad, weighted colimit, weighted limit
• Omar Antolín-Camarena? co- or authored: 2009 August changes, Cartesian fibration, Segal category, accessible (infinity,1)-category, accessible category, adjoint functor theorem, multicategory, simplicial group, small object, solution set condition
• Owen Biesel co- or authored: Timeline of category theory and related mathematics, diagram, finitely presentable object > history, global element, limit, norm, representable functor, strict morphism, terminal object, tiny object, well-pointed topos
• Paolo Antonini? co- or authored: analytical index, topological index
• Patrick Schultz co- or authored: 2-category equipped with proarrows, Patrick Schultz, Yoneda reduction, cartesian monad, combinatorial model category, dualizing object, limit, motivation for sheaves, cohomology and higher stacks, synthetic differential geometry
• Paul Johnson co- or authored: Paul Johnson, Sandbox
• Peter Arndt co- or authored: Cisinski model structure, homotopy hypothesis, motivic cohomology, universal colimit
• Peter C Marks co- or authored: Peter C Marks, diagram
• Peter Le Fanu Lumsdaine co- or authored: Sandbox, adjunction, enriched derivator, flat functor, flat module, homotopy limit, monad, monoid, monoid object > history, monoidal category, string diagram, triangle identities
• Peter Selinger co- or authored: Peter Selinger, category with duals, evil
• Piotr Achinger? co- or authored: FAC
• Plato? co- or authored: closed category
• Prime De Gold co- or authored: Prime De Gold, theory of primes > history
• Ra co- or authored: Sandbox
• Raeder? co- or authored: 2-category, 2-morphism, 2d TQFT, Ext, Khovanov homology, Reidemeister move, Whitehead tower, applications of (higher) category theory, category, category theory, closed map, concrete category, derived functor, fine sheaf, functor, limit, too simple to be simple, topological quantum field theory, vertical categorification
• Rafael Borowiecki co- or authored: (n,r)-category, 2009 August changes, 2009 September changes, A-infinity-category, Bousfield localization, Mitchell-Bénabou language, Rafael Borowiecki, Sandbox, Segal category, Timeline of category theory and related mathematics, category, category theory, cosmos, database of categories, extended topological quantum field theory, generalized element, latest changes, manifold
• Ralf Meyer? co- or authored: Frobenius algebra
• Randall Britten? co- or authored: category
• Rasmus Bentmann? co- or authored: (infinity,1)-category, AQFT, Cart Sp, Grothendieck pretopology, K-theory, cosheaf, derivator, homotopy category of an (infinity,1)-category, motivation for sheaves, cohomology and higher stacks, space and quantity, tiny object, topological K-theory, topological quantum field theory, whiskering
• 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
• Robert Brekker? co- or authored: Sandbox > SVG
• Rod Mc Guire co- or authored: How To, Poincare lemma, Rod Mc Guire, Sandbox, Schur functor, binary/nullary pair, diffeomorphism, ordered pair, sheaf and topos theory, topos, unordered pair
• Roger Witte? co- or authored: Understanding Constructions in Set, cardinal number, category theory, foundation of mathematics, graph
• Romie Banerjee co- or authored: Deligne-Mumford stack, Romie Banerjee
• Ronald null Brown? co- or authored: convenient category of topological spaces, sesquicategory
• 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, Eilenberg-Zilber map, Gray tensor product, Gray-category, Grothendieck > history, Grothendieck fibration, Higher Homotopy van Kampen Theorem > history, Moore complex, Nonabelian Algebraic Topology, Postnikov system, Postnikov tower > history, Ronnie Brown, Sierpinski space, T-complex, Timeline of category theory and related mathematics, action groupoid, cat 2-group > history, cat-2-group, cat-n-group, classifying space, coequaliser > history, commutative square, compactly generated space, compositions in cubical sets, connected filtered space, connection, connection on a cubical set, convenient category of topological spaces, crossed complex, crossed module, crossed n-cube, crossed square, crossed squares > history, cubical T-complex, cubical set, double category, fibration, filtered topological space, fundamental groupoid, fundamental infinity-groupoid, geometric shape for higher structures, globe, groupoid, higher dimensional algebra, higher 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, model structure on strict omega-groupoids, natural transformation, orbit category, orbit groupoid, partial function, pushout, semidirect product group, sesquicategory, simplicial T-complex, strict 2-category, strict omega-category, thin > history, thin element, twisting cochain, van Kampen theorem
• Ronnie Brown co- or authored: 2009 August changes, Crans-Gray tensor product, Moore path category, Nonabelian Algebraic Topology, cubical group, cubical set, free loop space object, graph, monoidal category, singular cohomology
• Rupert Swarbrick? co- or authored: monomorphism
• 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
• S. Carnahan co- or authored: Clifford algebra, S. Carnahan, fpqc site
• Sam Staton? co- or authored: anafunctor, dense functor
• Sammy Wilson? co- or authored: Home Page, higher category theory
• Samuel? co- or authored: physics
• Santo D'Agostino? co- or authored: math blogs
• Schommer Pries? co- or authored: Chris Schommer-Pries
• Scott Morrison co- or authored: math blogs
• Sean Tilson? co- or authored: Hopf algebroid, model structure on dg-algebras, pushout-product axiom
• Sebastian Thomas? co- or authored: bicategory, lax functor, transfor
• Simon Willerton co- or authored: General Discussion, Home Page, Simpson's conjecture, contents
• Simon Atkins? co- or authored: Home Page
• Snoyl? co- or authored: finite group
• Soeren? co- or authored: Mikio Sato, hyperfunction
• Spelling freak co- or authored: functor category
• Spelling Corrector? co- or authored: Duskin nerve
• Sridhar Ramesh co- or authored: (n,r)-category, 2009 August changes, Grothendieck fibration, Hawaiian earring space, Heyting algebra, Heyting prealgebra, How To, Jacobian, Kleisli category, Lawvere-Tierney topology, Mitchell-Bénabou language, Morse-Kelley set theory, Scott topology, Sridhar Ramesh, Steve Awodey, algebra for a profunctor, algebra for an endofunctor, algebraic lattice, algebraic theory, anafunctor, analytic function, bicartesian closed category, binary/nullary pair, cartesian closed category, category of partial equivalence relations, category theory vs order theory, clique, coalgebra for an endofunctor, cocartesian closed category, complete Heyting algebra, effective topos, equilogical space, first-order hyperdoctrine, locale of real numbers, localic topos, locally cartesian closed functor, module, natural numbers object, natural transformation, partial combinatory algebra, partial equivalence relation, partially ordered dagger-category, perplex number, presheaf, profunctor, reconstruction theorem, subquotient, topos, tripos, walking structure
• Stefan Forcey co- or authored: Stefan Forcey, enriched category, geometric infinity-function theory
• Stefan Ljungstrand? co- or authored: countable set, decidable proposition, decidable subset
• Stephan co- or authored: (infinity,1)-geometric morphism, (infinity,n)-category of spans, 2-pullback, Grothendieck construction, Isbell duality, Kan extension, Lie groupoid, Milnor slide trick, Principal bundles, groupoids and connections, Quillen adjunction, Stephan > history, Stephan Alexander Spahn, Yoneda lemma, Yoneda lemma for bicategories, action of a category on a set, anafunctor, axiom of choice, category of descent data, clique, differentiable stack, enriched model category, fibration, function algebras on infinity-stacks, generalized scheme, geometric infinity-stack, geometric stack, groupoid object in an (infinity,1)-category, homotopy hypothesis, homotopy pullback, horizontal composition, internal category, limit in a quasi-category, model structure on chain complexes, nice category of spaces, principal bundle, pseudonatural transformation, pullback, representable morphism, retract, subcanonical coverage, synthetic differential geometry, theory, type theory
• Stephan Alexande Spahn? co- or authored: fibration fibered in groupoids
• Stephan Alexander Spahn co- or authored: (infinity,1)-site, (sub)object classifier in an (infinity,1)-topos, A-infinity-algebra, Grothendieck construction, Kan object, base change, bisimplicial set, bo functor, boundary of a simplex, branched manifold, classifying topos, cograph of a functor, cohomological dimension, descent object, equivalence, etale site, existential quantifier, fibration fibered in groupoids, filtered (infinity,1)-category, filtered limit, free loop space object, globular set, group object, groupoid object, homotopy limit, homotopy type theory, inaccessible cardinal, inertia orbifold, infinity-connected (infinity,1)-topos, internal infinity-groupoid, internal site, local geometric morphism, locally n-connected (n+1,1)-topos, n-truncated object of an (infinity,1)-category, nerve and realization, orbifold, paracompact topological space, partial order, point of a topos, proper map, thin category
• Stephan Müller? co- or authored: base change, moduli space
• Stephen Britton co- or authored: (infinity,1)-topos theory, (infinity,n)-category of cobordisms, A Survey of Elliptic Cohomology - A-equivariant cohomology, Alg(T) > history, Ban > history, Banach space, Bij > history, Boo Rng > history, CAT, CAT(X) > history, Cat, Contributors, Higher Algebra, Rod Mc Guire, Sandbox, Stephen Britton, Template page, automaton, behavior, bicompact space, bitopological space, boolean space, bornological space, bornological topological vector space, cpo, higher category theory, higher geometry, natural number, paracategory, partial order, proper class, quasi-category, topological abelian group, torsion group
• Stephen Gaito co- or authored: How To, Stephen Gaito, cardinal number, quasi-category
• Stephen with OK? co- or authored: math blogs
• Steve Lack co- or authored: AT category
• Sun Dawn? co- or authored: physics
• TIm Porter co- or authored: logic
• Tess Wither co- or authored: Eric Forgy, bicategory of relations, pentagon decagon hexagon identity, saturated class of maps, spam 1
• Thomas? co- or authored: Alexander Grothendieck, Pursuing Stacks, Thomas Nikolaus
• Thomas Fiore co- or authored: Thomas Fiore
• Thomas Nikolaus co- or authored: Thomas Nikolaus, algebraic Kan complex, dendroidal set, model structure on algebraic fibrant objects, model structure on dendroidal sets, monoidal model category, string group, subobject
• Thomas Streicher co- or authored: Beck-Chevalley condition, Street fibration
• Tim co- or authored: 2009 June changes, Timothy Porter > history, category theory
• Tim Porter co- or authored: Eilenberg-Mac Lane space > history
• Tim Campion? co- or authored: Freyd-Mitchell embedding theorem, Isbell envelope, generator, monad with arities, type theory
• Tim Porrter co- or authored: pospace
• Tim Porter co- or authored: (infinity,1)-category, (infinity,1)-category of (infinity,1)-sheaves, (infinity,1)-functor, Čech cohomology, Čech cohomology > history, Čech cover, Čech homology, Čech homotopy, Čech methods, Čech model structure on simplicial presheaves, Čech nerve, 0-morphism, 2-crossed complex, 2-crossed module, 2-group, 2-groupoid, 2-vector space, 2009 August changes, 2009 July changes, 2009 June changes, 2009 September changes, 2d TQFT, A-infinity-algebra, A-infinity-category, A-infinity-space, AJ Tolland, About, Abraham Robinson, Alexander Grothendieck, Algebraic Homotopy, Amnon Yekutieli, Andrei Suslin, Antonio Cegarra, B. A. Blackadar, BRICS, BV-algebra, Baez-Crans 2-vector space, Barry Mazur, Bart Jacobs, Baues-Wirsching cohomology, Beno Eckmann, Benoit Fresse, Bertrand Toën, Bill Lawvere, Birkhoff-von Neumann theorem, Bob Coecke, Bob Rosebrugh, Boman's theorem, Bool Alg, Boolean topos, Borsuk's shape theory, Bousfield localization of model categories, Brown-Grossman homotopy group, Brown AHT, CW complex, Cahiers, Calculus of fractions and homotopy theory, Cartan calculus, Charles Ehresmann, Charles Wells, Chern-Simons circle 3-bundle, Chu construction, Cisinski model structure, Claude Roger, Claudio Teitelboim, Combinatorial Homotopy and 4-Dimensional Complexes, Como, Conduche functor, Crossed Menagerie, Dan Isaksen > history, Daniel Isaksen, Daniel Kan, David Blanc, Dijkgraaf-Witten theory, Directed Algebraic Topology, Discrete causal spaces, Dold-Kan correspondence, Dominique Bourn, Don van Osdol, Douglas Bridges, Dowker's theorem, Drinfel'd twist, Duskin nerve, Dwyer-Kan loop groupoid, Eckmann-Hilton argument, Eckmann-Hilton duality, Eduard Čech, Edwin Spanier, Ehresmann > history, Eilenberg-Zilber map, Emmanuel Haucourt, Eric Goubault, FAQ, FQFT, Fabien Morel, Fox derivative, François Métayer, Francis Borceux, Fredholm operator, Friedrich Wilhelm Bauer, Frobenius monoidal functor, G. Winskel, Galois Theories, Galois theory, General Discussion, Georges Maltsiniotis, Gereon Quick, Grothendieck's Galois theory, Grothendieck category, Grothendieck construction, Grothendieck fibration, HOMFLY-PT polynomial, HQFT, Hans-Joachim Baues, Henry Whitehead, Hilbert cube, Home Page, Homotopy Types, Hopf algebra, Hopf fibration, How To, Hurewicz fibration, I-category, Jacob Lurie, Jean-Louis Loday, Jean-Luc Brylinski, Jean-Marc Cordier, Jean-Pierre Marquis, Jeff Giansiracusa, Jim Stasheff, João Faria Martins, John Duskin, John Milnor, John Power, Jonathan Pridham, Jonathan Rosenberg, Jones polynomial, Jordan algebra, Kähler differential, K. Borsuk, Kan complex, Kan extension, Kan fibration, Karoubian category, Khovanov homology, Kripke frame, Krzysztof Worytkiewicz, Kurt Reidemeister, L-infinity-algebra, Landau-Ginzburg model, Larry Siebenmann, Leopold Vietoris, Les Dérivateurs, Lindenbaum-Tarski algebra, Lisbeth Fajstrup, Loday-Pirashvili category, MV algebras, Marcus Kracht, Martin Hyland, Martin Raussen, Max Karoubi, Mazurkiewicz trace, Michael Artin, Michael Barr, Michel Kervaire, Mittag-Leffler condition, Moore complex, Nick Gilbert, Nonabelian Algebraic Topology, Oberwolfach Workshop, June 2009 -- Thursday, June 11, Otgonbayar Uuye, PPS, Paolo Salvatore, Patrick Blackburn, Paul-André Melliès, Pavel Etingof, Peter Hilton, Peter Johnstone, Petri net, Phil Ehlers, Philip Higgins, Philippe Malbos, Pi-algebra, Pilar Carrasco, Prakash Panangaden, Pursuing Stacks, QFT with defects, Quillen plus construction, Rainer Vogt, Ralf Krömer, Reedy model structure, Reidemeister move, Richard Garner, Rick Jardine, SGA1, Samson Abramsky, Samuel Mimram, Sandbox, Sandbox > SVG, Saunders Mac Lane, Saunders Mac Lane > history, Schur functor, Sibe Mardesic, Steve Awodey, Stone space, String Lie 2-algebra, TAC reprints series, TCFT, Tannaka duality, Thomason model structure, Tietze transformation, Tim Porter, Tim van Beek, Timeline of category theory and related mathematics, Timothy Porter > history, Tom Hirschowitz, Topological Quantum Field Theories from Compact Lie Groups, Toposes, Triples, and Theories, Urs Schreiber, Vietoris complex, Vladimir Turaev, Vladimir Voevodsky, Voevodsky motive, Waldhausen category, Warsaw circle, Whitehead product, Whitehead tower, William Dwyer, Yde Venema, Yemon Choi, Yetter model, Yves Guiraud, Yves Lafont, abelian category, abelian shea