Category:All Definitions

2

• 2-Dimensional rotation matrix

A

• Abelian group
• Abs (function)
• Absolute value
• Absolute value (function)
• Absolute value (object)
• Abstract simplicial complex
• Addition of vector spaces
• Additive function
• Additive set function
• Adjunction
• Adjunction (topology)
• Algebra
• Algebra (disambiguation)
• Algebra (linear algebra)
• Algebra (measure theory)
• Algebra of sets
• Algebras of sets
• Almost always
• Alphabet (formal languages)
• And (logic)
• Arc length
• Arity
• Arrow
• Arrow (category theory)
• Assignment (FOL)
• Associative
• Atlas
• Atomic formula (FOL)
• Axiom of foundation
• Axiom of regularity
• Axiom schema of replacement

B

• Basis
• Basis (linear algebra)
• Basis and coordinates
• Basis criterion (topology)
• Basis for a topology
• Bernstein polynomial
• Bernstein polynomial/Definition
• Bijection
• Bijective
• Bilinear form
• Bilinear map
• Binary relation
• Borel sigma-algebra
• Borel sigma-algebra generated by
• Borel sigma-algebra of the real line
• Borv
• BORV
• Boundary (topology)
• Bounded
• Bounded (linear map)
• Bounded (sequence)
• Bounded (set)
• Bounded linear map
• Bounded sequence
• Bounded set
• Box topology

C

• C(I,X)
• C(X,Y)
• C-ring
• Canonical injection of the subspace topology
• Canonical linear map
• Canonical projection of an equivalence relation
• Canonical projection of the equivalence relation
• Canonical projection of the product topology
• Canonical projections of the product topology

C cont.

• Cantor's construction of the real numbers
• Cantor's construction of the real numbers/Definition
• Cardinality
• Cartesian product
• Categorical coproduct
• Categorical coproducts
• Categorical isomorphism
• Categorical product
• Categorical products
• Category
• Cauchy criterion for convergence
• Cauchy sequence
• Cauchy sequence/Definition
• Cauchy sequence/Short definition
• Characteristic of a ring
• Characteristic property of the disjoint union topology
• Characteristic property of the disjoint union topology/Statement
• Characteristic property of the product topology/Statement
• Characteristic property of the subspace topology
• Characteristic property of the subspace topology/Statement
• Chart
• Charts
• Circle
• Class of smooth real-valued functions on R-n
• Class of smooth real-valued functions on R-n/Structure
• Classes of continuously differentiable functions
• Closed interval
• Closed map
• Closed n-cell
• Closed set
• Closed sets
• Closure (set, topology)
• Closure (topology)
• Closure of a set in a topological space
• Closure, interior and boundary
• Co-product (category theory)
• Coarser topology
• Cocone (category theory)
• Combination
• Combinations
• Commutative
• Commutator
• Commutator subgroup
• Compact
• Compact (topology)
• Compactness
• Complement
• Complementation
• Complete metric space
• Completely invariant under
• Completeness
• Complex conjugate
• Complex functionals
• Composite formula (FOL)
• Composition of functions
• Concatenation of loops and paths (homotopy)
• Concatenation of paths and loops (homotopy)
• Cone
• Cone (category theory)
• Cone (topology)
• Conjugation
• Connected (topology)
• Connected subset (topology)
• Connected topological space
• Constant function
• Constant loop
• Constant loop based at

C cont.

• Constant loop based at a point
• Constant map
• Constant mapping
• Continuity
• Continuous
• Continuous function
• Continuous map
• Continuous maps
• Contractible topological space
• Contravariant functor
• Contravariant functor/Definition
• Convergence (sequence)
• Convergence of a sequence
• Convergent (sequence)
• Convergent sequence
• Converges (sequence)
• Convex
• Convex function
• Convex hull
• Convex set
• Coproduct
• Coproduct (category theory)
• Coproduct (module)
• Coproduct (topology)
• Correspondence
• Coset
• Countably additive set function
• Covariant functor
• Covariant functor/Definition
• Covector
• Covector applied to a tensor product
• Cover
• Covering
• Covering map (topology)
• Covering map (topology)/Definition
• Covering space
• Covering space (topology)
• Cu-ring
• Curve
• CW-complex
• Cyclic subgroup

D

• D-system
• Deformation retract
• Deformation retraction
• Deformation retraction/Definition
• Dense
• Dense set
• Derivation
• Derivative
• Derivative (analysis)
• Deterministic finite acceptor automaton
• Deterministic finite automaton
• DFA
• DFAs
• Diffeomorphism
• Differentiability
• Differential of a smooth map
• Differentiation
• Digraph
• Digraphs
• Direct product (module)
• Direct product module
• Direct sum (ring)
• Direct sum module
• Directed graph
• Disconnected (topology)