jaj•a•person's notes
Search
Search
Dark mode
Light mode
Explorer
Tag: state/develop
See
Tag Glossary.
562 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 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 functor
public
m/def/cat
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
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
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 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 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
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 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
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
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 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
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
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
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
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
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
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
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 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
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
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
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
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
Twisted vertex operator representation of sl_2ˆ
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
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