List of mathematical objects: Difference between revisions

@@ Line 1: / Line 1: @@
 {{Short description|none}}
-This is a list of [[Mathematical object|mathematical objects]], organized by branch.
+This is a list of [[mathematical object]]s, organized by branch.
 == List of mathematical objects by branch ==
@@ Line 20: / Line 20: @@
 * [[Linear span]]
 * [[Basis (linear algebra)|Bases]]
-* [[Linear map|Linear maps]]
+* [[Linear map]]s
 * [[Parallelepiped]]
@@ Line 27: / Line 27: @@
 * [[Group (mathematics)|Groups]]
 * [[Ring (mathematics)|Rings]], [[Module (mathematics)|Modules]]
-* [[Monoid|monoids]]
+* [[monoid]]s
-* [[Field (mathematics)|Fields]], [[Vector space|Vector spaces]]
+* [[Field (mathematics)|Fields]], [[Vector space]]s
 * [[Algebra over a field|Algebras]]
-* [[Chain complex|Chain complexes]]
+* [[Chain complex]]es
 * [[Operation (mathematics)|Operations]]
 * [[Lattice (group)|group-theoretic lattices]], [[Lattice (order)|Order-theoretic lattices]]
@@ Line 36: / Line 36: @@
 === [[Calculus]] and [[Mathematical Analysis]] ===
-* [[Continuous function|Continuous funtions]], [[Differentiable function|Differentiable functions]], [[Analytic function|Analytic functions]]
+* [[Continuous function]]s, [[Differentiable function]]s, [[Analytic function]]s
 * [[Pathological (mathematics)|Pathological functions]]
 ** [[Weierstrass function]] - Commonly used as an example of a continuous, nowhere-differentiable function
@@ Line 47: / Line 47: @@
 ==== [[Nonstandard analysis]] ====
-* [[Infinitesimal|Infinitesimals]]
+* [[Infinitesimal]]s
 * [[Fluxion]]
-==== [[Differential equation|Differential equations]] ====
+==== [[Differential equation]]s ====
 * [[Dirac delta function]]
@@ Line 59: / Line 59: @@
 * [[Category (mathematics)|Categories]]
-* [[Functor|Functors]]
+* [[Functor]]s
-* [[Morphism|Morphisms]]
+* [[Morphism]]s
 * objects
-* [[Natural transformation|Natural transformations]]
+* [[Natural transformation]]s
-[[Category (mathematics)|Categories]] are simultaneously homes to mathematical objects and mathematical objects in their own right. In [[proof theory]], proofs and [[Theorem|theorems]] are also mathematical objects
 === [[Combinatorics]] ===
+* [[permutation]]s, [[derangement]]s, [[combination]]s
-* [[Permutation|permutations]], [[Derangement|derangements]], [[Combination|combinations]]
 === [[Computer science]] and [[Theoretical computer science]] ===
-* [[Data structure|Data structures]]
+* [[Data structure]]s
 ** [[Array (data structure)|Arrays]]
-** [[Linked list|Linked lists]]
+** [[Linked list]]s
-** [[Hash table|Hash tables]]
+** [[Hash table]]s
 ** [[Stack (abstract data type)|Stacks]] and [[Queue (abstract data type)|Queues]]
 ** [[Heap (data structure)|Heap]]
@@ Line 90: / Line 88: @@
 ==== [[Euclidean geometry|Euclidian geometry]] ====
-* [[Point (geometry)|Points]], [[Line (geometry)|Lines]], [[Line segment|Line segments]],
+* [[Point (geometry)|Points]], [[Line (geometry)|Lines]], [[Line segment]]s,
-* [[Polytope|Polytopes]], [[Regular polytope|Regular polytopes]]
+* [[Polytope]]s, [[Regular polytope]]s
-** [[Polygon|Polygons]] - 2-dimensional polytope
+** [[Polygon]]s - 2-dimensional polytope
 *** [[Convex polygon]]
-**** [[Triangle|Triangles]]
+**** [[Triangle]]s
-**** [[Square|Squares]]
+**** [[Square]]s
-**** [[Pentagon|Pentagons]]
+**** [[Pentagon]]s
-**** [[Hexagon|Hexagons]]
+**** [[Hexagon]]s
 ** [[Polyhedron|Polyhedra]] 3-dimensional polytope
-*** [[Platonic solid|Platonic solids]]
+*** [[Platonic solid]]s
 **** [[Tetrahedron]]
 **** [[Cube]]
@@ Line 105: / Line 103: @@
 **** [[Dodecahedron]]
 **** [[Icosahedron]]
-* [[Conic section|Conic sections]]
+* [[Conic section]]s
-** [[Circle|Circles]]
+** [[Circle]]s
-** [[Ellipse|Ellipses]]
+** [[Ellipse]]s
-** [[Parabola|Parabolas]]
+** [[Parabola]]s
-** [[Hyperbola|Hyperbolas]]
+** [[Hyperbola]]s
-* [[Sphere|Spheres]], [[Ellipsoid|Ellipsoids]], [[Paraboloid|Paraboloids]], [[Hyperboloid|Hyperboloids]],
+* [[Sphere]]s, [[Ellipsoid]]s, [[Paraboloid]]s, [[Hyperboloid]]s,
-* [[Cylinder|Cylinders]], [[Cone|Cones]]
+* [[Cylinder]]s, [[Cone]]s
 ==== [[Fractal geometry]] ====
 * [[Mandelbrot set]]
-* [[Julia set|Julia sets]]
+* [[Julia set]]s
 * [[Sierpiński triangle]]
 * [[Sierpiński carpet]], [[Menger sponge]]
@@ Line 127: / Line 125: @@
 === [[Mathematical logic]] ===
-* [[Truth value|Truth values]]
+* [[Truth value]]s
-* [[Logical connective|Logical connectives]]
+* [[Logical connective]]s
-* [[Proposition|Propositions]] and [[Predicate (mathematical logic)|Predicates]]
+* [[Proposition]]s and [[Predicate (mathematical logic)|Predicates]]
 * [[Well-formed formula|Formulas]]
 * [[Term (logic)|Terms]]
 * [[Signature (logic)|Signatures]]
+* [[Mathematical proof]]s
+* [[Theorem]]s
 === [[Number theory]] ===
-* [[Number|Numbers]]
+* [[Number]]s
 ** [[Natural numbers]]
 ** [[Integers]]
@@ Line 145: / Line 145: @@
 ** [[Multiplication]]
 ** [[Division (mathematics)|Division]]
+** [[Modulo|Modulo operation]]
 ** [[Exponents]]
 * [[Fractions]]
@@ Line 154: / Line 155: @@
 * [[Function (mathematics)|Functions]], and [[Relation (mathematics)|Relations]]
 * [[Membership relation]]
-* [[Cardinal number|Cardinal numbers]]
+* [[Cardinal number]]s
-* [[Ordinal number|Ordinal numbers]]
+* [[Ordinal number]]s
 === [[Topology]] ===
-* [[Closed set|Closed sets]]
+* [[Closed set]]s
 * [[Filters in topology|Filters]]
 * [[Neighbourhood (mathematics)|Neighborhoods]]
 * [[Net (mathematics)|Nets]]
-* [[Open set|Open sets]]
+* [[Open set]]s
-* [[Topological space|Topological spaces]]
+* [[Topological space]]s
 * [[Uniform space|Uniformities]]
-* [[Manifold|Manifolds]]
+* [[Manifold]]s
 ** [[Atlas (topology)#Formal definition of atlas|Atlases]]
 ** [[Topological manifold#Coordinate charts|Charts]]
@@ Line 173: / Line 174: @@
 ==== [[Algebraic topology]] ====
-* [[Cohomology group|Cohomology groups]]
+* [[Cohomology group]]s
-* [[Cohomotopy group|Cohomotopy groups]]<ref>{{cite book |last=Hu |first=Sze-Tsen |url=https://www.maths.ed.ac.uk/~v1ranick/papers/hu2.pdf |title=Homotopy theory |publisher=Academic Press |year=1971 |pages=205-228 |chapter=Chapter VII. Cohomotopy Groups |lccn=59-11526 |access-date=August 28, 2024 |orig-date=1959 |chapter-url=https://www.maths.ed.ac.uk/~v1ranick/papers/hu2.pdf#page=217 |authorlink=Sze-Tsen Hu}}</ref>
+* [[Cohomotopy group]]s<ref>{{cite book |last=Hu |first=Sze-Tsen |url=https://www.maths.ed.ac.uk/~v1ranick/papers/hu2.pdf |title=Homotopy theory |publisher=Academic Press |year=1971 |pages=205–228 |chapter=Chapter VII. Cohomotopy Groups |lccn=59-11526 |access-date=August 28, 2024 |orig-date=1959 |chapter-url=https://www.maths.ed.ac.uk/~v1ranick/papers/hu2.pdf#page=217 |author-link=Sze-Tsen Hu}}</ref>
-* [[Homology group|Homology groups]]
+* [[Homology group]]s
-* [[Homotopy group|Homotopy groups]]
+* [[Homotopy group]]s
 * [[Knot (mathematics)|Knots]]
 ** [[Unknot]]
 ** [[Trefoil knot]]
 * [[Hole (topology)|Holes]]
-* [[Torus|Toruses]]
+* [[Torus]]es
 * [[Alexander horned sphere]]
 ==== [[Differential topology]] ====
-* [[Differentiable manifold|Differentiable manifolds]]
+* [[Differentiable manifold]]s
 * [[Hairy ball theorem|Hairy balls]]