jaj•a•person's notes
Search
Search
Dark mode
Light mode
Explorer
Tag: sembr
See
Semantic Breaks.
1561 items with this tag.
(Co)limit construction theorems
public
m/thm/cat
missing/proof
state/develop
lang/en
sembr
(Extra)natural transformation
public
m/def/cat
state/tidy
lang/en
sembr
(n,r)-category
public
m/def/ncat
state/develop
lang/en
sembr
∗-representation of the complex group ring
public
m/thm/rep
state/tidy
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
2 central extension of an elementary abelian 2-group
public
m/thm/group
state/tidy
lang/en
sembr
3b1b's eigenvalue trick
public
state/tidy
sembr
A bijection is open iff it is closed
public
m/thm/topology
state/tidy
lang/en
sembr
A continuous bijection from compact to Hausdorff is a homeomorphism
public
m/thm/topology
state/tidy
lang/en
sembr
A covering is injective on the fundamental group
public
m/thm/homotopy
state/tidy
lang/en
sembr
A covering is regular iff its deck transformation group acts transitively on fibres
public
m/def/homotopy
state/tidy
lang/en
sembr
A deck transformation maps sheets to sheets
public
m/thm/homotopy
state/tidy
lang/en
sembr
A Dedekind domain admits UFI
public
m/thm/ring
state/tidy
lang/en
sembr
A Dedekind domain is a CDR
public
m/thm/ring
state/tidy
lang/en
sembr
A Dedekind domain is a UFD iff its ideal class group is trivial
public
m/thm/ring
state/tidy
lang/en
sembr
A Dedekind domain with finitely many prime ideals is a UFD
public
m/thm/ring
state/tidy
lang/en
sembr
A field contains modular arithmetic or the rationals
public
m/thm/ring
state/tidy
lang/en
sembr
A finite integral domain is a field
public
m/thm/ring
state/tidy
lang/en
sembr
A group homomorphism induces a subgroup homomorphism
public
m/thm/group
state/tidy
lang/en
sembr
A map is a homeomorphism iff it is bijective, continuous, and open
public
m/thm/topology
state/tidy
lang/en
sembr
A probable cladistic tree of IE
public
state/tidy
lang/en
sembr
A quadric is singular iff its matrix is singular away from 2
public
m/thm/geo
state/tidy
lang/en
sembr
A ring contains the integers or modular arithmetic
public
m/thm/ring
state/tidy
lang/en
sembr
A seminorm induces a normed quotient
public
m/def/anal/vec
state/tidy
lang/en
sembr
A topological space is discrete iff every point is its own connected component
public
m/thm/topology
state/tidy
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
𝑎𝑏 and 𝑏𝑎 have the same order
public
m/thm/group
state/tidy
lang/en
sembr
Abelian category
public
m/def/cat
state/tidy
lang/en
sembr
Abelian group
public
m/def/group
state/tidy
lang/en
sembr
Abelian groups as Z-modules
public
m/thm/module
state/tidy
lang/en
sembr
Abelian Lie algebra
public
m/def/lie
state/tidy
lang/en
sembr
Abelian representation
public
m/def/rep
m/thm/rep
state/tidy
lang/en
sembr
Abelianization
public
m/def/group
m/thm/group
state/tidy
lang/en
sembr
Ablaut
public
state/tidy
sembr
flashcards/linguistics/pie/phonotactics
Absolute and conditional convergence
public
m/def/anal
state/develop
sembr
lang/en
Absolute norm of an ideal of the ring of integers of a number field
public
m/def/ring
state/tidy
lang/en
sembr
Absolutely homogenous function
public
m/def/general
state/tidy
lang/en
sembr
Abstract algebra MOC
public
moc
state/develop
lang/en
sembr
Abstract projective plane
public
m/def/geo
state/tidy
lang/en
sembr
Abstract projective space
public
m/def/geo
state/tidy
lang/en
sembr
Action functional
public
state/tidy
lang/en
sembr
Acyclic quiver
public
state/tidy
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
Adjoining a root to a field
public
m/thm/field
state/tidy
lang/en
sembr
Adjoining the degree derivation
public
m/def/lie
m/thm/lie
missing/proof
state/tidy
lang/en
sembr
Adjoint functor
public
m/def/cat
state/develop
lang/en
sembr
Adjoint Lie algebra representation
public
m/def/lie
state/tidy
lang/en
sembr
Adjoint operator
public
m/def/anal/fun
state/develop
lang/en
sembr
Adjoint representation
public
m/def/lie
state/stub
lang/en
sembr
Adjugate matrix
public
m/def/linalg
state/stub
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 algebra
public
m/def/lie
state/tidy
lang/en
sembr
Affine Lie algebras of sl_2
public
m/def/lie
state/develop
lang/en
sembr
Alexander subbasis theorem
public
m/thm/topology
state/tidy
lang/en
sembr
Alexandrov extension
public
m/def/topology
state/tidy
lang/en
sembr
Algebra homomorphism
public
m/def/falg
state/tidy
lang/en
sembr
Algebra ideal
public
m/def/falg
state/develop
lang/en
sembr
Algebra of Laurent polynomials
public
state/tidy
lang/en
sembr
Algebra theory MOC
public
moc
state/develop
lang/en
sembr
Algebraic closure
public
m/def/field
state/tidy
lang/en
sembr
Algebraic element
public
m/def/falg
state/tidy
lang/en
sembr
Algebraic integer
public
m/def/ring
state/tidy
lang/en
sembr
Algebraic interior of a field extension
public
m/def/field
state/tidy
lang/en
sembr
Algebraic number theory MOC
public
state/develop
lang/en
sembr
Algebraically closed field
public
m/def/ring
state/tidy
lang/en
sembr
All elements of a finite-dimensional unital associative algebra are algebraic
public
m/thm/falg
state/tidy
lang/en
sembr
All norms on a finite dimensional space are equivalent
public
m/thm/anal/vec
state/develop
lang/en
sembr
All primes are irreducible in an integral domain
public
m/thm/ring
state/tidy
lang/en
sembr
Almost everywhere
public
state/tidy
lang/en
sembr
Alternating character
public
m/def/group
missing/proof
state/tidy
lang/en
sembr
Alternating group
public
m/def/group
m/thm/group
state/tidy
lang/en
sembr
Alternating iff anticommutative away from 2
public
m/thm/linalg
state/tidy
lang/en
sembr
Alternating multilinear map
public
m/def/linalg
state/develop
lang/en
sembr
Amalgamated free product
public
m/thm/group
state/tidy
lang/en
sembr
Ampère's circuital law
public
state/tidy
lang/en
sembr
Ampère's law for magnets
public
state/tidy
lang/en
sembr
An algebraic element is invertible iff its minimal polynomial has a nonzero constant term
public
state/tidy
lang/en
sembr
Annihilator
public
m/def/module
state/tidy
lang/en
sembr
Annoying index
public
m/def/num/alg
state/tidy
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
Associate elements
public
state/tidy
lang/en
sembr
Associate representation
public
m/def/rep/sym
state/tidy
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 Legendre function
public
m/def/fun
state/tidy
lang/en
sembr
Associated Lie algebra of a positive definite even lattice
public
m/def/lie
state/develop
lang/en
sembr
Atlas
public
m/def/geo
state/tidy
lang/en
sembr
Autistic category
public
m/def/cat
state/tidy
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
public
m/def/cat
state/tidy
lang/en
sembr
Automorphism group of a linear code
public
m/def/code
state/develop
lang/en
sembr
Automorphism of a field extension
public
m/def/field
state/tidy
lang/en
sembr
Away from 2
public
state/tidy
lang/en
sembr
Axiom of Choice
public
m/def/set/zfc
missing/proof
state/tidy
lang/en
sembr
Axiom of Dependent Choice
public
m/def/set
state/develop
lang/en
sembr
Axiom of Extensionality
public
m/def/set/zf
m/def/set/nbg
state/tidy
lang/en
sembr
Axiom of Foundation
public
m/def/set/zf
missing/proof
state/tidy
lang/en
sembr
Axiom of Infinity
public
m/def/set/zf
state/tidy
lang/en
sembr
Axiom of Intersection
public
m/thm/set/zf
state/tidy
lang/en
sembr
Axiom of Pairing
public
m/def/set/zf
m/def/set/nbg
state/develop
lang/en
sembr
Axiom of Purity
public
m/def/set
state/tidy
lang/en
sembr
Axiom of Union
public
m/def/set/zf
state/tidy
lang/en
sembr
Axiom Schema of Replacement
public
m/def/set/zf
state/tidy
lang/en
sembr
Axiomatic set theory
public
state/tidy
lang/en
sembr
Axioms of Permutation for classes
public
m/def/set/nbg
state/develop
lang/en
sembr
Balanced product
public
m/def/module
state/tidy
lang/en
sembr
Ball space
public
state/tidy
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
Bases for a number field
public
m/def/num/alg
state/tidy
lang/en
sembr
Bernoulli differential equations
public
state/tidy
lang/en
sembr
review
Bernoulli trial
public
m/def/prob
state/tidy
sembr
lang/en
Bessel's inequality
public
m/thm/anal/fun
statetidy
lang/en
sembr
Beta distribution
public
m/def/prob
state/tidy
lang/en
sembr
Bianchi identities
public
state/tidy
lang/en
sembr
Bicartesian category
public
m/def/cat
state/tidy
lang/en
sembr
Bilinear form
public
m/def/linalg
state/tidy
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
Binomial distribution
public
m/def/prob
state/tidy
sembr
lang/en
Biproduct
public
m/def/cat
state/tidy
lang/en
sembr
BlooP
public
state/develop
lang/en
sembr
Bonferroni inequalities
public
m/thm/prob
missing/proof
state/develop
lang/en
sembr
Borel set
public
m/def/measure
state/tidy
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
Bound on the automorphism group of a finite simple extension
public
m/thm/field
state/tidy
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
Bounded operator
public
m/def/anal/fun
m/thm/norm
missing/proof
state/tidy
lang/en
sembr
Bounded set
public
m/def/anal
missing/proof
state/tidy
lang/en
sembr
Braid group
public
state/develop
lang/en
sembr
Braided monoidal category
public
m/def/cat
state/tidy
lang/en
sembr
Brouwer's fixed point theorem
public
m/thm/topology
missing/proof
state/develop
lang/en
lang/de
sembr
Bundle map
public
state/tidy
lang/en
sembr
Bundle section
public
m/def/top
state/tidy
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
Canonical projections are open
public
m/thm/topology
state/tidy
lang/en
sembr
Canonical tensors over a nondegenerate quadratic space
public
m/thm/geoalg
state/tidy
lang/en
sembr
Cardinality
public
m/def/set
state/tidy
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 category
public
m/def/cat
state/tidy
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
Categories are equivalent iff they have isomorphic skeleta
public
m/thm/cat
state/tidy
lang/en
sembr
Categorification
public
state/develop
lang/en
sembr
Category
public
m/def/cat
state/tidy
sembr
lang/en
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 categories
public
m/def/cat
state/tidy
lang/en
sembr
Category of chain complexes
category
public
m/def/homology
to/prove
state/develop
lang/en
sembr
Category of coverings
category
public
m/def/homotopy
state/tidy
lang/en
sembr
Category of fibre bundles
category
public
m/def/topology
state/develop
lang/en
sembr
Category of field extensions
category
public
m/def/field
state/tidy
lang/en
sembr
Category of fields
category
public
m/def/ring
state/tidy
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 G-spaces
category
public
m/def/group
state/tidy
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 Lie algebras
category
public
m/def/lie
state/tidy
lang/en
sembr
Category of graded modules
category
public
m/def/module
state/tidy
lang/en
sembr
Category of graded rings
category
public
m/def/ring
state/develop
lang/en
sembr
Category of group representations
category
public
state/tidy
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 metric spaces and isometries
category
public
m/def/anal
state/tidy
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 monoidal categories
category
public
m/def/cat
state/tidy
lang/en
sembr
Category of monoids
category
public
state/develop
sembr
Category of natural numbers
category
public
state/develop
lang/en
sembr
Category of paths
public
category
state/tidy
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 quadratic Lie algebras
category
public
m/def/lie
state/tidy
lang/en
sembr
Category of quadratic spaces
category
public
m/def/geoalg
state/tidy
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 small categories
category/2
public
category/monoidal/symmetric/cartesian
category/monoidal/closed
state/stub
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 bundles
category
public
m/def/topology
todo
state/tidy
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
Category-vector space analogy
public
state/tidy
lang/en
sembr
Cauchy sequence
public
m/def/anal
state/tidy
lang/en
sembr
Cauchy-Euler differential equations
public
state/tidy
lang/en
sembr
review
Cauchy-Schwarz inequality
public
m/thm/anal/vec
missing/proof
state/develop
lang/en
sembr
Cauchy's order theorem
public
m/thm/group
state/tidy
lang/en
sembr
Cayley's theorem
public
m/thm/group
state/tidy
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
Central group extension
public
m/def/group
state/tidy
lang/en
sembr
Central ideal
public
m/def/lie
state/tidy
lang/en
sembr
Central limits theorem
public
m/thm/stat
state/tidy
sembr
lang/en
Centralizer in a group
public
m/def/group
state/tidy
lang/en
sembr
Centralizer in a Lie algebra
public
m/def/lie
state/tidy
lang/en
sembr
Centre of a character
public
m/thm/rep
missing/proof
state/develop
lang/en
sembr
Centre of a group
public
m/def/group
m/thm/group
state/tidy
lang/en
sembr
Centre of a Lie algebra
public
m/def/lie
state/tidy
lang/en
sembr
Centre of a rng
public
m/def/ring
state/tidy
lang/en
sembr
Centre of the general linear group
public
m/thm/group
state/tidy
lang/en
sembr
Centre of the group ring
public
m/thm/group
state/tidy
lang/en
sembr
Chain complex
public
m/def/homology
state/develop
lang/en
sembr
Chain map
public
m/def/homology
state/tidy
lang/en
sembr
Change of inner product
public
m/thm/linalg
state/tidy
lang/en
sembr
Character irreducibility criterion
public
m/thm/rep
state/develop
lang/en
sembr
Character table
public
state/tidy
lang/en
sembr
Characteristic
public
state/tidy
lang/en
sembr
Characteristic conjugacy class of a path-connected covering
public
m/thm/homotopy
state/tidy
lang/en
sembr
Characteristic function (probability)
public
m/def/prob
state/tidy
lang/en
sembr
Characteristic subgroup of a covering
public
m/def/homotopy
state/tidy
lang/en
sembr
Characters of a finite symmetric group are real
public
m/thm/rep/sym
state/tidy
lang/en
sembr
Charge continuity equation
public
state/tidy
lang/en
sembr
Chebyshev's inequality
public
m/thm/prob
state/tidy
lang/en
sembr
Chernoff's inequality
public
m/thm/prob
state/tidy
lang/en
sembr
Chevalley property
public
m/def/falg/hopf
missing/proof
state/develop
lang/en
sembr
Chinese remainder theorem
public
state/tidy
lang/en
sembr
review
Chinese remainder theorem for rings
public
m/thm/ring
state/tidy
lang/en
sembr
Choice function
public
m/def/set
state/tidy
lang/en
sembr
Christoffel symbols
public
state/tidy
lang/en
sembr
Circle endomorphisms are homotopic iff they are of equal degree
public
m/thm/homotopy
state/tidy
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
Class function
public
m/def/set
state/tidy
lang/en
sembr
Classical Lie algebra
public
m/def/lie
state/develop
lang/en
sembr
Classifying DEs
public
state/tidy
sembr
Clifford algebra
public
m/def/falg/geo
missing/proof
state/develop
lang/en
sembr
Closed category
public
m/def/cat
state/tidy
lang/en
sembr
Closed category of graded vector spaces
category
public
m/def/linalg
missing/proof
state/tidy
lang/en
sembr
Closed monoidal category
public
state/develop
lang/en
sembr
Closed subsets of a compact space are compact
public
m/thm/topology
state/tidy
lang/en
sembr
Closure
public
m/def/topology
state/develop
lang/en
sembr
Coarseness and fineness of topologies
public
m/def/topology
state/tidy
sembr
lang/en
flashcards/maths/topology
Cocartesian category
public
m/def/cat
state/tidy
lang/en
sembr
Code
public
m/def/code
state/tidy
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 diagram
public
m/def/cat
state/tidy
lang/en
sembr
Commutative R-monoid of finite type
public
m/thm/calg
state/develop
lang/en
sembr
Commutative ring
public
m/def/ring
state/tidy
lang/en
sembr
Commutator
public
m/def/falg
state/tidy
lang/en
sembr
Commutator ideal
public
m/def/lie
state/tidy
lang/en
sembr
Commutator subgroup
public
m/def/group
state/tidy
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
Compact sets in a metric space are bounded
public
m/thm/anal
state/tidy
lang/en
sembr
Compact space
public
m/def/topology
state/tidy
lang/en
sembr
Compact subsets of a Hausdorff space are closed
public
m/thm/topology
state/tidy
lang/en
sembr
Complement Axiom for classes
public
m/def/set/nbg
state/tidy
lang/en
sembr
Complement subspace
public
state/tidy
lang/en
sembr
Complete lattice
public
m/def/order
state/develop
lang/en
sembr
Completeness and cocompleteness
public
m/def/cat
state/tidy
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
Complex quadrance
public
m/def/gen
state/tidy
lang/en
sembr
Complexification of a real Lie algebra
public
m/def/lie
state/tidy
lang/en
sembr
Compositions only of algebraic extensions are algebraic
public
m/thm/field
state/tidy
lang/en
sembr
Condition for a quotient commutative ring to be a field
public
m/thm/ring
state/tidy
lang/en
sembr
Condition for a quotient commutative ring to be an integral domain
public
m/thm/ring
state/tidy
lang/en
sembr
Conditional distribution
public
m/def/prob
state/tidy
lang/en
sembr
Conditional expected value
public
m/def/prob
state/stub
lang/en
sembr
Conditional probability
public
m/def/prob
state/tidy
sembr
lang/en
Conditional proof
public
state/tidy
lang/en
sembr
Conditional variance
public
m/def/prob
state/develop
lang/en
sembr
Conditions for uniqueness of the limit
public
m/thm/topology
state/tidy
lang/en
sembr
Conductor in electrostatic equilibrium
public
state/tidy
sembr
lang/en
Cones and cocones
public
m/def/cat
state/tidy
lang/en
sembr
Congruence relation
public
state/tidy
lang/en
sembr
Conjugacy classes of a symmetric group are determined by cycle structure
public
m/thm/group
state/tidy
lang/en
sembr
Conjugate subgroups
public
m/def/group
state/tidy
lang/en
sembr
Conjugate transpose
public
m/def/linalg
state/tidy
lang/en
sembr
Conjugation by an element
public
m/def/group
m/thm/group
state/tidy
lang/en
sembr
Conjugation of a Weyl element
public
m/thm/geo
missing/proof
state/develop
lang/en
sembr
Connected subgroup
public
m/thm/group
state/tidy
lang/en
sembr
Connected subspaces of the real line are intervals
public
m/thm/topology
state/tidy
lang/en
sembr
Connectedness
public
m/def/topology
state/tidy
lang/en
sembr
Connectedness is transitive
public
m/thm/topology
state/tidy
lang/en
sembr
Connex category
public
m/def/cat
state/tidy
sembr
Connexion disagreement tensor
public
state/tidy
lang/en
sembr
Conservative vector field
public
m/def/anal/vec
state/tidy
sembr
lang/en
Constant map
public
m/def/general
state/tidy
lang/en
sembr
Containment-division ring
public
m/def/ring
state/tidy
lang/en
sembr
Continuity
public
m/def/topology
m/thm/topology
state/tidy
sembr
lang/en
Continuous function algebra
public
m/def/anal/fun
state/develop
lang/en
sembr
Continuous group action
public
m/def/group
state/tidy
lang/en
sembr
Continuous path
public
m/def/topology
state/tidy
lang/en
sembr
Continuous random variable
public
m/def/prob
state/tidy
sembr
lang/en
Contractible space
public
m/def/homotopy
state/tidy
lang/en
sembr
Contraction map
public
m/def/anal
state/tidy
lang/en
sembr
Contraction map theorem
public
state/tidy
lang/en
sembr
Contravariant form on a triangular module
public
m/thm/lie
state/tidy
lang/en
sembr
Contravariant functor
public
state/tidy
sembr
lang/en
Conventions of 0th-order logic in these notes
public
state/tidy
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 distribution
public
m/def/prob
state/tidy
lang/en
sembr
Convergence in probability
public
m/def/prob
state/tidy
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
Convex function
public
m/def/anal
state/tidy
lang/en
sembr
Convex subset
public
m/def/geo/affine
state/tidy
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
Convolution of group characters
public
m/thm/rep
state/tidy
lang/en
sembr
Convolution of matrix representations
public
m/thm/rep
state/tidy
lang/en
sembr
Coördinate chart
public
state/tidy
lang/en
sembr
Coproduct topology
public
m/def/topology
m/thm/topology
state/tidy
lang/en
sembr
Core IE thematic subjunctive
public
state/tidy
sembr
Core of a subgroup
public
m/def/group
state/develop
lang/en
sembr
Correspondence between normal subgroups and congruence relations
public
m/thm/group
state/tidy
lang/en
sembr
Correspondence between quadratic forms and alternating bilinear forms at 2
public
state/tidy
lang/en
sembr
Correspondence between quadratic forms and symmetric bilinear forms away from 2
public
m/thm/general
state/tidy
lang/en
sembr
Correspondence between regular coverings and orbit spaces of their deck transformation groups
public
m/thm/homotopy
state/tidy
lang/en
sembr
Coset
public
m/def/group
state/develop
lang/en
sembr
Cosets are either identical or disjoint
public
state/tidy
lang/en
sembr
Cotangent bundle
public
m/def/geo/diff
state/develop
lang/en
sembr
Coulomb gauge
public
state/tidy
lang/en
sembr
Coulomb's law
public
state/tidy
lang/en
sembr
Countability
public
m/def/set
state/develop
lang/en
sembr
Countability axioms
public
state/develop
lang/en
sembr
Countable Axiom of Choice
public
m/def/set
state/tidy
lang/en
sembr
Cover set
public
m/def/topology
state/tidy
lang/en
sembr
Covering
public
m/def/topology
state/tidy
lang/en
sembr
Covolume of a classical lattice
public
m/def/geo
missing/proof
state/develop
lang/en
sembr
Criterion for 𝑎ⁱ = 𝑎ʲ in a group
public
m/thm/group
state/tidy
lang/en
sembr
Crystallographic group
public
m/def/group
state/develop
lang/en
sembr
Crystallographic restriction theorem
public
m/thm/group
state/tidy
lang/en
sembr
Cubic field
public
m/def/num/alg
state/develop
lang/en
sembr
Cyclic central extension of a free abelian group
public
m/thm/group
state/tidy
lang/en
sembr
Cyclic subgroup
public
m/def/group
state/tidy
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
Deck transformation group of a regular covering as quotient
public
m/thm/homotopy
state/tidy
lang/en
sembr
Decomposable module
public
m/def/module
state/tidy
lang/en
sembr
Decomposition of a representation
public
state/develop
lang/en
sembr
Dedekind domain
public
m/def/ring
state/develop
lang/en
sembr
Dedekind-MacNeille completion
public
m/def/order
state/stub
lang/en
sembr
Deformation retraction
public
m/def/homotopy
state/tidy
lang/en
sembr
Degree of a circle endomorphism
public
m/thm/homotopy
state/tidy
lang/en
sembr
Degree operator
public
m/def/linalg
m/thm/falg
missing/proof
state/tidy
lang/en
sembr
Degree operator on formal sums over a vector space
public
m/def/fcalc
state/tidy
lang/en
sembr
Dense basis
public
m/def/anal/fun
state/d
lang/en
sembr
Dense set
public
m/def/topology
missing/proof
state/develop
lang/en
sembr
Derivation on an algebra
public
m/def/falg
state/tidy
lang/en
sembr
Derivation subalgebra
public
m/thm/falg
state/tidy
lang/en
sembr
Descarte's rule of signs
public
m/thm/anal
missing/proof
state/develop
lang/en
sembr
Determinant
public
m/def/linalg
state/tidy
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
Diagonalization
public
state/tidy
sembr
Diagonalization of a quadratic form away from 2
public
m/thm/geo
state/tidy
lang/en
sembr
Diameter of a set
public
m/def/anal
state/tidy
lang/en
sembr
Diëlectric
public
state/tidy
lang/en
sembr
Differentiability
public
m/def/anal
m/def/geo/diff
state/tidy
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
Differential pullback along a diffeomorphism
public
m/def/geo/diff
state/tidy
lang/en
sembr
Differential system
public
m/def/dynamics/flow
state/tidy
lang/en
sembr
Dihedral group
public
m/def/group
state/tidy
lang/en
sembr
Dimension of a vector space
public
m/def/linalg
state/tidy
sembr
lang/en
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 product of groups
public
m/def/group
state/tidy
lang/en
sembr
Direct product of Lie algebras
public
state/tidy
lang/en
sembr
Direct sum of chain complexes
public
m/def/homology
state/tidy
lang/en
sembr
Direct sum of graded vector spaces
public
m/def/linalg
state/tidy
lang/en
sembr
Direct sum of linear maps
public
state/tidy
lang/en
sembr
Direct sum of modules
public
m/def/linalg
state/tidy
lang/en
sembr
Direct sum of representations
public
state/tidy
lang/en
sembr
Direct sum of vector spaces
public
m/def/linalg
state/develop
lang/en
sembr
Discrete category
public
m/def/cat
state/tidy
sembr
Discrete random variable
public
m/def/prob
state/tidy
sembr
Discrete subgroup
public
m/def/group
state/tidy
lang/en
sembr
Discrete topology
public
state/develop
sembr
lang/en
Discriminant of a number field
public
m/def/num/alg
state/tidy
lang/en
sembr
Discriminant of a separable extension
public
state/develop
lang/en
sembr
Discriminant of an algebraic integer
public
m/thm/num/alg
state/tidy
lang/en
sembr
Disjoint category
public
m/def/cat
state/tidy
sembr
lang/en
Displayed category theory MOC
public
moc
state/stub
lang/en
sembr
Distribution of a differentiable injective random function
public
m/thm/prob
state/tidy
lang/en
sembr
Distribution of microstates at equilibrium
public
state/tidy
lang/en
sembr
Divergence
public
state/tidy
lang/en
sembr
Divisible code
public
m/def/code
state/tidy
lang/en
sembr
Division algebra
public
m/def/falg
state/tidy
lang/en
sembr
Division algebra with only algebraic elements over an algebraically closed field
public
m/thm/falg
state/tidy
lang/en
sembr
Division of North Germanic languages
public
state/develop
lang/en
sembr
flashcards/history/oldnorse
Division ring
public
state/stub
lang/en
sembr
Dixmier's lemma
public
m/thm/module
state/tidy
lang/en
sembr
Domain Axiom for classes
public
state/tidy
lang/en
sembr
Dominating measure
public
m/def/measure
state/tidy
lang/en
sembr
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
Effective group action
public
m/def/group
state/tidy
lang/en
sembr
Eigenvectors, eigenvalues, and eigenspaces
public
m/def/linalg
state/tidy
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
Electric dipole moment
public
state/tidy
lang/en
sembr
Electric displacement
public
state/tidy
lang/en
sembr
Electric field
public
state/tidy
lang/en
sembr
Electric potential of a polarized material
public
state/tidy
lang/en
sembr
Electromagnetic energy density
public
state/tidy
lang/en
sembr
Electromagnetic momentum density
public
state/tidy
lang/en
sembr
Electromagnetic momentum equation
public
state/stub
lang/en
sembr
Electromagnetostatics MOC
public
state/develop
lang/en
sembr
Electrostatics MOC
public
state/develop
lang/en
sembr
Elementary abelian group
public
m/def/group
state/tidy
lang/en
sembr
Elementary row operation
public
m/def/linalg
state/tidy
sembr
Elementhood Relation Class Axiom
public
m/def/set/nbg
state/tidy
lang/en
sembr
Embedding
public
m/def/topology
m/def/geo/diff
state/tidy
lang/en
sembr
Embedding an algebraic extension into an algebraically closed field
public
state/tidy
lang/en
sembr
Empirical cumulative distribution function
public
m/def/prob
missing/proof
state/develop
lang/en
sembr
Empty category
category
public
state/tidy
sembr
Empty set
public
m/def/set
state/develop
lang/en
sembr
Emptyset Axiom
public
m/def/set/zf
state/tidy
lang/en
sembr
Endofunctor category
category
category/monoidal/strict
public
m/def/cat
state/develop
lang/en
sembr
Endomorphism
public
m/def/cat
state/tidy
lang/en
sembr
Endomorphism ring
public
m/def/module
state/tidy
lang/en
sembr
Energy
public
state/tidy
sembr
Energy of an ideal gas
public
state/tidy
lang/en
sembr
Engel's theorem
public
m/thm/lie
state/tidy
lang/en
sembr
Enriched category
public
m/def/cat
state/develop
lang/en
sembr
Enriched functor
public
state/tidy
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
Epimorphism
public
m/def/cat
state/tidy
lang/en
sembr
Equalizer and coëqualizer
public
m/def/cat
state/develop
lang/tidy
sembr
Equivalence of categories
public
state/tidy
lang/en
sembr
Equivalence of codes
public
m/def/code
state/tidy
lang/en
sembr
Equivalence of coverings criterion
public
m/thm/homotopy
state/tidy
lang/en
sembr
Equivalence of group representations
public
m/def/rep2
state/tidy
lang/en
sembr
Equivalence of irreps on left ideals criterion
public
m/thm/rep
state/tidy
lang/en
sembr
Equivalence of norms
public
m/def/linalg
state/tidy
lang/en
sembr
Equivalence of quivers and general graphs
public
state/develop
lang/en
sembr
Equivalence relation
public
state/tidy
sembr
lang/en
Essential supremum and infimum
public
m/def/measure
state/tidy
lang/en
sembr
Euclid's algorithm
public
state/develop
sembr
Euclid's lemma
public
m/thm/num
state/tidy
lang/en
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 totient function
public
m/def/num
state/tidy
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
Even lattice
public
m/def/geo
state/tidy
lang/en
sembr
Every arc-transitive digraph is an orbital digraph
public
m/thm/graph
state/tidy
lang/en
sembr
Every fibre of a local injection is discrete
public
m/thm/topology
state/tidy
lang/en
sembr
Every finite complex representation of a compact group is equivalent to a unitary representation
public
m/thm/rep2
state/tidy
lang/en
sembr
Every irrep of GLₙ(ℂ) is an irrep of U(n) and SU(n)
public
m/thm/rep/lie
state/tidy
lang/en
sembr
Every vector space has a basis
public
state/tidy
lang/en
sembr
Exact differential equation
public
state/tidy
lang/en
sembr
review
Exact functor
public
m/def/cat
state/develop
lang/en
sembr
Exact functor on abelian categories
public
m/thm/homology
state/tidy
lang/en
sembr
Exact sequence
public
m/def/homology
state/tidy
lang/en
sembr
Examples of groups
public
state/develop
lang/en
sembr
Examples of monoidal categories
public
state/tidy
lang/en
sembr
Excess kurtosis
public
m/def/prob
state/tidy
lang/en
sembr
Existence and uniqueness theorem for IVPs
public
state/tidy
lang/en
sembr
review
Expectation
public
missing/proof
state/tidy
sembr
Exponential Fourier series
public
state/develop
lang/en
sembr
Exponential function
public
m/def/anal
state/develop
lang/en
sembr
Exponential of a derivation on a Lie algebra
public
m/thm/lie
state/tidy
lang/en
sembr
Extended binary Golay code
public
m/def/code
missing/proof
state/develop
lang/en
sembr
Extended code
public
m/def/code
state/tidy
lang/en
sembr
Extended Euclid's algorithm
public
state/tidy
lang/en
sembr
Extended real line
public
m/def/anal
state/develop
lang/en
sembr
Extension
public
state/develop
lang/en
sembr
Extension field as a unital associative algebra
public
m/thm/falg
state/tidy
lang/en
sembr
Extensive and intensive parameters
public
state/develop
lang/en
sembr
Exterior algebra
public
m/def/falg
missing/proof
state/tidy
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
Extraspecial p-group
public
m/def/group
state/tidy
lang/en
sembr
Extreme Value Theorem
public
m/thm/anal
missing/proof
state/tidy
sembr
lang/en
Faithful functor
public
state/tidy
lang/en
sembr
Faithful module
public
m/def/module
state/tidy
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
Faraday's law of induction
public
state/tidy
lang/en
sembr
Fermat's little theorem
public
m/thm/num
state/tidy
lang/en
sembr
Fermi-Dirac statistics
public
state/develop
lang/en
sembr
Ferromagnetism
public
state/tidy
sembr
Fibre bundle
public
m/def/topology
state/tidy
lang/en
sembr
Fibre product and coproduct
public
m/def/cat
state/tidy
lang/en
sembr
Fibre product is the equalizer of a product
public
m/thm/cat
state/tidy
lang/en
sembr
Field
public
m/def/ring
state/tidy
lang/en
sembr
Field extension
public
m/def/ring
state/tidy
lang/en
sembr
Field homomorphisms are injective
public
thm/ring
state/tidy
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
Filtered algebra
public
m/def/falg
state/tidy
lang/en
sembr
Finite (co)completeness criterion
public
m/thm/cat
missing/proof
state/develop
lang/en
sembr
Finite extension of a Galois field
public
m/thm/field
state/tidy
lang/en
sembr
Finite field extension
public
m/def/field
state/tidy
lang/en
sembr
Finite geometry MOC
public
state/stub
lang/en
sembr
Finite group
public
m/def/group
state/develop
lang/en
sembr
Finite group character values
public
m/thm/rep
state/tidy
lang/en
sembr
Finite projective plane
public
m/def/geo/fin
state/tidy
lang/en
sembr
Finite projective space
public
m/def/geo/fin
state/tidy
lang/en
sembr
Finite ring
public
m/def/ring
state/develop
lang/en
sembr
Finitely generated field extension
public
m/def/field
state/tidy
lang/en
sembr
Finitely generated module
public
m/def/module
state/develop
lang/en
sembr
Finitely generated module over a module-finite R-ring
public
m/thm/module
state/tidy
lang/en
sembr
First countability axiom
public
m/def/topology
state/tidy
lang/en
sembr
First law for isobaric processes
public
state/tidy
sembr
First law of thermodynamics
public
state/tidy
sembr
lang/en
First variation
public
m/def/anal/fun/var
missing/proof
state/develop
lang/en
sembr
Five lemma
public
m/thm/homology
state/tidy
lang/en
sembr
Fixed field of an automorphism group
public
m/def/field
state/tidy
lang/en
sembr
Fixed order subgroup of an abelian group
public
state/tidy
lang/en
sembr
FLM code types I and II
public
state/tidy
lang/en
sembr
FlooP
public
state/develop
lang/en
sembr
Flow on a manifold
public
m/def/geo/diff
state/develop
lang/en
sembr
Flux
public
state/tidy
sembr
review
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 logarithm
public
m/def/fcalc
state/tidy
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 Lie algebra
public
m/def/fcalc
state/tidy
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 of mathematics
public
state/stub
lang/en
sembr
Foundation-agnostic mathematics
public
state/develop
lang/en
sembr
Fourier series
public
state/develop
lang/en
sembr
review
Fréchet space
public
m/def/topology
state/tidy
lang/en
sembr
Free abelian group
public
m/def/group
state/develop
lang/en
sembr
Free category
public
m/def/cat
state/tidy
lang/en
sembr
Free group
public
m/def/group
state/tidy
lang/en
sembr
Free group action
public
m/def/group
state/tidy
lang/en
sembr
Free module
public
m/def/module
m/thm/cat
state/tidy
lang/en
sembr
Free product of groups
public
m/def/group
state/tidy
lang/en
sembr
Freshman's dream
public
m/thm/ring
state/tidy
lang/en
sembr
Frobenius endomorphism
public
m/def/field
state/tidy
lang/en
sembr
Fully faithful functor
public
m/def/cat
state/tidy
lang/en
sembr
Function algebra
public
m/def/falg
state/develop
lang/en
sembr
Functional
public
m/def/anal/fun
state/tidy
lang/en
sembr
Functional derivative
public
state/develop
lang/en
sembr
Functor
public
m/def/cat
state/develop
lang/en
sembr
Functor category
category
public
state/tidy
lang/en
sembr
Functors encode invariants of isomorphism classes
public
m/thm/cat
state/tidy
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 group respects products
public
m/thm/homotopy
state/tidy
lang/en
sembr
Fundamental theorem for line integrals
public
m/thm/calculus
state/tidy
lang/en
sembr
Fundamental theorem of arithmetic
public
m/thm/num
state/tidy
lang/en
sembr
Fundamental theorem of calculus
public
m/thm/calculus
state/develop
lang/en
sembr
Fundamental theorem of cyclic groups
public
m/thm/group
state/tidy
lang/en
sembr
Fundamental unit of a real quadratic field
public
m/thm/num/alg
missing/proof
state/tidy
lang/en
sembr
Galois extension
public
m/def/field/gal
state/develop
lang/en
sembr
Galois field
public
m/def/ring
m/thm/ring
m/thm/field
state/tidy
lang/en
sembr
Galois geometry
public
m/def/geo
state/tidy
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ß-Jordan elimination
public
state/tidy
sembr
lang/en
Gauß's law
public
state/tidy
sembr
lang/en
Gauß's law for diëlectrics
public
state/tidy
lang/en
sembr
Gauß's law for magnetic flux
public
state/tidy
sembr
lang/en
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
Gaußian elimination
public
state/tidy
sembr
lang/en
Gaußian integers
public
m/def/num
state/tidy
lang/en
sembr
Gaußian pillbox
public
state/tidy
lang/en
sembr
GCD
public
m/def/ring
state/develop
lang/en
sembr
GCD is a linear combination
public
state/tidy
lang/en
sembr
General linear Lie algebra
public
m/def/lie
state/develop
lang/en
sembr
General position
public
m/def/geo
state/stub
lang/en
sembr
General random variable
public
m/def/prob
state/tidy
lang/en
sembr
General structure of a mathematics area
public
state/tidy
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
Generalized eigenvector
public
state/tidy
lang/en
sembr
Generalized Hamming weight
public
m/def/code
state/tidy
lang/en
sembr
Generalized projection operator of a representation
public
m/def/rep
to/complete
state/tidy
lang/en
sembr
Geometric algebra MOC
public
state/develop
lang/en
sembr
moc
Geometry MOC
public
state/develop
lang/en
sembr
Germanic Strong Conjugation
public
state/tidy
sembr
Gibbs free energy
public
state/tidy
lang/en
sembr
Glossary of categories
public
state/tidy
sembr
lang/en
Golay code
public
state/develop
lang/en
sembr
Graded algebra
public
m/def/falg
state/tidy
lang/en
sembr
Graded derivation
public
m/def/falg
state/tidy
lang/en
sembr
Graded dimension
public
m/def/linalg
state/tidy
lang/en
sembr
Graded Lie algebra
public
m/def/lie
state/tidy
lang/en
sembr
Graded module
public
m/def/module
state/tidy
lang/en
sembr
Graded ring
public
m/def/ring
state/tidy
lang/en
sembr
Graded structure
public
state/tidy
lang/en
sembr
Graded subalgebra
public
m/def/falg
state/tidy
lang/en
sembr
Graded submodule
public
m/def/module
state/tidy
lang/en
sembr
Graded vector space
public
m/def/linalg
state/tidy
lang/en
sembr
Graded vector subspace
public
m/def/linalg
state/tidy
lang/en
sembr
Gram matrix
public
m/def/linalg
state/tidy
lang/en
sembr
Grand canonical ensemble
public
missing/derivation
state/develop
lang/en
sembr
Graph automorphism
public
m/def/graph
state/tidy
lang/en
sembr
Graph homomorphism
public
m/def/graph
state/develop
lang/en
sembr
Graph set
public
m/def/anal
state/tidy
sembr
Graph theory MOC
public
moc
state/develop
lang/en
sembr
Graphical neighbours
public
m/def/graph
state/tidy
lang/en
sembr
Graphs as quivers
public
state/tidy
lang/en
sembr
Grassmannian
public
state/develop
lang/en
sembr
Green's function
public
m/def/anal/fun
state/tidy
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 action
public
m/def/group
state/tidy
lang/en
sembr
Group action orbit
public
m/def/group
state/tidy
lang/en
sembr
Group action orbital
public
m/def/group
state/tidy
lang/en
sembr
Group character
public
m/def/rep
state/tidy
lang/en
sembr
Group class function
public
m/def/group
state/tidy
lang/en
sembr
Group cohomology
public
m/def/homology
state/develop
lang/en
sembr
Group commutator
public
m/def/group
state/tidy
lang/en
sembr
Group epimorphism
public
m/thm/group
state/tidy
lang/en
sembr
Group extension
public
m/def/group
missing/proof
state/tidy
lang/en
sembr
Group homomorphism
public
state/tidy
lang/en
sembr
Group isomorphism theorems
public
m/thm/group
state/tidy
lang/en
sembr
Group monomorphism
public
m/thm/group
state/tidy
lang/en
sembr
Group of prime order
public
m/thm/group
state/tidy
lang/en
sembr
Group of roots of unity
public
m/thm/ring
state/tidy
lang/en
sembr
Group of units
public
m/def/ring
state/tidy
lang/en
sembr
Group order
public
m/def/group
state/tidy
lang/en
sembr
Group presentation
public
state/tidy
lang/en
sembr
Group representation
public
m/def/rep2
state/tidy
lang/en
sembr
Group representation theory MOC
public
state/develop
lang/en
sembr
Group ring
public
state/tidy
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
Hamming code
public
m/def/code
state/tidy
lang/en
sembr
Hamming distance
public
m/def/code
state/tidy
lang/en
sembr
Hask
category
public
state/develop
sembr
Hausdorff space
public
m/def/topology
m/thm/topology
state/develop
lang/en
sembr
Hausdorff-compact space
public
m/def/topology
state/tidy
lang/en
sembr
Hausdorffness is preserved by subspaces, products, and coproducts, but not quotients
public
m/thm/topology
state/develop
lang/en
sembr
Heat
public
state/tidy
sembr
Heat of transformation
public
state/tidy
sembr
Heat reservoir
public
state/tidy
sembr
lang/en
Heaviside function
public
m/def/anal/fun
state/develop
lang/en
sembr
Heine-Borel theorem
public
m/thm/topology
state/tidy
lang/en
sembr
Heine-Cantor theorem
public
m/thm/anal
state/tidy
lang/en
sembr
Heisenberg algebra
public
m/def/lie
state/tidy
lang/en
sembr
Heisenberg module
public
m/def/lie
state/tidy
lang/en
sembr
Helmholtz free energy
public
state/tidy
lang/en
sembr
Helmholtz theorem
public
m/thm/anal/vec
state/tidy
lang/en
sembr
Hermite polynomial
public
m/def/fun
state/develop
lang/en
sembr
Hermitian operator
public
m/def/linalg
state/tidy
lang/en
sembr
Higher category
public
state/develop
lang/en
sembr
Hilbert space
public
m/def/anal/fun
state/develop
lang/en
sembr
Hilbert's basis theorem
public
m/thm/ring
state/tidy
lang/en
sembr
History of Category Theory
public
state/develop
sembr
lang/en
Hölder conjugate
public
m/def/anal
state/tidy
lang/en
sembr
Hölder's inequality
public
m/thm/anal
state/tidy
lang/en
sembr
Holomorph group
public
m/def/group
state/develop
lang/en
sembr
Hom-functor
public
state/tidy
lang/en
sembr
Hom-module
public
missing/proof
state/develop
lang/en
sembr
Homeomorphism
public
m/def/topology
state/tidy
lang/en
sembr
Homogenous coördinates
public
state/tidy
lang/en
sembr
Homogenous first-order differential equation
public
state/tidy
lang/en
sembr
review
Homogenous function
public
m/def/general
state/tidy
lang/en
sembr
flashcards/maths/des
Homogenous linear ODE with constant coëfficients
public
state/tidy
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
Homogenous system of linear equations
public
state/tidy
sembr
lang/en
Homography
public
m/def/geo
state/tidy
lang/en
sembr
Homomorphism of comonoid objects
public
m/def/cat
state/tidy
lang/en
sembr
Homomorphism of graded vector spaces
public
m/def/linalg
state/tidy
lang/en
sembr
Homomorphism of monoid objects
public
m/def/cat
state/tidy
lang/en
sembr
Homomorphism of semigroup objects
public
m/def/cat
state/tidy
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
Homotopy of paths
public
m/def/homotopy
state/tidy
lang/en
sembr
Hook length
public
m/def/comb
state/tidy
lang/en
sembr
Hook length formula
public
m/thm/comb
missing/proof
state/tidy
lang/en
sembr
Hypergeometric distribution
public
m/def/prob
state/develop
lang/en
sembr
Ideal
public
m/def/ring
state/tidy
lang/en
sembr
Ideal class group
public
m/def/ring
state/tidy
lang/en
sembr
Ideal class group of a number field
public
m/def/ring
state/tidy
lang/en
sembr
Ideal gas
public
to/inquire
state/tidy
sembr
Ideal gas law
public
state/tidy
sembr
Ideal of the complex group ring
public
state/tidy
lang/en
sembr
Ideals of a Dedekind domain need at most two generators
public
m/thm/ring
state/tidy
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
Idempotent primitivity criterion
public
m/thm/rep
state/tidy
lang/en
sembr
Identity as a natural transformation
public
m/thm/cat
state/tidy
lang/en
sembr
Identity natural transformation
public
m/def/cat
state/tidy
lang/en
sembr
Image and preïmage
public
m/def/general
state/tidy
lang/en
sembr
Imaginary quadratic field
public
m/def/num/alg
state/tidy
lang/en
sembr
Immersion and submersion
public
m/def/geo/diff
m/thm/geo/diff
state/tidy
lang/en
sembr
Incidence geometry
public
m/def/geo
state/develop
lang/en
sembr
Incidence relation
public
m/def/geo
state/tidy
lang/en
sembr
Incompressible vector field
public
m/def/anal/vec
state/tidy
lang/en
sembr
flashcards/maths/des
Indecomposable module
public
m/def/module
state/develop
lang/en
sembr
Independence of random variables
public
m/def/prob
state/tidy
sembr
lang/en
Induced module
public
m/def/falg
state/tidy
lang/en
sembr
infinity-category
public
state/develop
lang/en
sembr
Initial and terminal objects
public
m/def/cat
state/tidy
sembr
lang/en
Inner group automorphism
public
m/def/group
state/tidy
lang/en
sembr
Inner Lie algebra automorphism
public
m/def/lie
missing/proof
state/develop
lang/en
sembr
Inner Lie algebra derivation
public
state/tidy
lang/en
sembr
Inner product space
public
m/def/anal/vec
state/tidy
lang/en
sembr
Integers
public
m/thm/ring
state/develop
lang/en
sembr
Integral domain
public
m/def/ring
state/tidy
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 field extension
public
m/thm/field
state/tidy
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
Invariant bilinear form on a Lie algebra
public
state/tidy
lang/en
sembr
Invariant subspace
public
m/def/linalg
m/def/rep
state/tidy
lang/en
sembr
Invariant subspaces of ∗-representations and unitary representations coïncide
public
state/tidy
lang/en
sembr
Inverse function theorem
public
m/thm/anal
missing/proof
state/develop
lang/en
sembr
Irreducible character as function of an idempotent
public
m/thm/rep
state/tidy
lang/en
sembr
Irreducible element
public
m/def/ring
state/tidy
lang/en
sembr
Irreducible operators applied to an irreducible orthonormal basis transform in the product representation
public
state/tidy
lang/en
sembr
Irreducible orthonormal basis
public
m/thm/rep
state/tidy
lang/en
sembr
Irrep
public
state/tidy
lang/en
sembr
Irreps collectively distinguish group elements
public
m/thm/rep
state/tidy
lang/en
sembr
Irreps of abelian groups are 1-dimensional
public
m/thm/rep
state/tidy
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
public
m/def/cat
state/tidy
lang/en
sembr
Isomorphism between the complex group ring and direct sum of matrix algebras on carriers of irreducible representations
public
m/thm/rep
state/tidy
lang/en
sembr
Isomorphism class
public
m/def/cat
state/develop
lang/en
sembr
Isomorphism of categories
public
m/def/cat
state/tidy
lang/en
sembr
Isomorphism theorems
public
m/thm/algebra
missing/proof
state/develop
lang/en
sembr
Iverson bracket
public
m/def/general
state/tidy
lang/en
sembr
Jacobson radical
public
m/def/ring
state/develop
lang/en
sembr
Japanese allophones
public
state/tidy
sembr
lang/en
Jensen's inequality
public
m/thm/measure
state/develop
lang/en
sembr
Joint cumulative distribution function
public
m/def/prob
state/tidy
lang/en
sembr
Joint probability mass function
public
m/def/prob
state/tidy
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
K-monoid
public
m/def/falg
state/tidy
lang/en
sembr
Kernel of a group homomorphism
public
m/def/group
m/thm/group
state/tidy
lang/en
sembr
Kernel of a Lie algebra homomorphism
public
m/def/lie
state/tidy
lang/en
sembr
Kernel of an algebra homomorphism
public
m/def/falg
state/tidy
lang/en
sembr
Kernels and cokernels
public
m/def/cat
state/tidy
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 delta
public
m/def/general
state/tidy
lang/en
sembr
Kronecker's root of unity lemma
public
m/thm/num/alg
missing/proof
state/develop
lang/en
sembr
Krull dimension
public
state/tidy
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
Ladder operator
public
to/prove
state/tidy
lang/en
sembr
Lagrange multiplier
public
state/tidy
sembr
lang/en
review
Lagrange's theorem
public
m/thm/group
state/tidy
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
Lattice subgroup
public
m/def/group
m/thm/topology
state/tidy
lang/en
sembr
Laurent series
public
m/def/anal/comp
state/develop
lang/en
sembr
Law of large numbers
public
state/tidy
lang/en
sembr
Lebesgue number
public
m/thm/anal
state/tidy
lang/en
sembr
Lebesgue sequence space
public
state/tidy
lang/en
sembr
Lebesgue space
public
m/def/anal/fun
missing/proof
state/tidy
lang/en
sembr
Lebesgue space forms an inner product space iff p=2
public
state/develop
lang/en
sembr
Left and right continuity
public
state/tidy
sembr
Legendre polynomial
public
m/def/fun
state/develop
lang/en
sembr
Legendre symbol
public
m/def/num
state/tidy
lang/en
sembr
Levi-Civita connexion
public
missing/proof
state/tidy
lang/en
sembr
Liar paradox
public
state/tidy
lang/en
sembr
Lie algebra
public
m/def/lie
state/tidy
lang/en
sembr
Lie algebra automorphism
public
m/def/lie
state/tidy
lang/en
sembr
Lie algebra extension
public
m/def/lie
missing/proof
state/tidy
lang/en
sembr
Lie algebra homomorphism
public
m/def/lie
state/tidy
lang/en
sembr
Lie algebra ideal
public
m/def/lie
state/tidy
lang/en
sembr
Lie algebra isomorphism
public
m/def/lie
state/tidy
lang/en
sembr
Lie algebra isomorphism theorems
public
m/thm/lie
state/tidy
lang/en
sembr
Lie algebra of nilpotent endomorphisms
public
m/thm/lie
state/tidy
lang/en
sembr
Lie algebra representation
public
m/def/lie
state/tidy
lang/en
sembr
Lie algebras MOC
public
moc
state/tidy
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 subalgebra
public
m/def/lie
state/tidy
lang/en
sembr
Lie theory MOC
public
moc
state/develop
lang/en
sembr
Lift of a map to a covering space
public
m/def/topology
m/thm/topology
m/thm/homotopy
state/tidy
lang/en
sembr
Limit point
public
m/def/topology
state/tidy
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
Limits and colimits
public
m/def/cat
state/tidy
lang/en
sembr
Lindelöf space
public
m/def/topology
state/develop
lang/en
sembr
Lindeman's option
public
state/tidy
lang/en
sembr
flashcards/linguistics/pie/phonotactics
Line with two origins
public
m/def/topology
state/develop
lang/en
sembr
Linear (in)dependence
public
m/def/linalg
state/tidy
sembr
Linear algebra MOC
public
moc
state/develop
sembr
Linear code
public
m/def/code
state/tidy
lang/en
sembr
Linear commutator
public
m/def/linalg
state/tidy
lang/en
sembr
Linear diëlectric
public
state/tidy
lang/en
sembr
Linear differential system
public
state/tidy
lang/en
sembr
review
Linear endomorphism
public
state/tidy
sembr
Linear epimorphism
public
m/thm/linalg
state/tidy
lang/en
sembr
Linear equations MOC
public
moc
state/tidy
sembr
Linear equivalence of codes
public
m/def/code
state/tidy
lang/en
sembr
Linear isomorphism
public
m/def/linalg
state/tidy
lang/en
sembr
Linear kernel
public
m/def/linalg
state/tidy
lang/en
sembr
Linear magnet
public
state/tidy
lang/en
sembr
Linear map
public
m/def/linalg
state/tidy
sembr
lang/en
Linear quiver
public
m/def/cat
state/tidy
lang/en
sembr
Linearization dogma
public
state/develop
lang/en
sembr
Lipschitz continuity
public
m/def/anal
state/develop
lang/en
sembr
Local (path) connectedness
public
m/def/topology
state/tidy
lang/en
sembr
Local finite measure of a compact set is finite
public
m/thm/measure
state/tidy
lang/en
sembr
Local homeomorphism
public
m/def/topology
missing/proof
state/develop
lang/en
sembr
Local injection
public
m/def/topology
state/tidy
lang/en
sembr
Local Lagrangian
public
m/def/geo/diff
state/tidy
lang/en
sembr
Local topological group
public
m/def/topology
state/tidy
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
Locally path-connected, connected covering morphism is a covering
public
m/thm/homotopy
state/tidy
lang/en
sembr
Locally small category
public
m/def/cat
state/tidy
lang/en
sembr
Location-scale transformation
public
m/def/prob
state/tidy
lang/en
sembr
Log-normal distribution
public
m/def/prob
state/tidy
lang/en
sembr
Logarithmic embedding
public
m/def/num/alg
state/develop
lang/en
sembr
Loop algebra
public
m/def/lie
state/tidy
lang/en
sembr
Lorentz force law
public
state/tidy
sembr
lang/en
Lorentz group
public
m/def/group/lorentz
state/develop
lang/en
sembr
Lower bound on the dimension of the field of rational functions
public
m/thm/ring
state/tidy
lang/en
sembr
Macroscopic state variables of an ideal gas
public
state/tidy
sembr
lang/en
MacWilliams identities
public
m/thm/code
missing/proof
state/develop
lang/en
sembr
MacWilliams theorem
public
missing/proof
state/develop
lang/en
sembr
Magma
public
m/def/algebra
state/stub
lang/en
sembr
Magma object
public
m/def/cat
state/tidy
lang/en
sembr
Magmoid
public
m/def/algebra
state/tidy
lang/en
sembr
Magmoid homomorphism
public
state/tidy
lang/en
sembr
Magnet
public
state/tidy
lang/en
sembr
Magnetic dipole moment
public
state/tidy
sembr
lang/en
Magnetic field
public
state/tidy
lang/en
sembr
Magnetic potential of a magnetized material
public
state/tidy
lang/en
sembr
Magnetostatics MOC
public
moc
state/develop
lang/en
sembr
Main theorem of connectedness
public
m/thm/topology
state/tidy
lang/en
sembr
Main theorem of coverings
public
m/thm/homotopy
state/tidy
lang/en
sembr
Map of Content
public
state/tidy
lang/en
sembr
Markov chain
public
state/develop
lang/en
sembr
Markov's inequality
public
m/thm/prob
state/tidy
lang/en
sembr
Maschke's theorem
public
m/thm/rep2
m/thm/rep
state/tidy
lang/en
sembr
Material set theory
public
state/tidy
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 determinant is a homomorphism
public
m/thm/group
state/tidy
lang/en
sembr
Matrix exponential
public
m/def/anal/vec
m/thm/anal/vec
state/develop
lang/en
sembr
Matrix of a system of linear equations
public
state/tidy
sembr
Matrix over a module
public
m/def/module
state/develop
lang/en
sembr
Maximal ideal
public
m/def/ring
state/tidy
lang/en
sembr
Maximal ideal iff prime ideal in a PID
public
state/tidy
lang/en
sembr
Maxwell-Boltzmann statistics
public
state/develop
lang/en
sembr
Maxwell's equations
public
state/tidy
sembr
lang/en
Maxwell's equations in materials
public
state/tidy
lang/en
sembr
Mean value theorem
public
m/thm/anal
state/tidy
sembr
lang/en
Measurable function
public
m/def/measure
state/tidy
lang/en
sembr
Measure space
public
m/def/measure
state/tidy
lang/en
sembr
Measure theoretic pigeonhole principle
public
m/thm/measure
state/tidy
lang/en
sembr
Measure theory MOC
public
moc
state/develop
lang/en
sembr
Median
public
m/def/prob
state/develop
lang/en
sembr
Memoryless random variable
public
m/thm/prob
missing/proof
state/tidy
lang/en
sembr
Method of undetermined coëfficients
public
state/tidy
lang/en
sembr
review
Method of variation of parameters
public
state/tidy
sembr
lang/en
review
Metric completion
public
m/def/anal
state/tidy
lang/en
sembr
Metric space
public
m/def/anal
state/develop
sembr
Metric topology
public
state/tidy
lang/en
sembr
Metrizable implies first-countable
public
state/tidy
lang/en
sembr
Metrizable implies Hausdorff
public
m/thm/topology
state/tidy
lang/en
sembr
Microcanonical ensemble
public
missing/derivation
state/develop
lang/en
sembr
Microstate and macrostate
public
state/develop
lang/en
sembr
Minimum of independent exponentially distributed random variables
public
m/thm/prob
state/tidy
lang/en
sembr
Minkowski embedding
public
m/def/num/alg
m/thm/num/alg
state/tidy
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
Minor
public
state/tidy
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
public
m/def/module
state/tidy
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 category ring
public
m/thm/rep
state/tidy
lang/en
sembr
Module over a commutative ring
public
m/def/module/comm
state/develop
lang/en
sembr
Module over a group
public
m/def/rep
state/tidy
lang/en
sembr
Module over a Lie algebra
public
m/def/lie
state/tidy
lang/en
sembr
Module over a unital associative algebra
public
state/tidy
lang/en
sembr
Module theory MOC
public
state/develop
lang/en
sembr
Module-finite R-monoid
public
m/def/ring
state/tidy
lang/en
sembr
Moment-generating function
public
m/def/prob
m/thm/prob
state/tidy
lang/en
sembr
Monogenic field
public
m/def/num/alg
missing/proof
state/tidy
lang/en
sembr
Monoid
public
m/def/general
state/develop
lang/en
sembr
Monoid object
public
m/def/cat
state/develop
lang/en
sembr
Monoid ring
public
m/def/ring
state/tidy
lang/en
sembr
Monoidal category
public
m/def/cat
state/develop
lang/en
sembr
Monoidal functor
public
state/tidy
lang/en
sembr
Monoidal natural transformation
public
m/def/cat
state/tidy
lang/en
sembr
Monomial transformation
public
m/def/linalg
state/tidy
lang/en
sembr
Monomorphism
public
m/def/cat
state/tidy
lang/en
sembr
Monstrous moonshine MOC
public
moc
state/develop
lang/en
sembr
Morphism of field extensions
public
m/def/field
state/tidy
lang/en
sembr
Multifunctor
public
m/def/cat
state/tidy
lang/en
sembr
Multilinear map
public
m/def/linalg
state/tidy
lang/en
sembr
Multinomial distribution
public
m/def/prob
state/develop
lang/en
sembr
Multiplicative group of integers modulo 𝑛
public
m/def/group
state/tidy
lang/en
sembr
Multiply transitive permutation group
public
m/def/group
state/develop
lang/en
sembr
Multipole expansion of the electrostatic potential
public
state/tidy
lang/en
sembr
Multipole expansion of the reciprocal
public
m/thm/anal/vec
missing/proof
state/develop
lang/en
sembr
Multiset
public
m/def/set
state/tidy
lang/en
sembr
Multivariate normal distribution
public
m/def/prob
state/tidy
lang/en
sembr
Multivariate random variable
public
state/tidy
lang/en
sembr
My style guide
public
state/develop
sembr
lang/en
n-orbit
public
m/def/group
state/develop
lang/en
sembr
Natural Heisenberg algebras
public
m/def/lie
state/tidy
lang/en
sembr
Natural isomorphism
public
m/def/cat
state/tidy
lang/en
sembr
Natural transformation
public
m/def/cat
state/tidy
sembr
lang/en
NBG
public
m/def/set/nbg
state/stub
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
Neighbourhood
public
m/def/topology
state/tidy
lang/en
sembr
Neighbourhood basis
public
state/tidy
lang/en
sembr
Neighbourhood system
public
m/def/topology
state/tidy
lang/en
sembr
Nested neighbourhood basis
public
state/tidy
lang/en
sembr
Nilpotent Lie algebra
public
m/def/lie
state/tidy
lang/en
sembr
No group is the union of two proper subgroups
public
m/thm/group
state/tidy
lang/en
sembr
Noetherian module
public
m/def/module
state/develop
lang/en
sembr
Noetherian ring
public
m/def/ring
state/tidy
lang/en
sembr
Norm of a number field
public
m/thm/num/alg
missing/proof
state/develop
lang/en
sembr
Normal closure
public
m/def/group
state/tidy
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 quadratic subspace
public
m/def/linalg/q
state/tidy
lang/en
sembr
Normal space
public
m/def/topology
state/develop
lang/en
sembr
Normal subgroup
public
m/def/group
state/tidy
lang/en
sembr
Normalizer in a group
public
m/def/group
state/tidy
lang/en
sembr
Normalizer in a Lie algebra
public
m/def/lie
state/tidy
lang/en
sembr
Normed vector space
public
m/def/anal/vec
state/tidy
lang/en
sembr
Norms are equivalent iff they induce the same topology
public
m/thm/topology
state/develop
lang/en
sembr
Null-homotopic map
public
m/def/homotopy
state/tidy
lang/en
sembr
Number field
public
m/def/num/alg
state/tidy
lang/en
sembr
Number of elements of each order in a cyclic group
public
m/thm/group
state/tidy
lang/en
sembr
Number of elements of order 𝑑 in a finite group
public
m/thm/group
state/tidy
lang/en
sembr
Number of points in a finite projective plane
public
m/thm/geo/fin
m/def/geo
state/tidy
lang/en
sembr
Number of subspaces of a Galois geometry
public
m/thm/geo/fin
state/tidy
lang/en
sembr
Number theory MOC
public
state/stub
lang/en
sembr
Numeric partition
public
m/def/num
state/tidy
lang/en
sembr
Objects as functors
public
state/tidy
lang/en
sembr
Objects as identities
public
state/develop
lang/en
sembr
OIcel a-stems
public
state/tidy
lang/en
sembr
OIcel conjugation
public
state/develop
lang/en
sembr
OIcel declension
public
state/develop
lang/en
sembr
OIcel declension of adjectives
public
state/tidy
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 feminine root nouns
public
state/tidy
lang/en
sembr
OIcel i-stems
public
state/tidy
lang/en
sembr
OIcel i-umlaut
public
state/develop
lang/en
sembr
OIcel ijō-stems
public
state/develop
lang/en
sembr
OIcel j-insertion
public
state/tidy
lang/en
sembr
OIcel kasta-class
public
state/develop
lang/en
sembr
OIcel masculine root nouns
public
state/tidy
lang/en
sembr
OIcel morphology
public
state/develop
lang/en
sembr
OIcel n-stems
public
state/tidy
lang/en
sembr
OIcel nd-stems
public
state/tidy
lang/en
sembr
OIcel ō-stems
public
state/tidy
lang/en
sembr
OIcel phonology
public
state/develop
lang/en
sembr
OIcel progressive consonant assimilation
public
state/tidy
lang/en
sembr
OIcel pronominal inflection
public
state/develop
lang/en
sembr
oldcards/oicel/pronouns
OIcel r-stems
public
state/tidy
lang/en
sembr
OIcel telja-class
public
state/develop
lang/en
sembr
OIcel u-stems
public
state/develop
lang/en
sembr
OIcel u-umlaut
public
state/tidy
lang/en
sembr
OIcel v-insertion
public
state/tidy
lang/en
sembr
OIcel vowel system
public
state/develop
lang/en
sembr
OIcel weak verbs
public
state/develop
lang/en
sembr
Oidification
public
state/tidy
lang/en
sembr
Old Icelandic MOC
public
state/develop
lang/en
sembr
Open and closed maps
public
state/develop
lang/en
sembr
Open ball
public
m/def/anal
state/tidy
lang/en
sembr
Operator norm
public
m/def/anal/vec
state/tidy
lang/en
sembr
Opposite category
public
m/def/cat
state/tidy
sembr
lang/en
Orbit counting lemma
public
m/thm/group
missing/proof
state/develop
lang/en
sembr
Orbit space
public
m/def/group
state/tidy
lang/en
sembr
Orbit space of a properly discontinuous effective group action
public
m/thm/homotopy
state/tidy
lang/en
sembr
Orbit space of a properly discontinuous group action
public
m/thm/topology
state/tidy
lang/en
sembr
Orbit-stabilizer theorem
public
m/thm/group
state/tidy
lang/en
sembr
Order of powers of a group element
public
m/thm/group
state/tidy
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
Ordinal category
public
category
state/tidy
lang/en
sembr
Oriented vector space
public
m/def/linalg
state/develop
lang/en
sembr
Orthochronous Lorentz group
public
m/def/group/lorentz
state/tidy
lang/en
sembr
Orthogonal code
public
m/def/code
state/tidy
lang/en
sembr
Orthogonal complement
public
m/def/linalg
state/tidy
lang/en
sembr
Orthogonal complement polarity
public
m/thm/geo
to/check
state/develop
lang/en
sembr
Orthogonality by a quadric
public
m/thm/geo
state/tidy
lang/en
sembr
Orthonormal basis
public
m/def/linalg
state/tidy
lang/en
sembr
Orthonormal dense basis
public
m/def/anal/fun
m/thm/anal/fun
state/develop
lang/en
sembr
Orthonormal set
public
m/def/linalg
state/tidy
lang/en
sembr
Orthonormality of irreducible characters
public
m/thm/rep
state/tidy
lang/en
sembr
Orthonormality of irreps
public
m/thm/rep
state/tidy
lang/en
sembr
p-group
public
m/def/group
state/tidy
lang/en
sembr
𝑝-series
public
state/tidy
sembr
Paracompact space
public
m/def/topology
state/develop
lang/en
sembr
Parallel transport
public
m/def/geo/diff
state/tidy
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
Partial derivative as a local affine connexion
public
m/thm/geo/diff
state/tidy
lang/en
sembr
Partition
public
m/def/set/naïve
state/stub
lang/en
sembr
to/complete
Path algebra
public
m/def/quiv
state/develop
lang/en
sembr
Path connectedness
public
m/def/topology
state/tidy
lang/en
sembr
Path Lagrangian
public
m/thm/variations
state/tidy
lang/en
sembr
Path traversal lemma
public
m/thm/homotopy
state/tidy
lang/en
sembr
Perfect code
public
m/def/code
state/tidy
lang/en
sembr
Perfect magnetic dipole
public
state/tidy
lang/en
sembr
Permutation group
public
m/def/group
state/tidy
lang/en
sembr
PGmc conjugation
public
state/develop
lang/en
sembr
PGmc declension
public
state/develop
lang/en
sembr
PGmc morphology MOC
public
moc
state/stub
lang/en
sembr
PGmc weak verbs
public
state/develop
lang/en
sembr
Phase change
public
state/tidy
sembr
lang/en
PIE *e-laryngeal colouring
public
state/tidy
sembr
flashcards/linguistics/pie/phonotactics
PIE *s insertion
public
state/tidy
lang/en
sembr
PIE aspect
public
state/tidy
lang/en
sembr
flashcards/linguistics/pie/morphology
PIE case
public
state/tidy
lang/en
sembr
flashcards/linguistics/pie/morphology/cases
PIE conjugation
public
state/tidy
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 laryngeal deletion
public
state/tidy
sembr
PIE mood
public
state/tidy
lang/en
sembr
PIE morphology MOC
public
moc
state/develop
lang/en
sembr
PIE person system
public
state/develop
lang/en
sembr
PIE syllabification of sonorants
public
state/tidy
lang/en
sembr
flashcards/linguistics/pie/phonotactics
modelnote
PIE thematic vowel
public
state/tidy
lang/en
sembr
PIE velar labialisation
public
state/tidy
lang/en
sembr
PIE verb endings
public
state/tidy
lang/en
sembr
PIE verb stem formation
public
state/tidy
modelnote
lang/en
sembr
flashcards/linguistics/pie/morphology
PIE voice
public
state/tidy
lang/en
sembr
PIE vowel lengthening by contraction
public
state/tidy
sembr
Pigeonhole principle
public
state/tidy
lang/en
sembr
PKM MOC
public
moc
state/tidy
sembr
Plücker embedding
public
m/def/geo
state/tidy
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 algebra
public
m/def/falg
state/tidy
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
public
m/def/ring
state/tidy
lang/en
sembr
Polynomial ring over a UFD is a UFD
public
m/thm/ring
missing/proof
state/develop
lang/en
sembr
Poset
public
m/def/order
state/tidy
lang/en
sembr
Posetal category
public
m/def/cat
state/tidy
sembr
lang/en
Posets as categories
public
state/tidy
lang/en
sembr
Powerset Axiom
public
m/def/set/zf
state/tidy
lang/en
sembr
Poynting vector
public
state/tidy
lang/en
sembr
Poynting's theorem
public
state/tidy
lang/en
sembr
Preäbelian category
public
m/def/cat
state/develop
lang/en
sembr
Preïmage theorem
public
m/thm/geo/diff
state/tidy
lang/en
sembr
Preorder
public
m/def/order
state/tidy
lang/en
sembr
Presheaf
public
m/def/cat
state/develop
lang/en
sembr
Pressure
public
state/tidy
sembr
Prime element
public
m/def/ring
state/develop
lang/en
sembr
Prime ideal
public
m/def/ring
state/tidy
lang/en
sembr
Prime ideals are invertible in a Dedekind domain
public
m/thm/ring
state/tidy
lang/en
sembr
Prime number
public
m/def/num
state/develop
lang/en
sembr
Prime order of an ideal
public
m/def/ring
state/tidy
lang/en
sembr
Primitive element theorem
public
m/thm/field
state/tidy
lang/en
sembr
Primitively recursive
public
m/def/computability
state/develop
lang/en
sembr
Principal ideal
public
m/def/ring
state/tidy
lang/en
sembr
Principal ideal domain
public
m/def/ring
state/tidy
lang/en
sembr
Principal ideal ring
public
m/def/ring
state/tidy
lang/en
sembr
Probability density function
public
state/tidy
lang/en
sembr
Probability model
public
state/tidy
sembr
lang/en
Probability theory MOC
public
moc
state/tidy
sembr
Product ideal
public
m/def/ring
state/develop
lang/en
sembr
Product topology
public
m/def/topology
m/thm/topology
state/tidy
lang/en
sembr
Products and coproducts
public
m/def/cat
state/tidy
sembr
lang/en
Projection interpretation of conditional expected value
public
m/thm/prob
state/develop
lang/en
sembr
Projection operator
public
m/def/linalg
state/tidy
lang/en
sembr
Projective code
public
m/def/code
state/tidy
lang/en
sembr
Projective correlation
public
m/def/geo
state/develop
lang/en
sembr
Projective general linear group
public
m/def/group
state/tidy
lang/en
sembr
Projective module
public
state/develop
lang/en
sembr
Projective object
public
m/def/cat
state/tidy
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
Projective system of a linear code
public
m/def/code
state/tidy
lang/en
sembr
Projectivization
public
m/def/geo
state/develop
lang/en
sembr
Proper class
public
state/tidy
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
Proper sublattice
public
m/thm/geo
state/tidy
lang/en
sembr
Properly discontinuous group action
public
m/def/topology
state/tidy
lang/en
sembr
Proto-Central IE sample conjugations
public
state/tidy
lang/en
sembr
Proto-Indo-European MOC
public
moc
state/develop
sembr
Proto-Vṛddhi
public
state/tidy
sembr
Proving continuity with a subbasis
public
state/tidy
lang/en
sembr
Proving open map with a subbasis
public
m/thm/topology
state/tidy
lang/en
sembr
Pseudoautistic category
public
m/def/cat
state/tidy
lang/en
sembr
Publishing my PKM
public
state/tidy
lang/en
sembr
Pushforward and pullback of an isomorphism
public
m/thm/cat
state/tidy
lang/en
sembr
Pushforward measure
public
m/def/measure
state/tidy
lang/en
sembr
QM in 1D position-space
public
state/develop
lang/en
sembr
QM in 3D position-space
public
state/tidy
lang/en
sembr
QM of a free particle in 1D
public
state/tidy
lang/en
sembr
QM of a particle in a 1D Dirac delta potential
public
state/tidy
lang/en
sembr
QM of a particle in a 1D harmonic oscillator
public
state/tidy
lang/en
sembr
QM of a particle in a 1D infinite square well
public
state/tidy
lang/en
sembr
QM of a particle in a 3D infinite square well
public
state/tidy
lang/en
sembr
QM of particle in a 1D finite square well
public
state/tidy
lang/en
sembr
Quadratic extension
public
m/def/ring
state/develop
lang/en
sembr
Quadratic field
public
m/def/num/alg
state/tidy
lang/en
sembr
Quadratic form
public
m/def/linalg
state/tidy
lang/en
sembr
Quadratic integers
public
m/thm/ring
state/tidy
lang/en
sembr
Quadratic Lie algebra
public
m/def/lie
state/tidy
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
Quantile function
public
m/def/prob
state/tidy
lang/en
sembr
Quantum teleportation
public
state/tidy
lang/en
sembr
Quasi-perfect code
public
m/def/code
state/tidy
lang/en
sembr
Quasigroup
public
m/def/algebra
missing/proof
state/develop
lang/en
sembr
Quasistatic expression for work
public
state/tidy
sembr
lang/en
Quasistatic process
public
state/tidy
sembr
Quillen's lemma
public
missing/proof
state/develop
lang/en
sembr
Quiver homomorphism
public
m/def/cat
state/tidy
lang/en
sembr
Quiver representation
public
m/def/quiv
state/tidy
lang/en
sembr
Quiver representation theory MOC
public
state/develop
lang/en
sembr
Quiver subrepresentation
public
m/def/quiv
state/tidy
lang/en
sembr
Quotient algebra
public
m/def/falg
state/tidy
lang/en
sembr
Quotient category
public
state/develop
lang/en
sembr
Quotient group
public
m/def/group
state/tidy
lang/en
sembr
Quotient Lie algebra
public
m/def/lie
state/tidy
lang/en
sembr
Quotient module
public
m/def/module
state/develop
lang/en
sembr
Quotient quadratic space
public
m/def/geoalg
state/tidy
lang/en
sembr
Quotient set
public
m/def/set/naïve
state/tidy
lang/en
sembr
Quotient topology
public
m/def/topology
m/thm/topology
state/tidy
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
public
m/def/calg
state/tidy
lang/en
sembr
R-monoid of finite type
public
m/def/ring
state/develop
lang/en
sembr
R-semigroup
public
m/def/ring
state/tidy
lang/en
sembr
Radical of a Lie algebra
public
m/def/lie
state/tidy
lang/en
sembr
Radical of a quadratic space
public
m/def/linalg
state/tidy
lang/en
sembr
Radon-Nikodym theorem
public
m/thm/measure
missing/proof
state/develop
lang/en
sembr
Raising and lowering of indices
public
state/tidy
lang/en
sembr
Random function
public
m/def/prob
m/thm/prob
state/tidy
lang/en
sembr
Random sample
public
state/tidy
sembr
Rank
public
m/def/linalg
state/tidy
lang/en
sembr
Rank-nullity theorem
public
m/thm/linalg
state/tidy
lang/en
sembr
Rational independence
public
m/def/num
state/develop
lang/en
sembr
Rational lattice
public
m/def/geo
state/tidy
lang/en
sembr
Rational root theorem
public
m/thm/num/alg
state/develop
lang/en
sembr
Rationals adjoin sqrt(-14)
public
m/thm/num/alg
state/tidy
lang/en
sembr
Rationals adjoin sqrt(-21)
public
m/thm/num/alg
state/tidy
lang/en
sembr
Rationals adjoin sqrt(-3)
public
m/thm/num/alg
state/tidy
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
Real embedded manifold
public
m/def/geo/diff
state/tidy
lang/en
sembr
Real projective space
public
m/def/geo/diff
state/tidy
lang/en
sembr
Real quadratic field
public
m/def/num/alg
state/tidy
lang/en
sembr
Real random variable
public
state/tidy
sembr
lang/en
Recursion
public
state/tidy
sembr
lang/en
Reducibility of modules
public
state/tidy
lang/en
sembr
Reducibility of quiver representations
public
state/tidy
lang/en
sembr
Reducibility of representations
public
m/def/rep
state/tidy
lang/en
sembr
Reduction of order (homogenous second-order differential equation)
public
state/tidy
lang/en
sembr
review
Redundancy theory of truth
public
state/develop
lang/en
sembr
Regular covering
public
m/def/homotopy
state/develop
lang/en
sembr
Regular epimorphism
public
m/def/cat
state/tidy
lang/en
sembr
Regular group action
public
m/def/group
state/tidy
lang/en
sembr
Regular group representation
public
state/tidy
lang/en
sembr
Regular measure
public
m/def/measure
state/tidy
lang/en
sembr
Regular monomorphism
public
m/def/cat
state/tidy
lang/en
sembr
Regular monomorphisms in the category of topological spaces
public
m/thm/topology
missing/proof
state/stub
lang/en
sembr
Regular representation
public
state/tidy
lang/en
sembr
Relation class
public
m/def/set
state/tidy
sembr
lang/en
Relation set
public
m/def/set
state/tidy
sembr
lang/en
Relationship between binomial and hypergeometric distributions
public
m/thm/prob
state/develop
lang/en
sembr
Relationship between I𝑎𝑏I and I𝑎I𝑏I
public
m/thm/group
state/tidy
lang/en
sembr
Relationship between Kinetic Energy and Temperature
public
state/tidy
sembr
Relatively prime ideals
public
m/def/ring
state/tidy
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 of a finite group
public
m/thm/rep
state/tidy
lang/en
sembr
Representation of an abelian group
public
state/tidy
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
Reverse order integration
public
state/tidy
lang/en
sembr
review
Reverse triangle inequality
public
m/thm/anal
state/tidy
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
public
m/def/ring
state/tidy
lang/en
sembr
Ring extension
public
m/def/ring
state/develop
lang/en
sembr
Ring homomorphism
public
m/def/ring
state/tidy
lang/en
sembr
Ring isomorphism theorems
public
m/thm/ring
state/develop
lang/en
sembr
Ring of integers of a number field
public
m/thm/ring
state/tidy
lang/en
sembr
Ring theory MOC
public
moc
state/develop
lang/en
sembr
Rng
public
m/def/ring
state/tidy
lang/en
sembr
Rng homomorphism
public
m/def/ring
state/tidy
lang/en
sembr
Rolle's theorem
public
m/thm/anal
state/tidy
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
Row and column space
public
m/def/linalg
state/tidy
sembr
Russell's paradox
public
m/thm/set
state/tidy
lang/en
sembr
Russell's paradox for categories
public
state/tidy
lang/en
sembr
S(5,8,24)
public
m/thm/comb
missing/proof
state/develop
lang/en
sembr
Sample excess kurtosis
public
m/def/prob
state/tidy
lang/en
sembr
Sample moment
public
m/def/prob
state/tidy
lang/en
sembr
Sample skewness
public
m/def/prob
state/tidy
lang/en
sembr
Sample variance
public
m/def/prob
state/develop
lang/en
sembr
Scalar curvature
public
state/develop
lang/en
sembr
Scalar field
public
m/def/geo/diff
state/tidy
lang/en
sembr
Scalar field Lagrangian
public
m/thm/variations
state/tidy
lang/en
sembr
Scalar transformation criterion
public
m/thm/linalg
state/tidy
lang/en
sembr
Schrödinger equation
public
state/develop
lang/en
sembr
Schur's lemma
public
m/thm/module
m/thm/rep
m/thm/cat
state/tidy
lang/en
sembr
Second countability axiom
public
m/def/topology
state/develop
lang/en
sembr
Second countable implies Lindelöf
public
state/tidy
lang/en
sembr
Second law of thermodynamics
public
state/tidy
sembr
lang/en
Seifert-Van Kampen-Brown theorem
public
m/thm/homotopy
state/tidy
lang/en
sembr
Self-dual rational lattice
public
m/def/geo
state/tidy
lang/en
sembr
Semantic Breaks
public
sembr
state/tidy
lang/en
Semi-Riemannian manifold
public
m/def/geo/diff
state/tidy
lang/en
sembr
Semi-standard Young tableau
public
m/def/comb
state/tidy
lang/en
sembr
Semidirect product
public
m/def/group
m/thm/group
state/tidy
lang/en
sembr
Semidirect product of Lie algebras
public
m/def/lie
state/tidy
lang/en
sembr
Semigroup
public
m/def/algebra
state/stub
lang/en
sembr
Semigroup object
public
m/def/cat
state/develop
lang/en
sembr
Semilocal simple connectedness
public
state/tidy
lang/en
sembr
Seminormed vector space
public
m/def/anal/vec
state/tidy
lang/en
sembr
Semisimple category
public
m/def/cat
state/develop
lang/en
sembr
Semisimple module
public
m/def/module
state/tidy
lang/en
sembr
Semisimple object
public
state/develop
lang/en
sembr
Semisimple ring
public
m/def/ring
missing/proof
state/develop
lang/en
sembr
Separability of a finite extension
public
m/thm/field
state/tidy
lang/en
sembr
Separable and entangled states
public
state/develop
lang/en
sembr
Separable degree of an extension
public
m/def/field
state/tidy
lang/en
sembr
Separable differential equation
public
state/tidy
sembr
review
Separable extension
public
m/def/field
state/develop
lang/en
sembr
Separable polynomial
public
m/def/field
state/tidy
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
Sequential closedness
public
m/def/topology
m/thm/topology
state/tidy
lang/en
sembr
Sequential continuity
public
m/thm/topology
state/tidy
lang/en
sembr
Sequentially compact space
public
m/def/topology
m/thm/topology
state/tidy
lang/en
sembr
Set
public
m/def/set
state/tidy
lang/en
sembr
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
Sheet number of a connected covering
public
m/thm/homotopy
state/tidy
lang/en
sembr
Shifted graded module
public
m/thm/module
state/tidy
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
Signature of a number field
public
state/tidy
lang/en
sembr
Signature of a semi-Riemannian manifold
public
m/def/geo/diff
state/tidy
lang/en
sembr
Similarity solutions
public
state/develop
lang/en
sembr
Simple connectedness
public
m/def/homotopy
state/tidy
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 Lie algebra
public
m/def/lie
state/tidy
lang/en
sembr
Simple module
public
m/def/module
state/tidy
lang/en
sembr
Simple object
public
m/def/cat
state/tidy
lang/en
sembr
Simple ring
public
m/def/ring
state/develop
lang/en
sembr
Simplicity of an algebraic extension
public
m/thm/field
state/tidy
lang/en
sembr
Simpson's lemma
public
state/tidy
lang/en
sembr
Single faced string diagram
public
state/tidy
lang/en
sembr
Single point space
public
m/def/topology
state/tidy
lang/en
sembr
Singular point
public
state/tidy
lang/en
sembr
Skeletal categories are equivalent iff they are isomorphic
public
m/thm/cat
state/tidy
lang/en
sembr
Skeletal category
public
m/def/cat
state/tidy
sembr
lang/en
Skeleton category
public
m/def/cat
state/tidy
lang/en
sembr
Skewness
public
m/def/prob
state/tidy
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
Small set
public
m/def/set/tg
state/tidy
lang/en
sembr
Smooth field
public
m/def/geo/diff
state/develop
lang/en
sembr
Smooth geodesic
public
state/develop
lang/en
sembr
Solvable Lie algebra
public
m/def/lie
state/tidy
lang/en
sembr
Solving non-homogenous second order ODEs
public
state/tidy
lang/en
sembr
Span
public
m/def/linalg
state/tidy
sembr
lang/en
Special functions MOC
public
state/develop
lang/en
sembr
Special linear Lie algebra
public
m/def/lie
state/develop
lang/en
sembr
Specific heat of an ideal gas
public
state/tidy
lang/en
sembr
Specification Axiom Schema
public
m/def/set/zf
state/tidy
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 McKay graph
public
m/thm/rep2
state/tidy
lang/en
sembr
Spectrum of a ring
public
m/def/ring
state/develop
lang/en
sembr
Spectrum of an algebraic element
public
m/def/falg
missing/proof
state/tidy
lang/en
sembr
Sphere packing condition for a perfect code
public
m/thm/code
state/tidy
lang/en
sembr
Sphere space
public
m/def/topology
state/tidy
lang/en
sembr
Spherical coördinates in differential geometry
public
state/develop
lang/en
sembr
Spherically symmetric potential
public
state/develop
lang/en
sembr
Split epimorphism
public
m/def/cat
state/tidy
lang/en
sembr
Split monomorphism
public
m/def/cat
state/tidy
lang/en
sembr
Split short exact sequence
public
m/thm/homology
state/tidy
lang/en
sembr
Splitting field
public
state/develop
lang/en
sembr
Splitting of prime ideals in a number field
public
m/def/num/alg
state/tidy
lang/en
sembr
Square sum of irrep dimensions
public
m/thm/rep
state/tidy
lang/en
sembr
Squarefree integer
public
m/def/num
state/develop
lang/en
sembr
Stabilizer group
public
m/def/group
m/thm/group
state/tidy
lang/en
sembr
Standard Heisenberg algebra for QM
public
state/tidy
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 moment
public
m/def/prob
state/tidy
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
Strict category of graded vector spaces
category
public
m/def/linalg
state/tidy
lang/en
sembr
Strict monoidal category
public
m/def/cat
state/tidy
lang/en
sembr
String diagram
public
state/stub
lang/en
sembr
Structural set theory
public
state/develop
lang/en
sembr
Subalgebra generated by an algebraic element
public
m/thm/falg
state/tidy
lang/en
sembr
Subalgebra over a field
public
m/def/falg
state/tidy
lang/en
sembr
Subcategory
public
m/def/cat
state/tidy
lang/en
sembr
Subclass
public
m/def/set
state/tidy
lang/en
sembr
Subfield
public
m/def/field
m/thm/field
state/tidy
lang/en
sembr
Subgroup
public
m/def/group
m/thm/group
state/tidy
lang/en
sembr
Subgroup of a free abelian group
public
m/thm/group
missing/proof
state/develop
lang/en
sembr
Submanifold
public
m/def/geo/diff
state/tidy
lang/en
sembr
Submodule
public
m/def/module
state/tidy
lang/en
sembr
Subquiver
public
m/def/quiv
state/develop
lang/en
sembr
Subring
public
m/def/ring
state/tidy
lang/en
sembr
Subrng
public
m/def/ring
m/thm/ring
state/tidy
lang/en
sembr
Subset
public
m/def/set
state/tidy
lang/en
sembr
Subspace topology
public
m/def/topology
m/thm/topology
state/tidy
lang/en
sembr
Sum of commuting Lie algebra representations
public
m/thm/lie
state/tidy
lang/en
sembr
Sum of independent random variables
public
m/thm/prob
state/tidy
lang/en
sembr
Summable endomorphisms
public
m/def/linalg
state/tidy
lang/en
sembr
Superalgebra
public
m/def/falg
state/develop
lang/en
sembr
Support of a map
public
m/def/anal
state/tidy
lang/en
sembr
Sure convergence
public
m/def/prob
state/tidy
lang/en
sembr
Surjectivity, injectivity, and bijectivity
public
m/def/general
state/tidy
lang/en
sembr
Survival function
public
m/def/prob
state/develop
lang/en
sembr
Sweedler's large Hopf algebra
public
m/def/falg/hopf
state/tidy
lang/en
sembr
Sweedler's small Hopf algebra
public
m/def/falg/hopf
state/tidy
lang/en
sembr
Sylow's theorem
public
m/thm/group
state/tidy
lang/en
sembr
Symmetric algebra
public
m/def/falg
missing/proof
state/tidy
lang/en
sembr
Symmetric distribution
public
m/def/prob
state/tidy
lang/en
sembr
Symmetric group
public
m/def/group
state/tidy
lang/en
sembr
Symmetric monoidal category
public
m/def/cat
state/tidy
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
Symplectic group representation
public
m/def/rep2
state/tidy
lang/en
sembr
System of linear equations
public
m/def/linalg
state/tidy
sembr
System of linear ODEs
public
state/develop
lang/en
sembr
Systematic code
public
m/def/code
state/tidy
lang/en
sembr
t-design
public
state/develop
lang/en
sembr
Table of Laplace transforms
public
state/tidy
sembr
Tag Glossary
public
state/tidy
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
Taylor's theorem
public
m/thm/anal
state/tidy
sembr
lang/en
Temperature
public
state/develop
sembr
Tensor
public
m/def/linalg/multi
state/develop
lang/en
sembr
Tensor algebra
public
m/def/falg
missing/proof
state/tidy
lang/en
sembr
Tensor field
public
missing/proof
state/tidy
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 a Lie algebra and a commutative algebra
public
m/thm/lie
state/tidy
lang/en
sembr
Tensor product of algebras
public
m/def/falg
state/tidy
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 Lie algebra representations
public
state/tidy
lang/en
sembr
Tensor product of modules over a commutative ring
public
m/def/module/comm
state/tidy
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 product with a 1-dimensional representation
public
m/thm/rep
state/tidy
lang/en
sembr
Tensor representation
public
m/def/rep/lie
missing/proof
state/develop
lang/en
sembr
TG
public
state/stub
lang/en
sembr
The boundary of a ball is not a retract
public
m/thm/topology
missing/proof
state/develop
lang/en
sembr
The characteristic of an integral domain is 0 or prime
public
m/thm/ring
state/tidy
lang/en
sembr
The conjugate of an n-cycle is an n-cycle
public
m/thm/group/sym
state/tidy
lang/en
sembr
The continuous image of a compact space is compact
public
m/thm/topology
state/tidy
lang/en
sembr
The deck transformation group acts properly discontinuously
public
state/tidy
lang/en
sembr
The development of ‘to be’ in Indo-European languages
public
state/develop
lang/en
sembr
The group product of elements in commuting subgroups generate a subgroup
public
m/thm/group
state/tidy
lang/en
sembr
The image map of a bijection is a bijection
public
m/thm/general
state/tidy
lang/en
sembr
The image of a group homomorphism is a subgroup
public
m/thm/group
state/tidy
lang/en
sembr
The intersection of nested inhabited Hausdorff-compact sets is inhabited
public
m/thm/topology
state/tidy
lang/en
sembr
The intersection of nested inhabited sets may be empty
public
m/thm/set/naïve
state/tidy
lang/en
sembr
The intersection of normal subgroups is a normal subgroup
public
m/thm/group
state/tidy
lang/en
sembr
The intersection of subgroups is a subgroup
public
m/thm/group
state/tidy
lang/en
sembr
The intersection of topologies on a fixed set is again a topology
public
m/thm/topology
state/tidy
lang/en
sembr
The order of a cyclic group equals the order of its generator
public
m/thm/group
state/tidy
lang/en
sembr
The order of an element and its inverse are the same
public
m/thm/group
state/tidy
lang/en
sembr
The orthogonal complement of an invariant subspace under a unitary operator is invariant
public
m/thm/linalg
state/tidy
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 polynomial ring over an integral domain is an integral domain
public
m/thm/ring
state/tidy
lang/en
sembr
The preïmage of the image and image of the preïmage are not necessarily the identity
public
m/thm/general
state/tidy
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
The regular representation contains all irreducible representations
public
m/thm/rep
state/tidy
lang/en
sembr
The relationship between temperature and heat in a solid or liquid
public
state/tidy
sembr
The ring of integers of a number field forms a lattice
public
m/thm/ring
state/tidy
lang/en
sembr
Thermal equilibrium
public
state/tidy
sembr
Thermodynamic potential
public
state/tidy
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
Thin category
public
m/def/cat
state/tidy
sembr
lang/en
Things as categories
public
state/develop
lang/en
sembr
Thorn cluster
public
state/tidy
lang/en
sembr
Tikhonov's theorem
public
state/tidy
lang/en
sembr
Topological basis
public
state/tidy
sembr
lang/en
Topological group
public
m/def/group
state/tidy
lang/en
sembr
Topological manifold
public
m/def/topology
state/tidy
lang/en
sembr
Topological property
public
m/def/topology
state/develop
lang/en
sembr
Topological retraction
public
m/def/topology
state/tidy
lang/en
sembr
Topological space
public
m/def/topology
state/tidy
sembr
lang/en
Topological subbasis
public
m/def/topology
m/thm/topology
state/tidy
lang/en
sembr
Topological vector space
public
m/def/anal/fun
state/tidy
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
Torsion
public
state/tidy
lang/en
sembr
Torsion group
public
m/def/group
state/tidy
lang/en
sembr
Torsion group with a central cyclic commutator subgroup
public
m/thm/group
state/develop
lang/en
sembr
Torsion subgroup of an abelian group
public
m/def/group
m/thm/group
state/tidy
lang/en
sembr
Torsion tensor
public
m/def/geo/diff
state/tidy
lang/en
sembr
Torus topology
public
m/def/topology
state/tidy
lang/en
sembr
Total derivative
public
m/def/anal
state/tidy
lang/en
sembr
Totally ordered set
public
m/def/order
state/tidy
lang/en
sembr
Trace
public
m/def/linalg
state/develop
lang/en
sembr
Trace form
public
m/def/falg
state/tidy
lang/en
sembr
Transition map
public
m/def/geo/diff
state/tidy
lang/en
sembr
Transitive group action
public
m/def/group
state/tidy
lang/en
sembr
Triangular Lie algebra
public
m/def/lie
state/tidy
lang/en
sembr
Triangular module
public
m/def/lie
state/tidy
lang/en
sembr
Trivial and alternating characters of a finite symmetric group in tensor product decomposition
public
m/thm/rep/sym
state/tidy
lang/en
sembr
Trivial category
category
public
state/tidy
lang/en
sembr
Trivial group
public
m/def/group
state/tidy
lang/en
sembr
Trivial irrep carrying ideal of the group ring
public
state/tidy
lang/en
sembr
Trivial measure
public
m/def/measure
state/tidy
lang/en
sembr
Twisted affine Lie algebra
public
to/motivate
m/def/lie
state/tidy
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
Uniform continuity
public
m/def/anal
state/tidy
lang/en
sembr
Uniform norm
public
m/def/topology
state/tidy
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
Unique factorization of ideals
public
m/def/ring
state/tidy
lang/en
sembr
Unique group involutions are central
public
m/thm/group
state/tidy
lang/en
sembr
Unit
public
state/tidy
lang/en
sembr
Unital subalgebra
public
m/def/falg
state/develop
lang/en
sembr
Unitary operator
public
m/def/linalg
state/tidy
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
Universal enveloping algebra
public
m/def/lie
missing/proof
to/complete
state/tidy
lang/en
sembr
Universal Relation Axiom
public
m/def/set/nbg
state/tidy
lang/en
sembr
Universality of the uniform distribution
public
m/thm/prob
missing/proof
state/tidy
lang/en
sembr
UPMATH
public
state/tidy
lang/en
sembr
Upper bound on the cardinality of an arbitrary union
public
m/thm/set
missing/proof
state/develop
lang/en
sembr
Use folders for separating essentially different kinds of content.
public
state/tidy
sembr
lang/en
Use MOCs for grouping closely related content with navigation in mind.
public
state/tidy
sembr
lang/en
Use tags for organised, but loose and fluid "categories" of otherwise unrelated notes.
public
state/tidy
sembr
lang/en
Using Folders, MOCs and Tags
public
state/tidy
sembr
lang/en
Vacuum space
public
m/def/falg
state/tidy
lang/en
sembr
Vandermonde matrix
public
m/def/linalg
missing/proof
state/tidy
lang/en
sembr
Vector basis
public
m/def/linalg
state/tidy
sembr
lang/en
Vector bundle
public
m/def/topology
state/develop
lang/en
sembr
Vector field
public
m/def/geo/diff
missing/proof
state/tidy
lang/en
sembr
Vector space
public
m/def/linalg
state/tidy
sembr
lang/en
Vector space over a field extension
public
m/thm/linalg
state/tidy
lang/en
sembr
Vector subspace
public
m/def/linalg
state/tidy
sembr
lang/en
Velocity selector for charged particles
public
state/tidy
sembr
flashcards/physics/equations
Vielbein
public
m/def/geo/diff
missing/proof
state/develop
lang/en
sembr
Virasoro algebra
public
m/def/lie
state/tidy
lang/en
sembr
Von Neumann bounded set
public
m/def/anal/fun
state/develop
lang/en
sembr
Weight enumerator
public
m/def/code
state/tidy
lang/en
sembr
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 embedding
public
state/tidy
lang/en
sembr
Yoneda lemma
public
state/tidy
lang/en
sembr
Yoneda perspective
public
m/cat/thm
state/develop
lang/en
sembr
Young diagram
public
m/def/comb
state/tidy
lang/en
sembr
Young operator
public
m/def/rep/sym
m/thm/rep/sym
state/tidy
lang/en
sembr
Young tableau
public
m/def/comb
state/tidy
lang/en
sembr
Young's inequality
public
m/thm/anal
state/tidy
lang/en
sembr
Zero morphism
public
m/def/cat
state/tidy
lang/en
sembr
Zero object
public
m/def/cat
state/develop
lang/en
sembr
Zero ring
public
m/def/ring
state/tidy
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
Zeroth Law of Thermodynamics
public
state/tidy
sembr
ZF
public
m/def/set/zf
state/tidy
lang/en
sembr
ZFC
public
m/def/set/zfc
state/tidy
lang/en
sembr
Zorn's lemma
public
m/thm/set/zfc
state/develop
lang/en
sembr
𝜇-estimator
public
state/tidy
sembr
lang/en
σ-algebra
public
m/def/measure
state/tidy
lang/en
sembr