Category:Stub pages of grade: A

2

• 2-Dimensional rotation matrix

A

• A compact and convex subset of Euclidean n-space with non-empty interior is a closed n-cell and its interior is an open n-cell
• A compact and convex subset of Euclidean n-space with non-empty interior is a closed n-cell and its interior is an open n-cell/Statement
• A continuous map induces a homomorphism between fundamental groups
• A continuous map induces a homomorphism on fundamental groups
• A linear map is injective if and only if the image of every non-zero vector is a non-zero vector
• A subset of a topological space is disconnected if and only if it can be covered by two non-empty-in-the-subset and disjoint-in-the-subset sets that are open in the space itself
• Adjunction topology
• Template:Amcm
• ASN
• Assignment (FOL)

B

• Bounded set

C

• Cantor's construction of the real numbers/Definition
• Cauchy sequence
• Cauchy-Schwarz inequality for inner product spaces
• Task:Characteristic property of the coproduct topology
• Characteristic property of the direct sum module
• Characteristic property of the disjoint union topology
• Characteristic property of the product topology
• Characteristic property of the quotient topology
• Task:Characteristic property of the subspace topology
• Characteristic property of the subspace topology
• Characteristic property of the subspace topology/Statement
• Concatenation of paths and loops (homotopy)
• Cone (topology)
• Constant loop based at a point
• Coproduct
• CW-complex

D

• Definitions and iff
• Direct product module
• Direct sum module
• Disjoint union topology
• Domain (FOL)

E

• Epigraph
• Equivalent conditions to a map being a quotient map
• Equivalent conditions to a set being saturated with respect to a function
• Expectation of the geometric distribution
• External direct sum module

F

• Factoring a continuous map through the projection of an equivalence relation induced by that map yields an injective continuous map
• Fibre

F cont.

• Field
• First order language
• Formula (FOL)
• Free monoid generated by
• Free semigroup generated by
• Free vector space generated by
• Fundamental group homomorphism induced by a continuous map

G

• Geometric progression
• Group action
• Group homomorphism

H

• Herbrand domain
• Hintikka set
• Homeomorphic
• Homeomorphic topological spaces have isomorphic fundamental groups
• Homotopy
• Homotopy (object)
• Homotopy concatenation
• Homotopy equivalent topological spaces
• Homotopy is an equivalence relation on the set of all continuous maps between spaces

I

• If a surjective continuous map is factored through the canonical projection of the equivalence relation induced by that map then the yielded map is a continuous bijection
• If a surjective function is factored through the canonical projection of the equivalence relation induced by that function then the yielded function is a bijection
• Index of spaces, sets and classes
• Infimum
• Interpretation (FOL)
• Invariant of an equivalence relation

L

• Limsup and liminf (sequence of sets)
• Logical consequence (FOL)
• Loop (topology)

M

• Measure
• Doctrine:Measure theory terminology
• Model (FOL)
• Module homomorphism
• Morphism

N

• N-cell
• N-plane
• NCr

O

• Open neighbourhood
• Outer splicing set
• Outer-measure

P

• Passing to the infimum

P cont.

• Passing to the quotient (topology)
• Passing to the quotient (topology)/Statement
• Polynomial u-ring
• Pre-image sigma-algebra
• Principle of excluded middle
• Product
• Proof that the fundamental group is actually a group

Q

• Quotient by an equivalence relation

R

• Ring homomorphism

S

• Satisfiable formula
• Saturated set with respect to a function
• Semantics of formulas (FOL)
• Semantics of logical connectives (FOL)
• Semantics of terms (FOL)
• Semigroup
• Series (summation)
• Simple function under-approximation to a numerical function
• Simplex
• Simplicial complex
• Square root
• Substitution assignment (FOL)
• Successor of a set

T

• Term (FOL)
• The 6 primitives of counting
• The canonical injections of the disjoint union topology are topological embeddings
• The image of a compact set is compact
• The induced fundamental group homomorphism of a composition of continuous maps is the same as the composition of their induced homomorphisms
• The induced fundamental group homomorphism of the identity map is the identity map of the fundamental group
• The intersection of an arbitrary family of Dynkin systems is itself a Dynkin system
• The zero-to-the-power-of-zero problem
• Topological embedding
• Topological space
• Notes:Topology - Munkres
• Totally bounded
• Truth values (FOL)
• Types of topological retractions

V

• Valid formula
• Variance of the geometric distribution