nLab Author — David Corfield

Overview

David Corfield has contributed to 2573 nLab pages.

Most recent contributions

All pages contributed to

• !-modality
• 't Hooft double line notation
• (-1)-groupoid
• (1,1)-dimensional Euclidean field theories and K-theory
• (1,2)-topos
• (2,1)-algebraic theory of E-infinity algebras
• (2,1)-dimensional Euclidean field theories and tmf
• (2|1)-dimensional Euclidean field theory
• (infinity,1)-category
• (infinity,1)-Grothendieck construction
• (infinity,1)-Kan extension
• (infinity,1)-operad
• (infinity,1)-pretopos
• (infinity,1)-profunctor
• (infinity,1)-site
• (infinity,1)-topos
• (infinity,1)Cat
• (infinity,1)Prof
• (infinity,1)Topos
• (infinity,2)-sheaf
• (infinity,2)-topos
• (infinity,n)-category
• (infinity,n)-category of cobordisms
• (infinity,n)-category of correspondences
• (infinity,n)-category with adjoints
• (infinity,n)-category with duals
• (infinity,n)-module
• (n,r)-category
• (n-connected, n-truncated) factorization system
• (sub)object classifier in an (infinity,1)-topos
• (∞,1)-algebraic theory
• (∞,1)-limit
• 11d supergravity Lie 3-algebra
• 15-sphere
• 1lab
• 2-category equipped with proarrows
• 2-category of adjunctions
• 2-group
• 2-monad
• 2-periodic sphere spectrum
• 2-plectic geometry
• 2-pretopos
• 2-pro-object
• 2-representation
• 2-spectral triple
• 2-topos
• 2-type theory
• 2-vector space
• 2009 August changes
• 2009 July changes
• 2009 June changes
• 2009 September changes
• 2d SCFT
• 3-manifold
• 3-theory
• 4-sphere
• 600-cell
• 7-sphere
• 7d Chern-Simons theory
• 8-manifold
• 8-sphere
• A first idea of quantum field theory -- Geometry
• A string diagram calculus for predicate logic
• A study in derived algebraic geometry
• A Survey of Elliptic Cohomology
• A Survey of Elliptic Cohomology - E-infinity rings and derived schemes
• A Survey of Elliptic Cohomology - the derived moduli stack of derived elliptic curves
• Aarne Ranta
• abductive reasoning
• Abel-Jacobi map
• absolute cohomology
• absolute conclusion
• absolute de Rham cohomology
• absolute extensor
• absolute value
• Abstract and Concrete Categories
• abstract general, concrete general and concrete particular
• abstract scattering theory
• abstract Stone duality
• abstraction
• action functional
• action of a monoidal category
• Adams category
• Adams conjecture
• Adams e-invariant
• Adams operation on Jacobi diagrams
• Adams resolution
• Adams spectral sequence
• additive analytic geometry
• ADE -- table
• ADE classification
• ADE singularity
• adiabatic switching
• adinkra
• Adj
• adjoint (infinity,1)-functor
• adjoint (infinity,1)-functor theorem
• adjoint equivalence
• adjoint functor
• adjoint functor theorem
• adjoint logic
• adjoint modality
• adjoint operator
• adjoint quadruple
• adjoint string
• adjoint triple
• Adjointness for 2-Categories
• adjunction
• AdS-CFT correspondence
• AdS-CFT in condensed matter physics
• AdS-QCD correspondence
• affine logic
• affine modality
• Akshay Venkatesh
• Albanese variety
• Albert algebra
• Albert Lautman
• Albert Schwartz > history
• Alexander Efimov
• Alexander polynomial
• Alexandru Buium
• Alfred Ewing
• algebra
• algebra for an endofunctor
• algebra over a Lawvere theory
• algebraic cobordism
• algebraic effect
• algebraic group
• algebraic K-theory
• algebraic model for modal logics
• algebraic set theory
• algebraic space
• algebraic stack
• algebraic structure
• algebraic theory
• algebraic vector bundle
• allegory
• almost Kähler geometric quantization
• almost module
• Amar Hadzihasanovic
• Ambidexterity in K(n)-Local Stable Homotopy Theory
• amplituhedron
• An Essay on the Foundations of Geometry
• anafunctor
• analysis
• analytic (∞,1)-functor
• analytic geometry
• analytic monad
• analytic philosophy
• analytic torsion
• analytic versus synthetic
• analytically continued Chern-Simons theory
• analytification
• Anders Kock
• Andrew Lenard
• Anna Marie Bohmann
• anomaly cancellation
• Another page > history
• anti de Sitter group
• anti de Sitter spacetime
• antichain
• applications of double category theory
• applicative functor
• applied category theory
• AQFT
• AQFT on curved spacetimes
• Archimedean ordered field
• Arf-Kervaire invariant problem
• arithmetic Chern-Simons theory
• arithmetic Chow group
• arithmetic cohesion -- table
• arithmetic cryptography
• arithmetic differential geometry
• arithmetic jet space
• arithmetic topology
• Arpon Raksit
• arrow (in computer science)
• arrow (∞,1)-topos
• Arthur Prior
• Arthur-Selberg trace formula
• Artin L-function
• Artin-Mazur formal group
• Arun Debray
• Asgar Jamneshan
• Ash Asudeh
• associative submanifold
• Atiyah-Segal completion theorem
• Atiyah-Singer index theorem
• atlas
• Aufhebung
• augmented infinity-group
• augmented virtual double category
• Ausdehnungslehre
• Automath
• automorphic form
• automorphism of a vertex operator algebra
• Axel Osmond
• axio-dilaton
• axiom K (modal logic)
• axiom K (type theory)
• axiom of foundation
• axiom of full comprehension
• axiom of separation
• Axiomatic field theories and their motivation from topology
• axion
• B1-homotopy theory
• Baas-Sullivan theory
• Banach space
• bar and cobar construction
• Barcan formula
• Barnes G-function
• baryogenesis
• Bas van Fraassen
• basic complex line bundle on the 2-sphere
• Baues > history
• Bayesian interpretation of quantum mechanics
• Bayesian reasoning
• BCJ relations
• BDR 2-vector bundle
• Beck-Chevalley condition
• Becker-Gottlieb transfer
• Beilinson-Bernstein localization
• Ben Webster
• Benedict Gross
• Benno van den Berg
• Berkovich space
• Bernhard Riemann
• Bernhard Schölkopf
• Bernoulli number
• Bertrand Russell
• beta-gamma system
• beta-ring
• BF-theory
• BFSS matrix model
• Bianchi identity
• bibundle
• bicategory of relations
• bicrossed product
• bidirectional typechecking
• bifibration
• big and little toposes
• Big Bang
• biology
• bireflective subcategory
• bisimulation
• bit flip code
• Bjørn Ian Dundas
• black hole in anti-de Sitter spacetime
• black holes in string theory
• BLG model
• blob homology
• blueprint
• BMN matrix model
• Boardman homomorphism
• Bob Coecke
• Bob Walters
• Bohr compactification
• Bohr topos
• books about string theory
• Boolean algebra
• Boone conjecture
• Borcherds algebra
• bordism categories following Stolz-Teichner
• Borel model structure
• Borel-Weil theorem
• Borger's absolute geometry
• Boris Dubrovin
• bornological coarse space
• bornological topological vector space
• bornological topos
• bosonic M-theory
• bosonic modality
• Bott periodicity
• bounded geometric morphism
• bounded linear logic
• Bourbaki
• Bousfield localization of spectra
• Bousfield–Kan spectral sequence
• box topology
• BPS state
• BPST-instanton
• BQP
• bracket type
• braid group
• brane
• brane scan
• Brauer group
• Brauer stack
• Bredon cohomology
• Bridgeland stability condition
• Brillouin torus
• Brouwer's fixed point theorem
• Brown representability theorem
• Brown-Comenetz duality
• BrownAHT
• BRST complex
• Bruhat decomposition
• Bruno de Finetti
• Bruno Gavranović
• building
• bundle
• bundle gerbe
• Burnside category
• Burnside ring
• BV-algebra
• BV-BRST formalism
• C^∞-ring
• Calabi-Yau object
• Calabi-Yau variety
• calculus of constructions
• calibration
• call-by-push-value
• canonical form
• canonical resolution
• Cantor space
• cardinal number
• Cartan connection
• Cartan geometry
• Cartan geometry, Supergravity and Branes
• Cartan's closed subgroup theorem
• cartesian bicategory
• cartesian closed 2-category
• cartesian closed category
• cartesian monad
• cartesian monoidal category
• cartesian multicategory
• Cartier duality
• CartSp
• Cat
• Catalan number
• categorial grammar
• categorical geometric Langlands conjecture
• categorical semantics of dependent type theory
• categorified Dold-Kan correspondence
• category (philosophy)
• category algebra
• category object in an (infinity,1)-category
• category of being
• category of fractions
• category of presheaves
• category theory
• category theory and foundations
• Catherine Meusburger
• Cauchy complete category
• Cauchy's integral formula
• causal additivity
• causal locality
• causal perturbation theory
• causal structure
• causally local net of observables
• Cayley distance
• Cayley distance kernel
• Cayley graph
• Cayley graph of Sym(3)
• Cayley plane
• Cayley-Dickson construction
• Center for Quantum and Topological Systems
• central extension
• chain homology and cohomology
• chain rule
• change of enriching category
• character
• character table of 2I
• character table of 2T
• characteristic
• characteristic class
• Charles Sanders Peirce
• chemistry
• Chern character
• Chern class
• Chern-Simons gravity
• Chern-Simons theory
• Chern-Weil theory
• Chern-Weil theory in Smooth∞Grpd
• Chevalley-Eilenberg algebra
• Chevalley-Eilenberg algebra in synthetic differential geometry
• child's drawing
• choice operator
• chord diagrams as multi-trace observables in BMN matrix model -- example
• Christian Ausoni
• Christian Schlichtkrull
• Christoph Dorn
• Chromatic Homotopy Theory
• chromatic homotopy theory
• Chu construction
• circle n-group
• clan
• Clark Barwick
• class equation
• classical anomaly
• classical double copy
• classical field theory
• classical limit
• classical logic
• classical mathematics
• classifying (infinity,1)-topos
• classifying topos
• classifying topos for the theory of objects
• Claudio Pisani
• Clifford algebra
• Clifford-Klein space form
• closed midpoint algebra
• closed monoidal (infinity,1)-category
• closed monoidal structure on presheaves
• cluster algebra
• CNOT gate
• co-H-space
• co-Yoneda lemma
• coalgebra
• coalgebra for an endofunctor
• coalgebra of the real interval
• cobordism
• cobordism cohomology theory
• cobordism hypothesis
• cobordism theory determining homology theory
• cocategory
• cocommutative coalgebra
• cocycle
• codense functor
• codense subspace
• codensity monad
• codiscrete cofibration
• codiscrete groupoid
• codomain fibration
• coercion
• cofibration
• cofibration category
• cograph of a profunctor
• coherent hyperdoctrine
• coherent logic
• cohesion - table
• cohesion of global- over G-equivariant homotopy theory
• cohesive (infinity,1)-topos
• cohesive (infinity,1)-topos -- structures
• cohesive homotopy type theory
• cohesive topos
• Cohesive Toposes -- Combinatorial and Infinitesimal Cases
• Cohesive Toposes and Cantor's "lauter Einsen"
• cohomological dimension
• cohomology
• cohomology group
• cohomology of a category
• cohomology operation
• cohomotopy
• cohomotopy charge map
• cohomotopy in topological data analysis -- references
• coinduction
• coinductive type
• colimit
• colimits in categories of algebras
• colocalization
• colored Jones polynomial
• combinatorial category
• combinatorial spectrum
• combinatory logic
• commutative Hopf algebroid
• commutative monoid
• commutative square
• commutativity of limits and colimits
• comodal type
• comonad
• comonadic functor
• compact closed category
• compact object
• compact object in an (infinity,1)-category
• compact space
• compactum
• comparison map between algebraic and topological K-theory
• complete Boolean algebra
• complete Heyting algebra
• complete space
• completeness theorem
• completion
• completion of a ring
• completion theorem for complex cobordism cohomology
• complex analytic ∞-groupoid
• complex geometry
• complex oriented cohomology theory
• complexity theory
• composite system
• compositionality
• computable physics
• computational trilogy
• computational type theory
• conal manifold
• concept with an attitude
• conceptual completeness
• concrete category
• concrete object
• concretification
• condensed local contractibility
• condensed mathematics
• condensed set
• Conduché functor
• conductor
• configuration space (physics)
• configuration space of points
• confinement
• conformal field theory
• conformal net
• conifold transition
• conjugacy class
• connected space
• Connes-Lott-Chamseddine-Barrett model
• conservative functor
• conserved current
• consistency
• consistent histories approach to quantum mechanics
• constructive mathematics
• contact manifold
• context
• continuation monad
• continuation-passing style
• continuous logic
• continuous map
• continuous poset
• continuum
• contractible space
• convergence radius
• convex cone
• convex set
• convex space
• Conway group
• coordinate-free spectrum
• coordination
• copresheaf
• Coq
• core of a ring
• coreader comonad
• corecursion
• coreflective subcategory
• correlator as differential form on configuration space of points
• correspondence theory of truth
• coset
• coset space structure on n-spheres -- table
• cosheaf
• cosmic censorship hypothesis
• cosmic cube
• cosmic electromagnetism
• cosmic Galois group
• cosmological constant
• cosmos
• cospan
• cospan cotrace
• cotangent complex
• cotopological localization
• Coulomb branch
• countable ordinal
• countable random graph
• counterexamples in category theory
• Courant algebroid
• covariant derivative
• covering of alternating group
• Coxeter group
• Coyoneda lemma > history
• CR structure
• criticism of string theory
• Critique of Pure Reason
• crossed homomorphism
• crossed module
• crossed n-cube
• crystal (algebraic geometry)
• crystallographic group
• cubical set
• cubical structure in M-theory
• cubical type theory
• current
• Curry's paradox
• curvature
• cut rule
• cyclic category
• cyclic homology
• cyclic order
• cyclotomic space
• cyclotomic spectrum
• cyclotomic trace
• D'Auria-Fré-Regge formulation of supergravity
• D-algebra
• D-brane
• D-brane charge quantization in K-theory
• D-brane geometry
• D-module
• D-scheme
• D-term
• D=11 N=1 supergravity
• D=12 supergravity
• D=14 supersymmetry
• D=3 N=2 super Yang-Mills theory
• D=4 supergravity
• D=5 Yang-Mills theory
• D=6 N=(2,0) SCFT
• Daisuke Bekki
• Daisuke Tambara
• Dan Ghica
• Dan Marsden
• Daniel Berwick-Evans
• Daniel Leivant
• daseinisation
• database theory
• David Ben-Zvi
• David Carchedi
• David Corfield
• David Jaz Myers
• David Mumford
• David Spivak
• Davide Gaiotto
• Davorin Lešnik
• Day convolution
• de re and de dicto
• de Rham complex
• de Rham space
• de Rham theorem
• de Rham-Witt complex
• decategorification
• Dedekind cut
• deductive reasoning
• definite description
• definite globalization of WZW term
• deformation theory
• defunctionalization
• del Pezzo surface
• Deligne cohomology
• Deligne completeness theorem
• Deligne's theorem on tensor categories
• delooping
• delta lens
• Demazure, lectures on p-divisible groups, II.5, the Frobenius and the Verschiebung morphism
• Denis-Charles Cisinski
• Dennis Sullivan
• dense functor
• dense monomorphism
• dependent linear type theory
• dependent product
• dependent product type
• dependent sum
• dependent sum natural deduction - table
• dependent sum type
• Dependent Type Semantics
• dependent type theoretic methods in natural language semantics
• dependent type theory
• derivation
• derivative
• derived algebraic geometry
• derived blow-up
• derived category
• derived functor
• derived geometry
• derived group scheme
• derived loop space
• derived Morita equivalence
• derived smooth manifold
• descriptive complexity
• deterministic random variable
• dg-algebra > history
• diagram
• Dialectica interpretation
• dialgebra
• diamond principle
• dichotomy between nice objects and nice categories
• Dickson invariant
• diffeomorphism group
• differential algebraic K-theory
• differential category
• differential cohesion and idelic structure
• differential cohesive (infinity,1)-topos
• differential cohomology
• differential cohomology diagram
• differential equation
• differential fivebrane structure
• differential form on a supermanifold
• differential graded Lie algebra
• differential ideal
• differential K-theory
• differential linear logic
• differential nonabelian cohomology
• differential object
• differentiation
• diffiety
• Dijkgraaf-Witten theory
• dimer
• dinatural transformation
• diquark
• Dirac interaction picture
• Dirac-Born-Infeld action
• direct sum
• Directed Algebraic Topology
• directed homotopy type theory
• directed topological space
• direction
• Dirichlet L-function
• discrete and indiscrete topology
• disjunction
• disjunctive (∞,1)-category
• distribution
• distributive category
• distributive law
• divided power algebra
• division algebra and supersymmetry
• division superalgebra
• Dixmier-Douady class
• Dmitri Nikshych
• doctrinal adjunction
• doctrine
• Dolbeault theorem
• Dold-Kan correspondence
• Dold-Thom theorem
• domain specific embedded programming language
• domain theory
• domain wall
• Dominic Orchard
• Donald Yau
• Donaldson-Thomas invariant
• double affine Hecke algebra > history
• double category
• double coset
• double dimensional reduction
• double field theory
• double negation translation
• doublet-triplet splitting problem
• doubly closed monoidal category
• Dp-D(p+2)-brane bound state
• Dp-D(p+4)-brane bound state
• dual heterotic string theory
• duality
• duality between M-theory and type IIA string theory
• duality between M-theory on Z2-orbifolds and type IIB string theory on K3-fibrations
• duality between M/F-theory and heterotic string theory
• duality in physics
• duality in string theory
• dualizable object
• Dubuc topos
• Duff interview at M-Theory-Mathematics 2020
• duoidal category
• Dustin Clausen
• Dwyer-Wilkerson H-space
• E11
• E6
• E8 lattice
• E8 manifold
• Eckmann-Hilton argument
• Eckmann-Hilton duality
• Edmund Husserl
• Edwin Jaynes
• Eff
• effect handler
• effective epimorphism
• effective epimorphism in an (infinity,1)-category
• effective quantum field theory
• effective topos
• Efimov K-theory
• Egbert Rijke
• Ehlers transformation
• EI-category
• eigenvector
• Eilenberg-Mac Lane space
• Eilenberg-Moore category
• Eilenberg-Zilber map
• einselection
• Einstein equation
• Einstein summation convention
• Einstein-Hilbert action
• electric-magnetic duality
• electromagnetic field
• electronic band structure
• elementary (infinity,1)-topos
• Elliott Lieb
• elliptic cohomology
• Elliptic Cohomology I
• elliptic genus
• elliptic spectrum
• Elmendorf's theorem
• embedding
• emergentism
• empty 147
• empty 148
• empty 149
• empty 150
• empty 151
• empty 162
• empty 163
• empty type
• empty166
• empty167
• empty168
• empty169
• Encyclopedia of Mathematical Physics 2nd ed
• Encyclopedia of the Philosophical Sciences
• end
• endomorphism
• energy
• enhanced gauge symmetry
• enriched adjoint functor
• enriched category
• enriched Lawvere theory
• enriched monad
• entropy
• enveloping von Neumann algebra
• epimorphism
• epistemic modal logic
• EPR paradox
• epsilontic analysis
• equality
• equifier
• equivalence
• equivalence of types
• equivariance
• equivariant
• equivariant bundle
• equivariant cohomology
• equivariant complex cobordism cohomology theory
• equivariant complex oriented cohomology theory
• equivariant connection
• equivariant de Rham cohomology
• equivariant derived category
• equivariant elliptic cohomology
• equivariant homotopy theory
• equivariant homotopy theory -- table
• equivariant K-theory
• equivariant stable homotopy category
• equivariant stable homotopy theory
• equivariant Whitehead theorem
• ER = EPR
• Eric Finster
• Erlangen program
• Ernst Cassirer
• Ernst Zermelo
• essentially affine category
• essentially algebraic theory
• ETCS
• Euclidean field theory
• Euler characteristic
• Euler-Lagrange complex
• Evan Patterson
• even cohomology theory
• event horizon
• ex falso quodlibet
• exact category
• exact sequence
• examples of adjoint functors
• exceptional field theory
• exceptional generalized geometry
• exceptional naturalism
• exceptional structure
• exceptional structures -- contents
• excisive (∞,1)-functor
• exclusive disjunction
• existential quantifier
• exotic brane
• exotic meson
• exotic smooth structure
• explicit formulae (L-function)
• exponential map
• exponential object
• extended Lagrangian
• extended natural numbers > history
• extension
• extensional relation
• exterior algebra
• external tensor product
• externalization
• extremally disconnected topological space
• F-branes -- table
• f-invariant
• F-norm
• F-theory
• F-theory on Spin(7)-manifolds
• F1-brane
• Fabio Zanasi
• factorization algebra
• Factorization algebras in perturbative quantum field theory
• factorization homology
• Fargues-Fontaine curve
• Farrell-Tate cohomology
• fat diagonal
• Favonia
• Felix Cherubini
• Felix Klein
• Fermat quotient
• Feynman category
• Feynman diagram
• fiber bundle
• fiber bundles in physics
• fibrant object
• fibration
• fibration of points
• fibration of quasi-categories
• field (physics)
• field with one element
• Fierz identity
• Filippo Bonchi
• filtrality
• filtration by support
• FinCat
• FinDimVect
• finitary functor
• finite category
• finite rotation group
• finite set
• finite ∞-group
• FinRel
• first-order modal logic
• first-order theory
• fivebrane Lie 6-algebra
• Fivebrane structure
• flag variety
• flat functor
• flat modality
• flat module
• flat morphism
• flat space holography
• flavour (particle physics)
• flavour anomaly
• Floer homology
• flow of a vector field
• fluid/gravity correspondence
• focusing
• foliation
• forcing
• formal category theory
• formal concept analysis
• formal deformation quantization
• formal group
• formal immersion of smooth manifolds
• formal smooth infinity-groupoid
• formal spectrum
• formally smooth morphism
• formally smooth object
• formally unramified morphism
• formally étale morphism
• foundation of mathematics
• foundations and philosophy
• Foundations of Algebraic Topology
• four-colour theorem
• Fourier-Mukai transform
• fpqc topology
• fractal
• fractional D-brane
• fracture theorem
• fractured (infinity,1)-topos
• framed bicategory
• framed manifold
• Francesco Toppan
• Francisco Marmolejo
• free action
• free cocompletion
• free diagram
• free loop space
• free loop space object
• Freed-Witten anomaly
• Freeman Dyson
• Freudenthal magic square
• Freudenthal suspension theorem
• Freyd cover
• Friederich Mautner
• Frobenioid
• Frobenius reciprocity
• Frölicher space
• Frölicher spectral sequence
• fully dualizable object
• fully formal ETCS
• function algebras on infinity-stacks
• function field analogy
• function field analogy -- table
• function monad
• function type
• functional analysis - contents
• functor with smash products
• functorial field theory
• functorial geometry
• Functorial Semantics of Algebraic Theories
• functoriality of categories of presheaves
• fundamental category
• fundamental group
• fundamental group of a topos
• fundamental groupoid
• fundamental infinity-groupoid
• funding of the nLab
• funny tensor product
• Furstenberg-Zimmer structure theorem
• fusion category
• fusion ring
• fuzzy dark matter
• fuzzy sphere
• G(3)
• G-spectrum
• G-structure
• G2
• G2 manifold
• G2-MSSM
• Gabriele Veneziano
• Gabriel–Ulmer duality
• Gaeta topos
• Galois connection
• Galois group
• Galois module
• game semantics
• Gamma-set
• gauge group
• gauge transformation
• gauged supergravity
• Gauss-Bonnet theorem
• Gauss-Manin connection
• Gaëtan Borot
• Gelfand duality
• general covariance
• general relativity
• generalized (Eilenberg-Steenrod) homotopy
• generalized algebraic theory
• generalized complex geometry
• generalized contact geometry
• generalized global analytic geometry
• generalized lambda-structure
• generalized multicategory
• generalized object > history
• generalized Reedy category
• generalized scheme
• generalized smooth space
• generalized the
• generalized universal bundle
• genus
• Geoff Cruttwell
• geometric infinity-function theory
• geometric Langlands correspondence
• geometric model for elliptic cohomology
• geometric model for modal logics
• geometric quantization
• geometric quantization of symplectic groupoids
• geometric realization
• geometric representation theory
• geometric Satake equivalence
• geometric stack
• geometric theory
• geometrical formulation of quantum mechanics
• geometrically discrete infinity-groupoid
• geometrization conjecture
• geometrodynamics
• geometry
• geometry (for structured (infinity,1)-toposes)
• Geometry of Interaction
• geometry of physics
• geometry of physics - cohesive toposes
• geometry of physics -- categories and toposes
• geometry of physics -- flux quantization
• geometry of physics -- fundamental super p-branes
• geometry of physics -- perturbative quantum field theory
• geometry of physics -- superalgebra
• geometry of physics -- supergeometry
• geometry of physics -- supergeometry and superphysics
• geometry of physics -- supersymmetry
• geometry of physics – basic notions of category theory
• Georg Hegel
• George Mackey
• George Polya
• Gerhard Gentzen
• Gianluca Giorgolo
• giant graviton
• Gilbert Ryle
• Giovanni Caviglia
• Giry monad
• global analytic index theory
• global equivariant homotopy theory
• global family
• Global homotopy theory
• global orbit category
• globally equivariant spectrum
• Globular
• gnarly problems in physics
• good monoidal (∞,1)-category
• good orbifold
• Goodwillie calculus
• Goodwillie chain rule
• Goodwillie derivative of the identity functor
• Gorenstein ring
• Gorenstein ring spectrum
• Gorgias dialogue
• Gottfried Leibniz
• graded fusion category
• graded modality
• graded monad
• graph complex
• graph of a function
• gravitino
• Green functor
• Green-Schwarz action functional
• Green-Schwarz mechanism
• Gregor Schaumann
• Gregory Moore
• Gromoll-Meyer sphere
• Gromov's non-squeezing theorem
• Grothendieck connection
• Grothendieck construction
• Grothendieck fibration
• Grothendieck ring
• Grothendieck-Riemann-Roch theorem
• group actions on spheres
• group averaging
• group character
• group cohomology
• group extension
• group homotopy
• group of ideles
• group of Lie type
• group scheme
• groupal model for universal principal infinity-bundles
• groupoid
• groupoid cardinality
• groupoid cohomology
• groupoid infinity-action
• groupoid principal bundle
• groupoid-principal infinity-bundle
• groupoidification
• Gruppenpest
• guarded recursion
• GUT
• Göran Sundholm​
• h-initial object
• h-principle
• H-space
• Haag-Kastler axioms
• Haag–Łopuszański–Sohnius theorem
• hadron
• Hall algebra
• Hamiltonian action
• Hamiltonian mechanics
• Hamiltonian symplectomorphism infinity-group
• Hans Freudenthal
• Hans-Joachim Baues
• Happy Family
• hard Lefschetz theorem
• Hawaiian earring space
• Hegel's "Logic" as Modal Type Theory
• Hegelian taco
• height of a formal group
• Helmholtz operator
• Henri Poincaré
• Heraclitus
• hereditarily finite set
• Hermann Grassmann
• Hermann Weyl
• heterotic S-duality -- table
• heterotic string theory
• heuristic introduction to sheaves, cohomology and higher stacks > history
• Heyting arithmetic
• hidden local symmetry
• hierarchy problem
• Higgs boson
• Higgs branch
• Higgs field
• high energy physics
• Higher Algebra
• higher algebra
• higher Cartan geometry
• higher category theory
• higher category theory and physics
• higher chromatic Chern character
• higher curvature correction
• higher dimensional Chern-Simons theory
• higher gauge field
• higher gauge transformation
• higher geometric quantization
• higher geometry
• higher inductive type
• higher Kac-Moody algebra
• higher Klein geometry
• higher parallel transport
• higher regulator
• higher Segal space
• higher spin gauge theory
• higher topos theory
• Higher toposes of laws of motion
• higher-order logic
• Hilb
• Hilbert cube
• Hilbert scheme
• Hiro Lee Tanaka
• Hisham Sati
• Hitchin connection
• Hitchin functional
• Hochschild cohomology
• Hochster duality
• Hodge cycle
• Hodge theory
• hole argument
• holographic entanglement entropy
• holographic principle
• holographic principle of higher category theory
• holonomic quantum field
• hom-space > history
• HomePage
• homological algebra
• homological category
• homotopical algebraic geometry
• homotopical cohomology theory
• homotopy (as an operation)
• homotopy category
• homotopy group
• homotopy groups in an (infinity,1)-topos
• homotopy hypothesis
• homotopy invariance
• homotopy pullback
• homotopy spectral sequence
• homotopy theory
• homotopy type
• homotopy type theory
• homotopy type theory FAQ
• homotopy type with finite homotopy groups
• hook length formula
• hook-content formula
• Hopf construction
• Hopf E-∞ algebra
• Hopf fibration
• Hopf invariant
• Hopf monoidal category
• Hopf-Galois extension
• horocycle correspondence
• HoTT methods for homotopy theorists
• Hořava-Witten theory
• Hurewicz cofibration
• hypercompletion
• hypercomplex number
• hypercover
• hyperdoctrine
• hypergraph
• hypergroup
• hypermonoid
• hyperring
• hypersheaf
• icosahedral group
• ideal completion
• identity type
• IKKT matrix model
• immersion of smooth manifolds
• incompleteness theorem
• inconsistency
• indexed (infinity, 1)-category
• indexed category
• indexed monoidal (infinity,1)-category
• indexed monoidal category
• indexed topos
• induced representation
• induction
• inductive reasoning
• inductive type
• inductive-inductive type
• inductive-recursive type
• infinitary Lawvere theory
• infinitary logic
• infinitesimal cohesive (infinity,1)-topos
• infinitesimal flat modality
• infinitesimal interval object
• infinitesimal number
• infinitesimal object
• infinitesimal path ∞-groupoid
• infinitesimal shape modality
• infinitesimally thickened point
• infinitesimally thickened Sierpinski topos
• infinity-action
• infinity-algebra over an (infinity,1)-algebraic theory
• infinity-category
• infinity-Chern-Weil theory introduction
• infinity-cohesive site
• infinity-cosmos
• infinity-CS theory for binary non-degenerate invariant polynomial - table
• infinity-field
• infinity-group
• infinity-group of units
• infinity-groupoid
• Infinity-Grpd
• infinity-Lie algebra cohomology
• infinity-representation
• infinity-space
• infinity-stack homotopically
• information geometry
• infrared divergence
• Ingmar Saberi
• inhomogeneous cosmology
• initial algebra of a presentable (infinity,1)-monad
• initial algebra of an endofunctor
• Inj
• injective envelope
• integers object
• integrability of G-structures
• integrable distribution of subspaces
• integral homotopy theory
• integral transform
• integral transforms on sheaves
• integration of differential forms
• integration over supermanifolds
• intensive or extensive quantity
• inter-universal Teichmüller theory
• intermediate Jacobian
• internal category
• internal hom
• internal logic
• internal logic of an (infinity,1)-topos
• internal type theory
• internalization
• interpretation of quantum mechanics
• intersecting D-brane model
• intersection pairing
• intrinsic and extrinsic views of typing
• Introduction to Cobordism and Complex Oriented Cohomology
• Introduction to Higher-Order Categorical Logic
• Introduction to Homotopy Type Theory
• Introduction to Stable homotopy theory -- 1-2
• Introduction to Topology
• intuitionistic logic
• invariant
• invariant polynomial
• invariant theory
• inverse diagram model of type theory
• inverse EI (∞,1)-category
• invertible field theory
• Irina Kogan
• irreducible representation
• Irving Kaplansky
• Isaac Newton
• Isbell duality
• Ising model
• isogeny
• isometry
• isotropic subspace
• Itaï Ben Yaacov
• iterated algebraic K-theory
• Ivan Di Liberti
• Iwasawa polynomial
• Iwasawa theory
• Iwasawa-Tate theory
• J-homomorphism
• J-homomorphism and chromatic homotopy
• j-invariant
• J. Daniel Christensen
• J.H.C. Whitehead
• Jacob Lurie
• Jacob Neumann
• Jacobi form
• James Arthur
• James Borger
• James Clerk Maxwell
• James Hartle
• Jana Dunfield
• JCMcKeown
• Jean-Marc Andreoli
• Jean-Pierre Marquis
• Jean-Yves Girard
• Jerome Keisler
• Jerzy Dydak
• jet (infinity,1)-category
• jet bundle
• jet comonad
• jet space
• Joachim Kock
• John Cartmell
• John D. Berman
• John Huerta
• John Klein
• John McKay
• John Rognes
• John Ullman
• Johnstone's topological topos
• join of maps
• join of simplicial sets
• Jonathan Beardsley
• Jonathan Heckman
• Jonathan Sterling
• Jordan algebra
• Jordan superalgebra
• Jordan-Hölder theorem
• Joyal delta-ring
• Joyal locus
• Jucys-Murphy element
• judgmental equality
• June Huh
• K(n)-local stable homotopy theory
• k-simply connected n-category
• K-theory
• K-theory classification of topological phases of matter
• K-theory of a permutative category
• K-theory of a symmetric monoidal (∞,1)-category
• k-tuply monoidal n-category
• Kac-Moody algebra
• Kac-Moody group
• Kalb-Ramond field
• Kaluza-Klein mechanism
• Kan extension
• Kan lift
• Kantaro Ohmori
• Karol Borsuk
• Karoubi envelope
• Karoubi K-theory
• Kazama-Suzuki model
• Kazhdan-Lusztig theory
• Ken Ono
• kernel method
• kernel of integration is the exact differential forms
• Killing spinor
• Killing vector field
• kinematics and dynamics
• kinship
• Kirill Mackenzie
• KK principle
• KK-theory
• Klein 2-geometry
• Klein geometry
• Klein-Gordon equation
• KLT relations
• knot invariant
• knot theory - contents
• Kohei Kishida
• Koszul duality
• Koszul homology
• KR cohomology theory
• Kripke frame
• Kripke-Joyal semantics
• Kuno Lorenz
• Kurt Gödel
• L-function
• lambda-calculus
• Lambda-ring
• landscape of string theory vacua
• Landweber exact functor theorem
• Landweber exactness
• Langlands dual group
• Langlands functoriality
• Langlands program
• large N limit
• Lars Andersson
• lattice (in a vector space, etc.) > history
• lattice gauge theory
• Laurent Fargues
• Lawvere distribution
• Lawvere interval
• Lawvere theory
• Lawvere's fixed point theorem
• lax morphism
• leaf
• Lectures on the Philosophy of Religion
• Lefschetz trace formula
• left adjoint
• length of an object
• lens (in computer science)
• Leonard Dickson
• leptoquark
• Levin-Wen model
• Liang Kong
• Lie 2-algebra
• Lie algebra representation
• Lie algebra weight system
• Lie groupoid
• Lie n-groupoid
• lift
• lifts and extensions
• light
• light-cone quantization
• LIGO-Virgo
• lim^1 and Milnor sequences
• limits and colimits by example
• Lindenbaum-Tarski algebra
• line 2-bundle
• line with two origins
• linear hyperdoctrine
• linear logic
• linear type theory
• lined topos
• linguistics
• list of notable initial algebras and terminal coalgebras
• little string theory
• Littlewood-Richardson coefficient
• local and global geometry - table
• local field
• local isomorphism
• local Langlands conjecture
• local observable
• local quantum field theory
• local system
• locale
• localization of a 2-category
• localization of a space
• locally compact topological space
• locally finitely presentable category
• locally graded category
• locally Klein geometry
• locally presentable (infinity,1)-category
• locally small category
• locus
• Loday-Quillen-Tsygan theorem
• logarithmic motivic homotopy theory
• logic
• Logic as the Essence of Philosophy
• logic circuit
• logic gate
• logic symbols -- table
• logical framework
• logical relation
• logical scheme
• logicality and invariance
• logos
• loop space
• loop space object
• Lorentzian polynomial
• Louis Martini
• low dimensional rotation groups -- table
• lower central series
• Luca Mesiti
• Luis Scoccola
• Lutian Zhao
• Lyne Moser
• M-brane 3-algebra
• M-theory
• M-Theory and Mathematics
• M-theory on 8-manifolds
• M-theory on G2-manifolds
• M-theory supersymmetry algebra
• M-wave
• M2-brane
• M5-brane
• M5-MO9 brane bound state
• machine learning
• Mackey functor
• MacNeille completion
• magic triangle
• magnetic charge
• main theorem of perturbative renormalization
• Majorana spinor
• Makkai duality
• Malcev, protomodular, homological and semi-abelian categories
• Mandelbrot set
• manifold
• manifold calculus
• manifold diagram
• manifold-diagrammatic n-category
• mapping stack
• Marc Hoyois
• Marco Schlichting
• Maria Emilia Descotte
• Marianne Smith
• Markov category
• Markov chain
• Marston Morse
• Martin-Löf dependent type theory
• Martina Rovelli
• Martín Escardó
• Masahico Saito
• mass gap
• Massey product
• Matan Prasma
• material set theory
• material-structural adjunction
• math blogs
• mathematical logic
• mathematical physics
• mathematics presented in homotopy type theory
• Mathieu Anel
• Mathieu group
• Mathieu moonshine
• Matija Pretnar
• matrix mechanics
• matroid
• Matthijs Vákár
• Maurer-Cartan form
• max-entropy
• Maxence Mayrand
• Maximilien Péroux
• McKay correspondence
• Meaning and Necessity
• meaning explanation
• measurable space
• Meister Eckhart
• Mellin transform
• mere proposition
• meromorphic connection
• metabelian group
• Metaphysics (Aristotle)
• metaplectic correction (in geometric quantization)
• metaplectic group
• metaplectic structure
• Michael Barr
• Michael Ching
• Michael Friedman
• Michael Friedman (historian)
• Michael Johnson
• Michael Levin
• Michael Levin (biologist)
• Michael Makkai
• Michael Mertens
• Michael Weiss
• Michele Del Zotto
• microcosm principle
• microlocal analysis
• Mike Shulman
• Mikhail Kapranov
• Mikhail Khovanov
• Miles Blencowe
• Milky Way
• min-entropy
• Mina Aganagic
• Minhyong Kim
• mirror symmetry
• Mizar
• mod p Whitehead theorem
• modal homotopy type theory
• modal hyperdoctrine
• modal logic
• modal type
• modal type theory
• modality
• model category
• model structure on cubical sets
• model structure on functors
• model theory
• model-theoretic Galois theory
• modular functor
• modular tensor category
• modular theory
• module
• module category
• module over a monad
• module spectrum
• moduli space of bundles
• moduli stabilization
• moduli stack of elliptic curves
• moment
• moment map
• monad
• monad (disambiguation)
• monad (in computer science)
• monad (in linguistics)
• monad transformer
• monadic cohomology
• monadic descent
• monadicity theorem
• monads of probability, measures, and valuations
• MOND
• monoid
• monoid in a monoidal (infinity,1)-category
• monoidal (infinity,1)-category
• monoidal action of a monoidal category
• monoidal bicategory
• monoidal category
• monoidal functor
• monoidal topos
• monomorphism
• monomorphism in an (infinity,1)-category
• Monster group
• Montague semantics
• Moonshine
• Moore machine
• Moore space
• Morava E-theory
• Morava stabilizer group
• Morita equivalence
• Morse theory
• Morten Brun
• motivation for cohesive toposes
• motivation for directed homotopy > history
• motivation for higher differential geometry
• motivation for sheaves, cohomology and higher stacks
• motive
• motives in physics
• motivic coarse space
• motivic cohomology
• motivic homotopy theory
• motivic integration
• motivic quantization
• Moyal deformation quantization
• MP
• MR cohomology theory
• MU
• multi-adjoint
• multiagent system
• multilimit
• multiplicative cohomology theory
• multisymplectic geometry
• multivector field
• multiverse
• Murray Gell-Mann
• mysterious duality
• mysticism
• n-connected continuous function
• n-connected space
• n-epimorphism
• n-excisive (∞,1)-functor
• n-fibration
• n-monomorphism
• n-plectic geometry
• n-point function
• Naming and Necessity
• Nathaniel Stapleton
• natural equivalence
• natural numbers type
• naturalness
• Nature conformable to herself
• necessity and possibility
• negative moment
• negative thinking
• negative type
• networks of category theorists
• neural network
• neutrino
• New Spaces for Mathematics and Physics
• Nicolaas de Bruijn
• Nicolò Sibilla
• Nikolai Durov
• Niles Johnson
• nilpotent element
• nilpotent group
• nilpotent homotopy type > history
• Nils Carqueville
• Nima Rasekh
• no-cloning theorem
• Noether's theorem
• non-archimedean analytic geometry
• non-geometric string vacuum
• non-perturbative effect
• Nonabelian Algebraic Topology
• nonabelian bundle gerbe
• nonabelian cohomology
• nonabelian group cohomology
• nonabelian Hodge theory
• noncommutative algebraic geometry
• noncommutative geometry
• noncommutative motive
• nonstationary p-divisible group
• nonunital Ek-algebra
• Nora Ganter
• normal form
• normal subgroup
• normal subobject
• normal variety
• normalizer
• normed division algebra
• normed division algebra Riemannian geometry -- table
• nothing
• nPOV
• NS5-brane
• nucleus
• nucleus of a profunctor
• Nullstellensatz
• number theory
• O'Nan moonshine
• o-minimal structure
• Oberwolfach Workshop, June 2009 -- Abstracts
• Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology
• object-oriented programming
• objective and subjective logic
• observable universe
• observer
• obstruction
• octahedral group
• octonion
• octonionic Hopf fibration
• octonionic projective space
• odd line
• off-shell Poisson bracket
• Olivia Caramello
• Omega-group
• On the hypotheses which underlie geometry
• On Vortex Atoms
• on-shell recursion
• one-point compactification
• open problem of confinement -- references
• operad
• operator
• operator product expansion
• opposite category
• optic (in computer science)
• optics
• orbifold
• orbifold cohomology
• orbit category
• orbit method
• order-theoretic structure in quantum mechanics
• ordinal analysis
• ordinary differential cohomology
• Organization of the nLab > history
• orientation in generalized cohomology
• orientifold
• orthogonal calculus
• orthogonal factorization system
• orthogonal spectrum
• orthosymplectic super Lie algebra
• Oskar Klein
• over category
• over-(infinity,1)-category
• over-(infinity,1)-topos
• overconvergent global analytic geometry
• Owen Gwilliam
• p-adic AdS-CFT > history
• p-adic AdS/CFT correspondence
• p-adic differential equation
• p-adic string theory
• p-compact group
• p-derivation
• p-divisible group
• P-ring
• Paige Randall North
• Paolo Perrone
• para construction
• parabolic geometry
• parabolic subgroup
• parallel transport
• parameterized homotopy theory
• parameterized WZW model
• parametric right adjoint
• Parametrized Higher Category Theory and Higher Algebra
• parent action functional
• partial combinatory algebra
• partial function
• partial order
• particle
• partition function
• pasting diagram
• path integral
• path integral as a pull-push transform
• Patricia Johann
• Paul Lorenzen
• Paul Redding
• Paul-André Melliès
• Pauli exclusion principle
• PCT theorem
• Peano arithmetic
• pentaquark
• Per Martin-Löf
• perfect field
• perfect group
• perfect ring
• perfectoid field
• perfectoid space
• period
• periodic map
• periodic ring spectrum
• periodic table
• periodic table of chemical elements
• permutation
• permutation representation
• Persi Diaconis
• persistent cohomotopy
• persistent homology
• perturbative algebraic quantum field theory
• perturbative quantum field theory
• perverse sheaf
• Peter Haine
• Petri net
• phase space
• phenomenology (philosophy)
• phenomenology (physics)
• philosophy
• physics
• physicscontents
• Picard 2-group
• Picard 3-group
• Picard groupoid
• Picard stack
• picture changing operator
• picture of mechanics
• Pierre Cagne
• Pierre-Loïc Méliot
• Pieter Blue
• Pieter Hofstra
• Pin(3)
• Pin(4)
• planar algebra
• Planck length
• Plato
• Platonic 2-group
• Platonic solid
• plethory
• plethysm
• Poincaré duality
• Poincaré group
• Poincaré lemma
• point
• pointed category
• pointed derivator
• pointed type
• points-to-pieces transform
• Poisson geometry
• Poisson sigma-model
• Poisson summation formula
• Poisson-Lie T-duality
• polarity in type theory
• Polish space
• polymorphism
• polynomial (∞,1)-functor
• polynomial (∞,1)-functor > history
• polynomial functor
• polynomial monad
• Pontrjagin dual
• Pontrjagin-Thom collapse map
• Pos
• poset-stratified space
• positive energy theorem
• positive type
• possible worlds semantics
• Postnikov system
• potentiality and actuality
• power object
• power operation
• practical foundation of mathematics
• Practical Foundations for Programming Languages
• pre-metric electromagnetism
• predicate logic
• predicative mathematics
• Predrag Cvitanović
• prequantized Lagrangian correspondence
• prequantum field theory
• presheaf
• pretopos
• prime geodesic
• primitive recursive arithmetic
• principal 2-bundle
• principal bundle
• principal infinity-bundle
• principle of equivalence
• principle of extremal action
• prism
• prismatic cohomology
• PRO
• pro-left adjoint
• pro-object
• proadjoint
• probability theory
• profinite completion of a group
• profinite group
• profinite homotopy type
• profunctor
• projective set
• PROP
• propagators - table
• proper morphism
• properad
• propositional extensionality
• propositions as projections
• propositions as types
• protomodular category
• Prüfer group
• pseudoalgebra for a 2-monad
• pseudoholomorphic curve
• pullback power
• pure motive
• pure set
• pyknotic set
• QCD
• quality type
• quantale
• quantaloid
• quantization
• Quantization as a Kan Extension
• quantization of 3d Chern-Simons theory
• quantization of Yang-Mills theory
• quantization via the A-model
• quantomorphism group
• quantum anomaly
• quantum biology
• quantum channel
• quantum channels and decoherence -- section
• quantum chemistry
• quantum circuits via dependent linear types
• quantum computation
• quantum cosmology
• quantum decoherence
• quantum error correction
• quantum field theory
• Quantum Gauge Theories -- A True Ghost Story
• quantum gravity
• quantum group Fourier transform
• quantum information
• quantum information theory via dagger-compact categories
• quantum logic
• quantum master equation
• quantum measurement
• quantum observable
• quantum parallelism
• quantum probability theory
• quantum programming languages -- references
• quantum state monad
• quantum superposition
• quantum teleportation
• quark
• quark-gluon plasma
• quasi-finite CW-complex
• quasi-limit
• quasicoherent sheaf
• quasifibration
• quasigroup
• quaternion group
• quaternionic Hopf fibration
• quaternionic oriented cohomology theory
• quiver gauge theory
• Radha Jagadeesan
• Radon transform
• Raffael Stenzel
• Ralf Krömer
• Ran space
• random variable
• Rapoport-Zink space
• rational equivariant stable homotopy theory
• rational homotopy theory
• rational model of mapping space
• rational thermodynamics
• rational topological space
• real algebraic K-theory
• realizability
• Reconstruction of Groups
• reconstruction theorem
• rectangular band
• recursion
• recursive mathematics
• reduced object
• reduced space
• reduction modality
• Reedy category
• reflected limit
• reflective subcategory
• regular action
• regular category
• regular monomorphism
• regular theory
• Reid William Barton
• relation between quasi-categories and simplicial categories
• relation between type theory and category theory
• relative comonad
• relative Langlands program
• relative monad
• relativistic particle
• relevance logic
• representability determines functoriality
• representation ring
• representation stability
• representation theory
• Republic dialogue
• residuated lattice
• resolution of singularities
• restricted product
• restricted representation
• reverse monoidal category
• rewriting
• rheonomy modality
• ribbon graph
• Richard Montague
• Richard Sharpe
• Riemann theta function
• Riemann-Hilbert correspondence
• Riemannian manifold
• Rig
• rig
• rig category
• right adjoint
• rigid analytic geometry
• rigid body dynamics
• ring of adeles
• ring of Witt vectors
• ring spectrum
• RO(G)-grading
• Robert A. Wilson
• Robert Griffiths > history
• Robert Harper
• Robert Langlands
• Robert Seiringer
• Robert Simmons
• Roberto Trotta
• Robin Cockett
• Robin Collingwood
• Robin Piedeleu
• Robinson-Schensted-Knuth correspondence
• Roger Godement
• Roland Omnès
• Romeo Brunetti
• Rozansky-Witten theory
• RR-field tadpole cancellation
• Ruelle zeta function
• S-duality
• S-matrix
• S5 modal logic
• Sachdev-Ye-Kitaev model
• Sam Staton
• Samson Abramsky
• Samuel Mimram
• Samuel Monnier
• Sandbox
• Sanjaye Ramgoolam
• Sanjeevi Krishnan
• Sarah Scherotzke
• Saul Glasman
• Saul Kripke
• SCFT
• scheme
• Scherk-Schwarz mechanism
• Schrödinger equation
• Schur function
• Schur functor
• Schur index
• Schur multiplier
• Schur-Weyl duality
• Schur-Weyl measure
• Schwinger-Tomonaga-Feynman-Dyson
• Science of Logic
• scissors congruence
• Sebastian Wolf
• second quantization
• secondary characteristic class
• Segal completion -- table
• Seiberg duality
• Seiberg-Witten theory
• Selberg trace formula
• Selberg zeta function
• selection monad
• self-adjoint operator
• self-dual higher gauge theory
• semi-abelian category
• semi-spin group
• semi-topological 4d Chern-Simons theory
• semistandard Young tableau
• separation logic
• sequent
• sequent calculus
• sequential spectrum
• Sergey Slavnov
• Serre intersection formula
• setoid
• Severin Bunk
• sextonion
• shape modality
• shape theory
• sharp modality
• sheaf of spectra
• sheafification
• shell
• Shimura variety
• Shing-Tung Yau
• Shinichi Mochizuki
• shtuka
• side effect
• Sierpinski topos
• sieve
• sigma-algebra
• sigma-model
• sigma-model -- exposition of classical sigma-models
• sigma-model -- exposition of higher gauge theories as sigma-models
• sigma-model -- exposition of second quantization of sigma-models
• signature (in logic)
• Simon Cho
• Simon Henry
• simplicial C-infinity-ring
• simplicial complex
• simplicial object
• simplicial ring
• simulation
• singular cohesion
• singular learning theory
• singularity
• six operations
• sketch
• Sketches of an Elephant
• skyrmion
• slice theorem
• small instanton
• smash product of spectra
• Smith space (functional analysis)
• Smith space (generalized smooth space)
• smooth (infinity,1)-algebra
• smooth groupoid
• smooth infinity-groupoid
• smooth infinity-groupoid -- structures
• smooth Lorentzian space
• smooth manifold
• smooth Serre-Swan theorem
• smooth spectrum
• smooth structure
• SmoothManifolds
• Snaith theorem
• SO(3)
• Soichiro Fujii
• solid topos
• soliton
• Some Thoughts on the Future of Category Theory
• Sp(n).Sp(1)
• space and quantity
• space of finite subsets
• space of knots
• space of sections
• spatial topos > history
• Spec(S)
• Spec(Z)
• special values of L-functions
• species
• spectral action
• Spectral Algebraic Geometry
• spectral algebraic geometry
• spectral group scheme
• Spectral Schemes
• spectral super-scheme
• spectral symmetric algebra
• Spectrum
• spectrum
• spectrum - disambiguation
• spectrum object
• spectrum of a tensor triangulated category
• spectrum with G-action
• Spencer Breiner
• Spencer cohomology
• sphere
• spherical fibration
• spin representation
• spin structure
• Spin(11,3)
• Spin(9)
• Spin(9)/Spin(7) is the 15-sphere
• spin^c
• spontaneously broken symmetry
• sporadic finite simple group
• Srikanth Iyengar
• stability of matter
• stabilizer group
• stable (infinity,1)-category
• stable cohomotopy
• stable homotopy category
• stable homotopy theory
• stable homotopy type
• stable splitting of mapping spaces
• stable weak homotopy equivalence
• standard model of particle physics
• star-autonomous category
• Starobinsky model of cosmic inflation
• state monad
• statistical learning theory
• statistical mechanics
• statistical significance
• Steenrod algebra
• Stefan Hollands
• Steiner system
• Steve Awodey
• Steve Lack > history
• Stokes theorem
• Stone duality
• store comonad
• straightening functor
• stratified category
• stratified homotopy hypothesis
• stratified space
• Street fibration
• strict initial object
• strict n-category
• strict omega-category
• strict terminal object
• string 2-group
• string diagram
• string geometry
• string group
• String Lie 2-algebra
• string phenomenology
• string structure
• string theory
• string theory FAQ
• string theory results applied elsewhere
• Strings 2022
• strong dinatural transformation
• structural realism
• structural set theory
• structuralism
• structure in model theory
• structured (infinity,1)-topos
• stuff, structure, property
• Sturm-Liouville theory
• SU2-instantons from the correct maths to the traditional physics story
• subcategory
• substitution
• sugaring
• Sullivan model
• Sullivan model of a spherical fibration
• super 2-brane in 4d
• super algebra
• super formal smooth infinity-groupoid
• Super Gerbes
• super Klein geometry
• super Lie algebra
• super line 2-bundle
• super Poincaré Lie algebra
• super Riemann surface
• super vector space
• super-Cartan geometry
• super-embedding formalism
• superconductivity
• supergeometry
• supergravity
• supergravity C-field
• supergravity Lie 6-algebra
• supergroup
• superpoint
• superspace
• supersphere
• superstring
• supersymmetric quantum mechanics
• supersymmetry
• supersymmetry and Calabi-Yau manifolds
• supersymmetry breaking
• supervised learning
• supply in a monoidal category
• Surj
• surjection
• surjective on objects functor
• swampland
• swampland cobordism conjecture -- references
• Sweedler coring
• syllogism
• Sylow p-subgroup
• symbol of a differential operator
• symmetric function
• symmetric monoidal (infinity,1)-category
• symmetric monoidal (infinity,n)-category
• symmetry protected topological phase
• symplectic duality
• symplectic geometry
• symplectic infinity-groupoid
• symplectic Lie n-algebroid
• syntactic category
• syntax-semantics duality
• synthetic differential geometry
• synthetic differential geometry applied to algebraic geometry
• synthetic differential supergeometry
• synthetic differential topology
• synthetic domain theory
• synthetic geometry
• synthetic guarded domain theory
• synthetic homotopy theory
• synthetic mathematics
• synthetic probability theory
• synthetic Tait computability
• synthetic topology
• syntomic cohomology
• T-duality
• T-duality 2-group
• T-fold
• T. Streicher - a model of type theory in simplicial sets - a brief introduction to Voevodsky' s homotopy type theory
• table of marks
• taboo
• Taichi Uemura
• Tall-Wraith monoid
• Tamagawa number
• Tambara functor
• Tambara module
• tangent (infinity,1)-category
• tangent bundle
• tangent bundle category
• tangent category
• tangent cohesive (∞,1)-topos
• tangent cone
• tangle hypothesis
• Tannaka duality
• Tannaka duality for geometric stacks
• Tate spectrum
• tautology
• TCFT
• Teichmüller theory
• temporal logic
• ten-fold way
• tensor power
• Terence Tao
• terminal coalgebra for an endofunctor
• terminal object
• tetraquark
• The Blind Spot
• The Rising Sea
• The Unreasonable Effectiveness of Physics in the Mathematical Sciences
• Theodor Kaluza
• theory
• theory (physics)
• Theory and Applications of Categories
• theory of objects
• thermodynamics
• theta function
• Theta-space
• things to be categorified
• third stable homotopy group of spheres
• Thom space
• Thom spectrum
• Thom's theorem
• Thompson sporadic group
• Tietze extension theorem
• Tilman Bauer
• Timaeus dialogue
• time
• Timeline of category theory and related mathematics
• tiny > history
• tiny object
• tmf
• Toby St Clere Smithe
• Tommaso Dorigo
• Tools for the advancement of objective logic
• Topological Algebraic Geometry - A Workshop
• topological cyclic homology
• topological G-space
• topological group
• topological index
• topological infinity-groupoid
• topological insulator
• topological K-theory
• topological localization
• topological M-theory
• topological modular form
• topological recursion
• topological T-duality
• topologically cyclic group
• topologically twisted D=4 super Yang-Mills theory
• topology
• topology and geometry
• topos
• torsion approximation
• torsion constraints in supergravity
• torsion subgroup
• torus
• total order
• totally distributive category
• Tractatus Logico-Philosophicus
• transchromatic character
• transgression
• transgression of bundle gerbes
• transition system
• transitive action
• tree
• triangle inequality
• tribe
• trifibration
• Trimble on ETCS I
• Trimble on ETCS II
• Trimble's notion of weak n-category > history
• triple membrane junction
• tripos
• trivial ring
• tropical semiring
• Tullio Regge
• TVS relationships
• twisted cohomology
• twisted cohomotopy
• twisted de Rham cohomology
• twisted differential cohomology
• twisted differential K-theory
• twisted infinity-bundle
• twisted K-theory
• twisted smooth cohomology in string theory
• twisted spin structure
• twistor fibration
• twistor space
• two-level type theory
• Tychonoff theorem
• type (functional analysis)
• type I string theory
• type II string theory
• type refinement
• type theory
• type universe
• type-theoretic model category
• Ulrik Buchholtz
• ultracategory
• ultrafilter
• ultraproduct
• umbral moonshine
• uncertainty principle
• uniform space
• uniqueness quantifier
• unitary calculus
• unitary functorial field theory
• unitary representation
• Unity and Identity of Opposites in Calculus and Physics
• univalence axiom
• universal algebra
• universal Chern-Simons circle 7-bundle with connection
• universal Chern-Simons line 3-bundle
• universal construction
• universal covering space
• universal fibration of (infinity,1)-categories
• universal Kan fibration
• universal principal infinity-bundle
• universal quantifier
• unramified morphism
• upper central series
• urelement
• Uwe Petersen
• vacuum amplitude
• validity
• valuation ring
• variational bicomplex
• variety of algebras
• Vassiliev invariant
• Vect(X)
• VectBund
• vector
• Verschiebung morphism
• vertex operator algebra
• vertical categorification
• Victor Kac
• Vienna Circle
• Vietoris complex
• virtual cohomological dimension
• Vladimir Drinfel'd
• Vladimir Vapnik
• Voevodsky motive
• volume conjecture
• volume of a Lie groupoid
• von Neumann algebra
• W-type
• Walker-Wang model
• wall crossing
• wallpaper group
• Walter Felscher
• Walter Gordon
• Ward identity
• Wasserstein metric
• wave function collapse
• weak colimit
• weak enrichment
• weak factorization system
• weak limit
• weakly étale morphism of schemes
• weight systems are cohomology of knot graph complex
• weight systems on chord diagrams in physics
• Weil algebra
• Weil conjecture on Tamagawa numbers
• Weil uniformization theorem
• Weinstein symplectic category
• Weiss topology
• well-founded coalgebra
• Wess-Zumino-Witten model
• Weyl group
• wheeled graph
• Whitehead product
• Whitehead theorem
• Whitehead tower
• why (infinity,1)-categories?
• Wick rotation
• wide pullback
• Wightman axioms
• Wigner classification
• Willard Quine
• William Lawvere
• Wirthmüller context
• Witt cohomology
• Witt-Burnside functor
• Witten genus
• Witten's Dark Fantasy
• Wojciech Zurek
• Wolfgang Pauli
• world sheets for world sheets
• wrapped brane
• Xiao-Gang Wen
• Yan Zhang
• Yiannis Sakellaridis
• Yoneda embedding
• Yoneda lemma
• Yoneda lemma for (infinity,1)-categories
• Yoneda lemma for bicategories
• Yoneda lemma for tricategories
• Young diagram
• Yuji Tachikawa
• Yves Diers
• Zach Goldthorpe
• zeta function
• zeta function of a dynamical system
• zeta function of a Riemann surface
• zeta function of an elliptic differential operator
• ZFA
• Zhaohui Luo
• Ziv Ran
• Zoe Wyatt
• Éric Goubault
• étale groupoid
• étale site
• étale theta function
• étale topos
• Čech cohomology
• Čech methods
• Łoś ultraproduct theorem
• δ-ring