jaj•a•person's notes
Search
Search
Dark mode
Light mode
Tag: state/develop
See
Tag Glossary.
590 items with this tag.
(Co)limit construction theorems
public
m/thm/cat
missing/proof
state/develop
lang/en
SemBr
(n,r)-category
public
m/def/ncat
state/develop
lang/en
SemBr
0th-order logic
public
state/develop
lang/en
SemBr
1-dimensional irrep
public
state/develop
lang/en
SemBr
1-dimensional irreps of a finite symmetric group
public
m/thm/rep
state/develop
lang/en
SemBr
1-form
public
missing/proof
state/develop
lang/en
SemBr
1-parameter group
public
m/def/lie
state/develop
lang/en
SemBr
1st-order logic
public
state/develop
lang/en
SemBr
2 central extension of a free abelian group
public
m/thm/group
missing/proof
state/develop
lang/en
SemBr
A maximal ideal in a commutative ring is prime
public
m/thm/ring
state/develop
lang/en
SemBr
A twice-differentiable function is convex iff its second derivative is nonnegative everywhere
public
m/thm/anal
missing/proof
state/develop
lang/en
SemBr
Absolute and conditional convergence
public
m/def/anal
state/develop
SemBr
lang/en
Abstract algebra MOC
public
MOC
state/develop
lang/en
SemBr
Additive category
public
m/def/cat
state/develop
lang/en
SemBr
Adjacency matrix
public
m/def/graph
state/develop
lang/en
SemBr
Adjoining a derivation
public
m/def/lie
state/develop
lang/en
SemBr
Adjoint operator
public
m/def/anal/fun
state/develop
lang/en
SemBr
Adjunction of a ring
public
m/def/ring
state/develop
lang/en
SemBr
Affine connexion
public
m/def/geo/diff
state/develop
lang/en
SemBr
Affine Dynkin diagrams
public
m/def/graph
state/develop
lang/en
SemBr
Affine Lie algebras of sl_2
public
m/def/lie
state/develop
lang/en
SemBr
Algebra ideal
public
m/def/falg
state/develop
lang/en
SemBr
Algebra theory MOC
public
MOC
state/develop
lang/en
SemBr
Algebraic number theory MOC
public
state/develop
lang/en
SemBr
All norms on a finite dimensional space are equivalent
public
m/thm/anal/vec
state/develop
lang/en
SemBr
Alternating multilinear map
public
m/def/linalg
state/develop
lang/en
SemBr
Anticommutator
public
m/def/falg
state/develop
lang/en
SemBr
Arrow category
public
m/def/cat
state/develop
lang/en
SemBr
Artin braid group
public
m/thm/topology
missing/proof
state/develop
lang/en
SemBr
Associated graded algebra
public
m/def/falg
state/develop
lang/en
SemBr
Associated Laguerre polynomial
public
m/def/fun
state/develop
lang/en
SemBr
Associated Lie algebra of a positive definite even lattice
public
m/def/lie
state/develop
lang/en
SemBr
Automorphic collineätion
public
m/def/geo
state/develop
lang/en
SemBr
Automorphic collineätion criterion
public
m/thm/geo
missing/proof
state/develop
lang/en
SemBr
Automorphism group of a linear code
public
m/def/code
state/develop
lang/en
SemBr
Axiom of Dependent Choice
public
m/def/set
state/develop
lang/en
SemBr
Axiom of Pairing
public
m/def/set/zf
m/def/set/nbg
state/develop
lang/en
SemBr
Axioms of Permutation for classes
public
m/def/set/nbg
state/develop
lang/en
SemBr
Banach space
public
m/def/anal/fun
state/develop
lang/en
SemBr
Barwise and Etchemendy's formal language
public
state/develop
lang/en
SemBr
Bimodule
public
m/def/module
state/develop
lang/en
SemBr
Bimonoid object
public
state/develop
lang/en
SemBr
Binary 7,4,3 Hamming code
public
m/def/code
state/develop
lang/en
SemBr
Binary 8,4,4 extended Hamming code
public
missing/proof
state/develop
lang/en
SemBr
Binary linear code
public
m/def/code
state/develop
lang/en
SemBr
Binomial expansion
public
m/thm/num
missing/proof
state/develop
lang/en
SemBr
BlooP
public
state/develop
lang/en
SemBr
Bonferroni inequalities
public
m/thm/prob
missing/proof
state/develop
lang/en
SemBr
Borsuk-Ulam theorem
public
m/thm/topology
missing/proof
state/develop
lang/en
SemBr
Bose-Einstein statistics
public
state/develop
lang/en
SemBr
Boundary
public
m/def/topology
state/develop
lang/en
SemBr
Boundary value eigenvalue problem
public
state/develop
lang/en
SemBr
review
Boundary value problem
public
state/develop
lang/en
SemBr
Braid group
public
state/develop
lang/en
SemBr
Brouwer's fixed point theorem
public
m/thm/topology
missing/proof
state/develop
lang/en
lang/de
SemBr
Calculus of substitutions
public
state/develop
lang/en
SemBr
Calculus of variations MOC
public
MOC
state/develop
lang/en
SemBr
Canonical decomposition
public
m/thm/set/naïve
state/develop
lang/en
SemBr
Canonical ensemble
public
missing/derivation
state/develop
lang/en
SemBr
Cardinality of a topology
public
m/thm/topology
state/develop
lang/en
SemBr
Cartan subalgebra
public
m/def/lie
state/develop
lang/en
SemBr
Cartesian product
public
m/def/set
state/develop
SemBr
lang/en
Categorical distribution
public
m/def/prob
state/develop
lang/en
SemBr
Categorification
public
state/develop
lang/en
SemBr
Category of abelian groups
category
public
state/develop
lang/en
SemBr
Category of algebras
category
public
m/def/falg
state/develop
lang/en
SemBr
Category of chain complexes
category
public
m/def/homology
to/prove
state/develop
lang/en
SemBr
Category of fibre bundles
category
public
m/def/topology
state/develop
lang/en
SemBr
Category of fields of characteristic p
category
public
m/def/field
state/develop
lang/en
SemBr
Category of finite groups
category
public
m/def/group
state/develop
lang/en
SemBr
Category of finite sets
category
public
m/def/set
state/develop
lang/en
SemBr
Category of general graphs
category
public
m/def/graph
state/develop
lang/en
SemBr
Category of graded algebras
category
public
m/def/falg
state/develop
lang/en
SemBr
Category of graded rings
category
public
m/def/ring
state/develop
lang/en
SemBr
Category of groups
category
public
m/def/group
state/develop
lang/en
SemBr
Category of left modules
category
public
m/def/module
state/develop
lang/en
SemBr
Category of Lie algebras
category
public
m/def/lie
state/develop
lang/en
SemBr
Category of magmoids
category
public
m/def/algebra
state/develop
lang/en
SemBr
Category of manifolds
category
public
m/def/geo/diff
state/develop
lang/en
SemBr
Category of modules over a commutative ring
category/monoidal/symmetric
public
category/monoidal/closed
m/thm/module
state/develop
lang/en
SemBr
Category of monoids
category
public
state/develop
SemBr
Category of natural numbers
category
public
state/develop
lang/en
SemBr
Category of pointed topological spaces
category
public
m/def/topology
state/develop
lang/en
SemBr
Category of posets
category
public
m/def/order
state/develop
lang/en
SemBr
Category of presheaves
category
public
m/def/cat
state/develop
lang/en
SemBr
Category of quivers
category
public
m/def/cat
state/develop
lang/en
SemBr
Category of rings
category
public
m/def/ring
state/develop
lang/en
SemBr
Category of rngs
category
public
m/def/ring
state/develop
lang/en
SemBr
Category of semigroup objects
category
public
m/def/cat
state/develop
lang/en
SemBr
Category of sets
public
category/monoidal/closed
category/monoidal/symmetric/cartesian
m/def/set
state/develop
lang/en
SemBr
Category of topological spaces
public
category
m/def/topology
state/develop
lang/en
SemBr
Category of unital associative algebras
category
public
m/def/falg
state/develop
lang/en
SemBr
Category of vector spaces
category
category/monoidal/symmetric
public
category/monoidal/closed
state/develop
SemBr
Category ring
public
m/def/cat
state/develop
lang/en
SemBr
Category theory MOC
public
MOC
state/develop
SemBr
Cauchy-Schwarz inequality
public
m/thm/anal/vec
missing/proof
state/develop
lang/en
SemBr
Cayley's theorem for rings
public
m/thm/ring
missing/proof
state/develop
lang/en
SemBr
Central character
public
m/def/rep
state/develop
lang/en
SemBr
Centre of a character
public
m/thm/rep
missing/proof
state/develop
lang/en
SemBr
Chain complex
public
m/def/homology
state/develop
lang/en
SemBr
Character irreducibility criterion
public
m/thm/rep
state/develop
lang/en
SemBr
Chevalley property
public
m/def/falg/hopf
missing/proof
state/develop
lang/en
SemBr
Class
public
state/develop
lang/en
SemBr
Class existence theorem schema
public
m/thm/set/nbg
missing/proof
state/develop
lang/en
SemBr
Classical Lie algebra
public
m/def/lie
state/develop
lang/en
SemBr
Clifford algebra
public
m/def/falg/geo
missing/proof
state/develop
lang/en
SemBr
Closed monoidal category
public
state/develop
lang/en
SemBr
Closure
public
m/def/topology
state/develop
lang/en
SemBr
Coding theory MOC
public
MOC
state/develop
lang/en
SemBr
Collection
public
state/develop
lang/en
SemBr
Collineätion
public
m/def/geo
state/develop
lang/en
SemBr
Commutative R-monoid of finite type
public
m/thm/calg
state/develop
lang/en
SemBr
Comonoid object
public
m/def/cat
state/develop
lang/en
SemBr
Compact group
public
m/def/group
state/develop
lang/en
SemBr
Compact Lie group
public
m/def/lie
state/develop
lang/en
SemBr
Complete lattice
public
m/def/order
state/develop
lang/en
SemBr
Completion of a Latin square from its diagonal
public
m/thm/comb
missing/proof
state/develop
lang/en
SemBr
Complex numbers
public
m/def/complex
state/develop
lang/en
SemBr
Conditional variance
public
m/def/prob
state/develop
lang/en
SemBr
Conjugation of a Weyl element
public
m/thm/geo
missing/proof
state/develop
lang/en
SemBr
Continuous function algebra
public
m/def/anal/fun
state/develop
lang/en
SemBr
Conventions of 1st-order logic in these notes
public
state/develop
lang/en
SemBr
Convergence almost surely
public
m/def/prob
missing/proof
state/develop
lang/en
SemBr
Convergence concepts in probability MOC
public
m/thm/prob
MOC
state/develop
lang/en
SemBr
Convergence in the pth mean
public
m/def/prob
state/develop
lang/en
SemBr
Converting a higher-order ODE to a system of first-order ODEs
public
state/develop
lang/en
SemBr
Convexity on the positive reals and negative f(0) implies superadditivity
public
m/thm/anal
state/develop
lang/en
SemBr
Convolution
public
m/def/anal/fun
state/develop
lang/en
SemBr
Core of a subgroup
public
m/def/group
state/develop
lang/en
SemBr
Coset
public
m/def/group
state/develop
lang/en
SemBr
Cotangent bundle
public
m/def/geo/diff
state/develop
lang/en
SemBr
Countability
public
m/def/set
state/develop
lang/en
SemBr
Countability axioms
public
state/develop
lang/en
SemBr
Covolume of a classical lattice
public
m/def/geo
missing/proof
state/develop
lang/en
SemBr
Crystallographic group
public
m/def/group
state/develop
lang/en
SemBr
Cubic field
public
m/def/num/alg
state/develop
lang/en
SemBr
Cyclotomic field
public
m/def/num/alg
state/develop
lang/en
SemBr
Cyclotomic integers
public
m/thm/ring
missing/proof
state/develop
lang/en
SemBr
Cyclotomic polynomial
public
m/def/num/alg
state/develop
lang/en
SemBr
Deck transformation
public
m/def/homotopy
state/develop
lang/en
SemBr
Decomposition of a representation
public
state/develop
lang/en
SemBr
Dedekind domain
public
m/def/ring
state/develop
lang/en
SemBr
Dense set
public
m/def/topology
missing/proof
state/develop
lang/en
SemBr
Descarte's rule of signs
public
m/thm/anal
missing/proof
state/develop
lang/en
SemBr
Determinant form
public
m/def/geoalg
state/develop
lang/en
SemBr
Diagonal functor
public
m/def/cat
state/develop
lang/en
SemBr
Differentiable manifold
public
state/develop
lang/en
SemBr
Differential equations MOC
public
MOC
state/develop
SemBr
Differential form
public
state/develop
lang/en
SemBr
Differential geometry MOC
public
state/develop
lang/en
SemBr
Differential pullback
public
m/def/geo/diff
state/develop
lang/en
SemBr
Dimension vector of a quiver representation
public
m/def/quiv
state/develop
lang/en
SemBr
Dirac orthonormality
public
m/def/anal/fun
state/develop
lang/en
SemBr
Direct sum of vector spaces
public
m/def/linalg
state/develop
lang/en
SemBr
Discrete topology
public
state/develop
SemBr
lang/en
Discriminant of a separable extension
public
state/develop
lang/en
SemBr
Displayed category
public
m/def/cat
state/develop
lang/en
SemBr
Division of North Germanic languages
public
state/develop
lang/en
SemBr
flashcards/history/oldnorse
Dual basis
public
m/def/linalg
missing/proof
state/develop
lang/en
SemBr
Dual group representation
public
m/def/rep
state/develop
lang/en
SemBr
Dual of a rational lattice
public
m/def/geo
state/develop
lang/en
SemBr
Dual projective space
public
m/def/geo
state/develop
lang/en
SemBr
Dual root system
public
m/def/geo
missing/proof
state/develop
lang/en
SemBr
Dual vector space
public
m/def/linalg
state/develop
lang/en
SemBr
Dynamics MOC
public
state/develop
lang/en
SemBr
Dynkin diagrams
public
m/def/graph
state/develop
lang/en
SemBr
Eckmann-Hilton argument
public
m/thm/algebra
missing/proof
state/develop
lang/en
SemBr
Einstein field equation
public
missing/proof
state/develop
lang/en
SemBr
Eisenstein's criterion
public
m/thm/num/alg
missing/proof
state/develop
lang/en
SemBr
Electric and magnetic potentials
public
state/develop
lang/en
SemBr
Electrodynamics MOC
public
MOC
state/develop
lang/en
Electromagnetostatics MOC
public
state/develop
lang/en
SemBr
Electrostatics MOC
public
state/develop
lang/en
SemBr
Empirical cumulative distribution function
public
m/def/prob
missing/proof
state/develop
lang/en
SemBr
Empty set
public
m/def/set
state/develop
lang/en
SemBr
Endofunctor category
category
category/monoidal/strict
public
m/def/cat
state/develop
lang/en
SemBr
Enriched category
public
m/def/cat
state/develop
lang/en
SemBr
Enthalpy
public
state/develop
lang/en
SemBr
Entropy
public
state/develop
SemBr
lang/en
Entropy of an ideal gas
public
state/develop
lang/en
SemBr
Equalizer and coëqualizer
public
m/def/cat
state/develop
lang/tidy
SemBr
Equivalence of quivers and general graphs
public
state/develop
lang/en
SemBr
ETT
public
m/def/type
state/develop
lang/en
SemBr
Euclid's algorithm
public
state/develop
SemBr
Euclidean domain
public
m/def/ring
missing/proof
state/develop
lang/en
SemBr
Euclidean group
public
m/def/geo/affine
state/develop
lang/en
SemBr
Euler-Lagrange equations
public
state/develop
lang/en
SemBr
Euler's formula
public
m/thm/complex
missing/proof
state/develop
lang/en
SemBr
Even binary code
public
m/def/code
state/develop
lang/en
SemBr
Exact functor
public
m/def/cat
state/develop
lang/en
SemBr
Examples of groups
public
state/develop
lang/en
SemBr
Exponential Fourier series
public
state/develop
lang/en
SemBr
Exponential function
public
m/def/anal
state/develop
lang/en
SemBr
Extended binary Golay code
public
m/def/code
missing/proof
state/develop
lang/en
SemBr
Extended real line
public
m/def/anal
state/develop
lang/en
SemBr
Extension
public
state/develop
lang/en
SemBr
Extensive and intensive parameters
public
state/develop
lang/en
SemBr
Exterior derivative
public
missing/proof
state/develop
lang/en
SemBr
External Axiom of Choice
public
m/def/cat
state/develop
lang/en
SemBr
Falling factorial
public
m/def/num
state/develop
lang/en
SemBr
Fano plane
public
m/def/geo/fin
state/develop
lang/en
SemBr
Fermi-Dirac statistics
public
state/develop
lang/en
SemBr
Field norm
public
m/def/ring
state/develop
lang/en
SemBr
Field of prime characteristic
public
state/develop
lang/en
SemBr
Field of rational functions
public
m/def/ring
missing/proof
state/develop
lang/en
SemBr
Field theory MOC
public
state/develop
lang/en
SemBr
Finite (co)completeness criterion
public
m/thm/cat
missing/proof
state/develop
lang/en
SemBr
Finite group
public
m/def/group
state/develop
lang/en
SemBr
Finite ring
public
m/def/ring
state/develop
lang/en
SemBr
Finitely generated module
public
m/def/module
state/develop
lang/en
SemBr
First law for isovolumetric processes
public
state/develop
First variation
public
m/def/anal/fun/var
missing/proof
state/develop
lang/en
SemBr
FlooP
public
state/develop
lang/en
SemBr
Flow on a manifold
public
m/def/geo/diff
state/develop
lang/en
SemBr
Formal binomial expansion
public
state/develop
lang/en
SemBr
Formal calculus MOC
public
state/develop
lang/en
SemBr
Formal delta
public
m/def/fcalc
state/develop
lang/en
SemBr
Formal derivative
public
m/def/fcalc
state/develop
lang/en
SemBr
Formal exponential
public
m/def/fcalc
state/develop
lang/en
SemBr
Formal language
public
m/def/logic
state/develop
lang/en
SemBr
Formal series over an (un)twisted affine Lie algebra
public
m/def/lie
state/develop
lang/en
SemBr
Formal sum
public
m/def/fcalc
state/develop
lang/en
SemBr
Formal sums over a vector space
public
m/def/fcalc
state/develop
lang/en
SemBr
Formal sums over endomorphisms
public
m/def/fcalc
state/develop
lang/en
SemBr
Formal theory
public
m/def/logic
state/develop
lang/en
SemBr
Foundation-agnostic mathematics
public
state/develop
lang/en
SemBr
Fourier series
public
state/develop
lang/en
SemBr
review
Fractional ideal
public
m/def/ring
state/develop
lang/en
SemBr
Free abelian group
public
m/def/group
state/develop
lang/en
SemBr
Function algebra
public
m/def/falg
state/develop
lang/en
SemBr
Functional derivative
public
state/develop
lang/en
SemBr
Functor
public
m/def/cat
state/develop
lang/en
SemBr
Fundamental group
public
m/def/homotopy
missing/proof
state/develop
lang/en
SemBr
Fundamental group of a sphere
public
m/thm/homotopy
state/develop
lang/en
SemBr
Fundamental theorem of calculus
public
m/thm/calculus
state/develop
lang/en
SemBr
Galois extension
public
m/def/field/gal
state/develop
lang/en
SemBr
Gamma distribution
public
m/def/prob
to/elaborate
state/develop
lang/en
SemBr
Gamma function
public
m/def/fun
state/develop
lang/en
SemBr
Gauß's lemma
public
m/thm/num/alg
missing/proof
state/develop
lang/en
SemBr
Gaußian binomial coëfficient
public
m/def/num
state/develop
lang/en
SemBr
GCD
public
m/def/ring
state/develop
lang/en
SemBr
General linear Lie algebra
public
m/def/lie
state/develop
lang/en
SemBr
Generalized binomial coëfficient
public
m/def/num
state/develop
lang/en
SemBr
Generalized Cartan matrix
public
m/def/lie
state/develop
lang/en
SemBr
Geometric algebra MOC
public
state/develop
lang/en
SemBr
MOC
Geometric distribution
public
m/def/prob
state/develop
lang/en
SemBr
Geometry MOC
public
state/develop
lang/en
SemBr
Germanic Languages MOC
public
MOC/stub
state/develop
Golay code
public
state/develop
lang/en
SemBr
Grand canonical ensemble
public
missing/derivation
state/develop
lang/en
SemBr
Graph homomorphism
public
m/def/graph
state/develop
lang/en
SemBr
Graph theory MOC
public
MOC
state/develop
lang/en
SemBr
Grassmannian
public
state/develop
lang/en
SemBr
Green's theorem
public
m/thm/calculus
state/develop
lang/en
SemBr
review
Group
public
m/def/group
state/develop
lang/en
SemBr
Group cohomology
public
m/def/homology
state/develop
lang/en
SemBr
Group representation theory MOC
public
state/develop
lang/en
SemBr
Group theory MOC
public
MOC
state/develop
lang/en
SemBr
Groupoid
public
m/def/cat
state/develop
SemBr
lang/en
Groups as categories
public
state/develop
lang/en
SemBr
H-field
public
state/develop
lang/en
SemBr
Haar measure
public
m/thm/group
missing/proof
state/develop
lang/en
SemBr
Hamiltonian operator
public
state/develop
lang/en
SemBr
Hask
category
public
state/develop
SemBr
Hausdorff space
public
m/def/topology
m/thm/topology
state/develop
lang/en
SemBr
Hausdorffness is preserved by subspaces, products, and coproducts, but not quotients
public
m/thm/topology
state/develop
lang/en
SemBr
Heaviside function
public
m/def/anal/fun
state/develop
lang/en
SemBr
Hermite polynomial
public
m/def/fun
state/develop
lang/en
SemBr
Higher category
public
state/develop
lang/en
SemBr
Hilbert space
public
m/def/anal/fun
state/develop
lang/en
SemBr
History of Category Theory
public
state/develop
SemBr
lang/en
Holomorph group
public
m/def/group
state/develop
lang/en
SemBr
Hom-module
public
missing/proof
state/develop
lang/en
SemBr
Homogenous polynomial
public
m/def/general
state/develop
lang/en
SemBr
Homogenous space
public
m/def/topology
state/develop
lang/en
SemBr
Homotopy equivalence
public
m/def/homotopy
state/develop
lang/en
SemBr
Homotopy group
public
m/def/homotopy
state/develop
lang/en
SemBr
Homotopy of maps
public
m/def/homotopy
state/develop
lang/en
SemBr
Hypergeometric distribution
public
m/def/prob
state/develop
lang/en
SemBr
Idempotent
public
m/def/ring
state/develop
lang/en
SemBr
Idempotent of the complex group ring
public
m/def/rep
m/thm/rep
state/develop
lang/en
SemBr
Incidence geometry
public
m/def/geo
state/develop
lang/en
SemBr
Indecomposable module
public
m/def/module
state/develop
lang/en
SemBr
Infinitesimal calculus MOC
public
MOC
state/develop
SemBr
infinity-category
public
state/develop
lang/en
SemBr
Inner Lie algebra automorphism
public
m/def/lie
missing/proof
state/develop
lang/en
SemBr
Integers
public
m/thm/ring
state/develop
lang/en
SemBr
Integrally closed domain
public
m/def/ring
state/develop
lang/en
SemBr
Integration techniques MOC
public
MOC
state/develop
lang/en
SemBr
Interior and exterior
public
m/def/topology
state/develop
lang/en
SemBr
Intermediate value theorem
public
m/thm/anal
missing/proof
state/develop
lang/en
SemBr
Internalization
public
state/develop
lang/en
SemBr
Interval category
category
public
m/def/cat
state/develop
lang/en
SemBr
Inverse function theorem
public
m/thm/anal
missing/proof
state/develop
lang/en
SemBr
Irreps of SO(3)
public
m/thm/rep/lie
state/develop
lang/en
SemBr
Isometry of a semi-Riemannian manifold
public
m/def/geo/diff
missing/proof
state/develop
lang/en
SemBr
Isomorphism class
public
m/def/cat
state/develop
lang/en
SemBr
Isomorphism theorems
public
m/thm/algebra
missing/proof
state/develop
lang/en
SemBr
ITT
public
m/def/type
state/develop
lang/en
SemBr
Jacobson radical
public
m/def/ring
state/develop
lang/en
SemBr
Jensen's inequality
public
m/thm/measure
state/develop
lang/en
SemBr
Jordan algebra
public
m/def/falg
state/develop
lang/en
SemBr
K-algebra
public
m/def/falg
state/develop
lang/en
SemBr
Khinchin's law
public
m/thm/prob
missing/proof
state/develop
lang/en
SemBr
Killing field
public
m/def/geo/diff
missing/proof
state/develop
lang/en
SemBr
Killing form
public
m/def/lie
missing/proof
state/develop
lang/en
SemBr
Kolmogorov's law
public
m/thm/prob
missing/proof
state/develop
lang/en
SemBr
Kronecker's root of unity lemma
public
m/thm/num/alg
missing/proof
state/develop
lang/en
SemBr
Kummer's factorization theorem
public
m/thm/num/alg
missing/proof
state/develop
lang/en
SemBr
Ky Fan metric
public
m/def/prob
missing/proof
state/develop
lang/en
SemBr
Laguerre polynomial
public
m/def/fun
state/develop
lang/en
SemBr
Language MOC
public
MOC
state/develop
SemBr
Laplace transform
public
state/develop
SemBr
Latin square
public
m/def/comb
state/develop
lang/en
SemBr
Lattice from a binary linear code
public
m/def/code
state/develop
lang/en
SemBr
Lattice order
public
m/def/order
state/develop
lang/en
SemBr
Laurent series
public
m/def/anal/comp
state/develop
lang/en
SemBr
Lebesgue space forms an inner product space iff p=2
public
state/develop
lang/en
SemBr
Legendre polynomial
public
m/def/fun
state/develop
lang/en
SemBr
Lie derivative
public
m/def/geo/diff
missing/proof
state/develop
lang/en
SemBr
Lie group
public
m/def/lie
to/clarify
state/develop
lang/en
SemBr
Lie theory MOC
public
MOC
state/develop
lang/en
SemBr
Limit points are limits of convergent subsequences in a first-countable space
public
m/thm/topology
missing/proof
state/develop
lang/en
SemBr
Limit points are points contained in the closure of every end piece
public
m/thm/topology
missing/proof
state/develop
lang/en
SemBr
Lindelöf space
public
m/def/topology
state/develop
lang/en
SemBr
Line with two origins
public
m/def/topology
state/develop
lang/en
SemBr
Linear algebra MOC
public
MOC
state/develop
SemBr
Linearization dogma
public
state/develop
lang/en
SemBr
Lipschitz continuity
public
m/def/anal
state/develop
lang/en
SemBr
Local homeomorphism
public
m/def/topology
missing/proof
state/develop
lang/en
SemBr
Locally compact space
public
m/def/topology
state/develop
lang/en
SemBr
Locally finite measure
public
m/def/measure
state/develop
lang/en
SemBr
Locally path connected spaces have identical connected and path-connected components
public
m/thm/topology
missing/proof
state/develop
lang/en
SemBr
Logarithmic embedding
public
m/def/num/alg
state/develop
lang/en
SemBr
Logic MOC
public
MOC
state/develop
Lorentz group
public
m/def/group/lorentz
state/develop
lang/en
SemBr
MacWilliams identities
public
m/thm/code
missing/proof
state/develop
lang/en
SemBr
MacWilliams theorem
public
missing/proof
state/develop
lang/en
SemBr
Magnetostatics MOC
public
MOC
state/develop
lang/en
SemBr
Manifold
public
state/develop
lang/en
SemBr
Markov chain
public
state/develop
lang/en
SemBr
Mathematics MOC
public
MOC
state/develop
SemBr
Mathieu group M24
public
m/def/group
state/develop
lang/en
SemBr
Matrix algebra over a ring
public
m/def/module
state/develop
lang/en
SemBr
Matrix calculus
public
missing/proof
state/develop
lang/en
SemBr
Matrix determinant
public
m/def/linalg
m/thm/linalg
missing/proof
state/develop
lang/en
SemBr
Matrix exponential
public
m/def/anal/vec
m/thm/anal/vec
state/develop
lang/en
SemBr
Matrix over a module
public
m/def/module
state/develop
lang/en
SemBr
Maxwell-Boltzmann statistics
public
state/develop
lang/en
SemBr
Measure theory MOC
public
MOC
state/develop
lang/en
SemBr
Median
public
m/def/prob
state/develop
lang/en
SemBr
Metric space
public
m/def/anal
state/develop
SemBr
Microcanonical ensemble
public
missing/derivation
state/develop
lang/en
SemBr
Microstate and macrostate
public
state/develop
lang/en
SemBr
Minkowski inequality
public
m/thm/anal
missing/proof
state/develop
lang/en
SemBr
Minkowski's bound
public
missing/proof
state/develop
lang/en
SemBr
Minkowski's convex body theorem
public
m/thm/geo
state/develop
lang/en
SemBr
Möbius strip
public
m/def/topology
state/develop
lang/en
SemBr
Modified Boltzmann approximation
public
state/develop
lang/en
SemBr
Module homomorphism
public
m/def/module
state/develop
lang/en
SemBr
Module isomorphism theorems
public
m/thm/group
state/develop
lang/en
SemBr
Module over a commutative ring
public
m/def/module/comm
state/develop
lang/en
SemBr
Module theory MOC
public
state/develop
lang/en
SemBr
Monoid
public
m/def/general
state/develop
lang/en
SemBr
Monoid object
public
m/def/cat
state/develop
lang/en
SemBr
Monoidal category
public
m/def/cat
state/develop
lang/en
SemBr
Monstrous moonshine MOC
public
MOC
state/develop
lang/en
SemBr
Multinomial distribution
public
m/def/prob
state/develop
lang/en
SemBr
Multiply transitive permutation group
public
m/def/group
state/develop
lang/en
SemBr
Multipole expansion of the reciprocal
public
m/thm/anal/vec
missing/proof
state/develop
lang/en
SemBr
My style guide
public
state/develop
SemBr
lang/en
n-orbit
public
m/def/group
state/develop
lang/en
SemBr
Nearest point of a convex subset of a Hilbert space
public
m/thm/anal/fun
missing/proof
state/develop
lang/en
SemBr
Negative binomial distribution
public
m/def/prob
state/develop
lang/en
SemBr
Negative hypergeometric distribution
public
m/def/prob
missing/proof
state/develop
lang/en
SemBr
Noetherian module
public
m/def/module
state/develop
lang/en
SemBr
Norm of a number field
public
m/thm/num/alg
missing/proof
state/develop
lang/en
SemBr
Normal extension
public
m/def/field
missing/proof
state/develop
lang/en
SemBr
Normal ordered product
public
m/def/lie
state/develop
lang/en
SemBr
Normal space
public
m/def/topology
state/develop
lang/en
SemBr
Norms are equivalent iff they induce the same topology
public
m/thm/topology
state/develop
lang/en
SemBr
Objects as identities
public
state/develop
lang/en
SemBr
OIcel conjugation
public
state/develop
lang/en
SemBr
OIcel declension
public
state/develop
lang/en
SemBr
OIcel definite article
public
state/develop
lang/en
SemBr
OIcel dǿma-class
public
state/develop
lang/en
SemBr
OIcel duga-class
public
state/develop
lang/en
SemBr
OIcel i-umlaut
public
state/develop
lang/en
SemBr
OIcel ijō-stems
public
state/develop
lang/en
SemBr
OIcel kasta-class
public
state/develop
lang/en
SemBr
OIcel morphology
public
state/develop
lang/en
SemBr
OIcel phonology
public
state/develop
lang/en
SemBr
OIcel pronominal inflection
public
state/develop
lang/en
SemBr
oldcards/OIcel/pronouns
OIcel telja-class
public
state/develop
lang/en
SemBr
OIcel u-stems
public
state/develop
lang/en
SemBr
OIcel vowel system
public
state/develop
lang/en
SemBr
OIcel weak verbs
public
state/develop
lang/en
SemBr
Old Icelandic MOC
public
state/develop
lang/en
SemBr
Open and closed maps
public
state/develop
lang/en
SemBr
Orbit counting lemma
public
m/thm/group
missing/proof
state/develop
lang/en
SemBr
Order statistic
public
m/def/prob
state/develop
lang/en
SemBr
Ordered basis
public
m/def/linalg
state/develop
lang/en
SemBr
Ordered pair
public
m/def/set
state/develop
lang/en
SemBr
Oriented vector space
public
m/def/linalg
state/develop
lang/en
SemBr
Orthogonal complement polarity
public
m/thm/geo
to/check
state/develop
lang/en
SemBr
Orthonormal dense basis
public
m/def/anal/fun
m/thm/anal/fun
state/develop
lang/en
SemBr
Paracompact space
public
m/def/topology
state/develop
lang/en
SemBr
Parallelogram law
public
m/thm/anal/vec
missing/proof
state/develop
lang/en
SemBr
Paramagnetism
public
state/develop
SemBr
Parseval's relation
public
m/thm/anal/fun
missing/proof
state/develop
lang/en
SemBr
Path algebra
public
m/def/quiv
state/develop
lang/en
SemBr
Pauli matrices
public
state/develop
lang/en
SemBr
PGmc conjugation
public
state/develop
lang/en
SemBr
PGmc declension
public
state/develop
lang/en
SemBr
PGmc weak verbs
public
state/develop
lang/en
SemBr
PIE declension
public
state/develop
lang/en
SemBr
flashcards/linguistics/PIE/morphology
PIE grammatical gender
public
state/develop
lang/en
SemBr
PIE grammatical number
public
state/develop
lang/en
SemBr
PIE morphology MOC
public
MOC
state/develop
lang/en
SemBr
PIE person system
public
state/develop
lang/en
SemBr
Poincaré-Birkhoff-Witt theorem
public
m/thm/lie
missing/proof
state/develop
lang/en
SemBr
Point group
public
m/def/group
state/develop
lang/en
SemBr
Poisson distribution
public
m/def/prob
missing/proof
state/develop
lang/en
SemBr
Poisson process
public
m/thm/prob
missing/proof
state/develop
lang/en
SemBr
Polynomial ring over a UFD is a UFD
public
m/thm/ring
missing/proof
state/develop
lang/en
SemBr
Potential IPA key for PIE
public
state/develop
lang/en
Preäbelian category
public
m/def/cat
state/develop
lang/en
SemBr
Presheaf
public
m/def/cat
state/develop
lang/en
SemBr
Prime element
public
m/def/ring
state/develop
lang/en
SemBr
Prime number
public
m/def/num
state/develop
lang/en
SemBr
Primitively recursive
public
m/def/computability
state/develop
lang/en
SemBr
Product ideal
public
m/def/ring
state/develop
lang/en
SemBr
Projection interpretation of conditional expected value
public
m/thm/prob
state/develop
lang/en
SemBr
Projective correlation
public
m/def/geo
state/develop
lang/en
SemBr
Projective module
public
state/develop
lang/en
SemBr
Projective quadric
public
m/def/geo
m/thm/geo
missing/proof
state/develop
lang/en
SemBr
Projective semilinear group
public
m/def/group
state/develop
lang/en
SemBr
Projectivization
public
m/def/geo
state/develop
lang/en
SemBr
Proof system
public
state/develop
lang/en
SemBr
Proper Lorentz group
public
m/def/group/lorentz
state/develop
lang/en
SemBr
Proper map
public
m/def/topology
state/develop
lang/en
SemBr
Proto-Indo-European MOC
public
MOC
state/develop
SemBr
QM in 1D position-space
public
state/develop
lang/en
SemBr
Quadratic extension
public
m/def/ring
state/develop
lang/en
SemBr
Quadratic residue
public
m/def/num
state/develop
lang/en
SemBr
Quadratic space
public
m/def/geoalg
state/develop
lang/en
SemBr
Quasigroup
public
m/def/algebra
missing/proof
state/develop
lang/en
SemBr
Quillen's lemma
public
missing/proof
state/develop
lang/en
SemBr
Quiver representation theory MOC
public
state/develop
lang/en
SemBr
Quotient category
public
state/develop
lang/en
SemBr
Quotient module
public
m/def/module
state/develop
lang/en
SemBr
Quotient vector space
public
m/def/linalg
state/develop
lang/en
SemBr
R-algebra
public
m/def/falg
state/develop
lang/en
SemBr
R-comonoid
public
m/def/calg
state/develop
lang/en
SemBr
R-monoid of finite type
public
m/def/ring
state/develop
lang/en
SemBr
Radon-Nikodym theorem
public
m/thm/measure
missing/proof
state/develop
lang/en
SemBr
Rational independence
public
m/def/num
state/develop
lang/en
SemBr
Rational root theorem
public
m/thm/num/alg
state/develop
lang/en
SemBr
Rationals adjoin sqrt(223)
public
m/thm/num/alg
state/develop
lang/en
SemBr
Real coördinate space
public
state/develop
lang/en
SemBr
Redundancy theory of truth
public
state/develop
lang/en
SemBr
Regular covering
public
m/def/homotopy
state/develop
lang/en
SemBr
Relationship between binomial and hypergeometric distributions
public
m/thm/prob
state/develop
lang/en
SemBr
Representable functor
public
m/def/cat
state/develop
lang/en
SemBr
Representation
public
m/def/rep
state/develop
lang/en
SemBr
Representation operator
public
m/def/rep
state/develop
lang/en
SemBr
Representation theory MOC
public
MOC
state/develop
lang/en
SemBr
Representation theory of finite symmetric groups
public
MOC
state/develop
lang/en
SemBr
Ricci curvature
public
state/develop
lang/en
SemBr
Riemannian curvature
public
to/complete
missing/proof
state/develop
lang/en
SemBr
Riemannian volume form
public
missing/proof
state/develop
lang/en
SemBr
Rig
public
m/def/ring
state/develop
lang/en
SemBr
Right adjoint functors are continuous
public
m/thm/cat
missing/proof
state/develop
lang/en
SemBr
Ring extension
public
m/def/ring
state/develop
lang/en
SemBr
Ring isomorphism theorems
public
m/thm/ring
state/develop
lang/en
SemBr
Ring theory MOC
public
MOC
state/develop
lang/en
SemBr
Root system
public
m/def/geo
state/develop
lang/en
SemBr
Roots of a minimal polynomial
public
m/thm/falg
missing/proof
state/develop
lang/en
SemBr
S(5,8,24)
public
m/thm/comb
missing/proof
state/develop
lang/en
SemBr
Sample variance
public
m/def/prob
state/develop
lang/en
SemBr
Scalar curvature
public
state/develop
lang/en
SemBr
Schrödinger equation
public
state/develop
lang/en
SemBr
Second countability axiom
public
m/def/topology
state/develop
lang/en
SemBr
Semigroup object
public
m/def/cat
state/develop
lang/en
SemBr
Semisimple category
public
m/def/cat
state/develop
lang/en
SemBr
Semisimple object
public
state/develop
lang/en
SemBr
Semisimple ring
public
m/def/ring
missing/proof
state/develop
lang/en
SemBr
Separable and entangled states
public
state/develop
lang/en
SemBr
Separable extension
public
m/def/field
state/develop
lang/en
SemBr
Separating set
public
m/def/fun
state/develop
lang/en
SemBr
Separation axioms
public
state/develop
lang/en
SemBr
flashcards/maths/topology/axioms
Set theory MOC
public
state/develop
lang/en
SemBr
MOC
Shannon entropy
public
m/def/info
state/develop
lang/en
SemBr
Shannon information
public
m/def/info
missing/proof
state/develop
lang/en
SemBr
Short exact sequence
public
m/def/homology
state/develop
lang/en
SemBr
Siever's law
public
state/develop
lang/en
SemBr
flashcards/linguistics/PIE/phonotactics
Similarity solutions
public
state/develop
lang/en
SemBr
Simple continued fraction
public
state/develop
lang/en
SemBr
Simple extension
public
m/def/field
state/develop
lang/en
SemBr
Simple group
public
m/def/group
state/develop
lang/en
SemBr
Simple ring
public
m/def/ring
state/develop
lang/en
SemBr
sl_2
public
m/def/lie
state/develop
lang/en
SemBr
Slice category
public
m/def/cat
state/develop
lang/en
SemBr
Small category
public
m/def/cat
state/develop
lang/en
SemBr
Smooth field
public
m/def/geo/diff
state/develop
lang/en
SemBr
Smooth geodesic
public
state/develop
lang/en
SemBr
Special functions MOC
public
state/develop
lang/en
SemBr
Special linear Lie algebra
public
m/def/lie
state/develop
lang/en
SemBr
Spectral mapping theorem
public
m/thm/falg
missing/proof
state/develop
lang/en
SemBr
Spectrum
public
m/def/anal/fun
state/develop
lang/en
SemBr
Spectrum of a ring
public
m/def/ring
state/develop
lang/en
SemBr
Spherical coördinates in differential geometry
public
state/develop
lang/en
SemBr
Spherically symmetric potential
public
state/develop
lang/en
SemBr
Splitting field
public
state/develop
lang/en
SemBr
Squarefree integer
public
m/def/num
state/develop
lang/en
SemBr
Stanley's hook content formula
public
m/thm/comb
missing/proof
state/develop
lang/en
SemBr
Star domain
public
m/def/topology
state/develop
lang/en
SemBr
Statistical thermodynamics MOC
public
MOC
state/develop
lang/en
SemBr
Steiner system
public
m/def/comb
state/develop
lang/en
SemBr
Stokes's theorem
public
m/thm/calculus
state/develop
lang/en
SemBr
review
Stone-Weierstraß theorem
public
m/thm/anal/fun
missing/proof
m/thm/linalg
state/develop
lang/en
SemBr
Structural set theory
public
state/develop
lang/en
SemBr
Subgroup of a free abelian group
public
m/thm/group
missing/proof
state/develop
lang/en
SemBr
Subquiver
public
m/def/quiv
state/develop
lang/en
SemBr
Superalgebra
public
m/def/falg
state/develop
lang/en
SemBr
Survival function
public
m/def/prob
state/develop
lang/en
SemBr
Symmetric tensor
public
m/def/linalg/multi
state/develop
lang/en
SemBr
Symmetrizer and antisymmetrizer elements
public
m/def/rep/sym
state/develop
lang/en
SemBr
System of linear ODEs
public
state/develop
lang/en
SemBr
t-design
public
state/develop
lang/en
SemBr
Tangent bundle
public
m/def/geo/diff
state/develop
lang/en
SemBr
Tangent map
public
to/complete
state/develop
lang/en
SemBr
Tangent space
public
m/def/geo/diff
missing/proof
state/develop
lang/en
SemBr
Temperature
public
state/develop
SemBr
Tensor
public
m/def/linalg/multi
state/develop
lang/en
SemBr
Tensor field transformation laws
public
m/thm/geo/diff
missing/proof
state/develop
lang/en
SemBr
Tensor product of (co)monoids
public
m/def/cat
state/develop
lang/en
SemBr
Tensor product of graded vector spaces
public
m/def/linalg
missing/proof
state/develop
lang/en
SemBr
Tensor product of group representations
public
state/develop
lang/en
SemBr
Tensor product of modules over a noncommutative ring
public
m/def/module
state/develop
lang/en
SemBr
Tensor product of vector spaces over a field
public
missing/proof
m/def/linalg
state/develop
lang/en
SemBr
Tensor representation
public
m/def/rep/lie
missing/proof
state/develop
lang/en
SemBr
The boundary of a ball is not a retract
public
m/thm/topology
missing/proof
state/develop
lang/en
SemBr
The development of ‘to be’ in Indo-European languages
public
state/develop
lang/en
SemBr
The polynomial ring over a field is a Euclidean domain
public
m/thm/ring
missing/proof
state/develop
lang/en
SemBr
The rank of a transitive group action equals the number of suborbits
public
m/thm/group
missing/proof
state/develop
lang/en
SemBr
Thermodynamics MOC
public
MOC
state/develop
SemBr
Theta function of a positive definite lattice
public
m/def/anal/comp
state/develop
lang/en
SemBr
Things as categories
public
state/develop
lang/en
SemBr
Topological property
public
m/def/topology
state/develop
lang/en
SemBr
Topologist's sine curve
public
m/def/topology
state/develop
lang/en
SemBr
Topology counterexamples MOC
public
MOC
state/develop
lang/en
SemBr
Topology MOC
public
MOC
state/develop
lang/en
Topology notation in these notes
public
state/develop
lang/en
SemBr
Torsion group with a central cyclic commutator subgroup
public
m/thm/group
state/develop
lang/en
SemBr
Trace
public
m/def/linalg
state/develop
lang/en
SemBr
Trivial topology
public
state/develop
SemBr
Twisted vertex operator representation of sl_2ˆ
public
state/develop
lang/en
SemBr
Type of booleans
public
m/def/type/ind
state/develop
lang/en
SemBr
Type theory MOC
public
state/develop
lang/en
SemBr
Types of Category
public
state/develop
SemBr
Uncertainty principle
public
state/develop
lang/en
SemBr
Underlying quiver
public
m/def/cat
state/develop
lang/en
SemBr
Unimodular group
public
m/def/group
state/develop
lang/en
SemBr
Unimodular lattice
public
m/def/geo
state/develop
lang/en
SemBr
Unique factorization domain
public
m/def/num
state/develop
lang/en
SemBr
Unital subalgebra
public
m/def/falg
state/develop
lang/en
SemBr
Univalent Foundations
public
state/develop
lang/en
SemBr
Universal construction
public
state/develop
SemBr
lang/en
Universal covering
public
m/def/homotopy
state/develop
lang/en
SemBr
Upper bound on the cardinality of an arbitrary union
public
m/thm/set
missing/proof
state/develop
lang/en
SemBr
Vector bundle
public
m/def/topology
state/develop
lang/en
SemBr
Vertex algebra
public
state/develop
lang/en
SemBr
Vertex operator algebra
public
m/def/voa
state/develop
lang/en
SemBr
Vielbein
public
m/def/geo/diff
missing/proof
state/develop
lang/en
SemBr
Von Neumann bounded set
public
m/def/anal/fun
state/develop
lang/en
SemBr
Vowel length in Swedish
public
state/develop
Vowels in Swedish
public
state/develop
Weight on a quiver
public
m/def/graph
state/develop
lang/en
SemBr
Well-founded set
public
m/def/set
missing/proof
state/develop
lang/en
SemBr
Weyl group
public
m/def/geo
state/develop
lang/en
SemBr
Whitney embedding theorem
public
m/thm/geo/diff
missing/proof
state/develop
lang/en
SemBr
Wigner-Eckart theorem
public
m/thm/rep
state/develop
lang/en
SemBr
Wreath product
public
m/def/group
state/develop
lang/en
SemBr
Yoneda perspective
public
m/cat/thm
state/develop
lang/en
SemBr
Zero object
public
m/def/cat
state/develop
lang/en
SemBr
Zero sum maps on finite abelian groups are given by permutations
public
m/thm/comb
state/develop
lang/en
SemBr
Zero-divisor
public
m/def/ring
state/develop
lang/en
SemBr
Zorn's lemma
public
m/thm/set/zfc
state/develop
lang/en
SemBr
Острогра́дский's divergence theorem
public
m/thm/calculus
state/develop
lang/en
SemBr
review