In General

> Main ideas.
> Conjectures.
> Inequalities.
> Mathematical physics.
> Number theory.
> Probability and Statistics.

Topology

> In general and Types.
> Compactness.
> Connectedness.
> Dimension theory.
> Manifolds and Types.
> Embeddings and Foliations.
> In 2D, 3D, and 4D.
> Knots and Invariants.
> Algebraic topology.
> Homology and Cohomology.
> Homotopy and Holonomy.
> Differentiable manifolds and Maps.
> Diffeomorphisms.
> Differential forms.
> Tensors and Tensor fields.
> Bundles, Fiber bundles, Sheaves.
> Characteristic classes.
> Cell complexes and Tilings.
> Uniformities.
 

Geometry

> In general.
> Metric spaces and Types.
> Metric tensors and Types.
> Differential geometry.
> In 2D, 3D, and 4D.
> Connections and Affine.
> Curvature and Riemann.
> Extrinsic curvature.
> Torsion and Physics.
> Euclidean geometry.
> Riemannian geometry.
> Lorentzian geometry.
> Finsler geometry.
> Non-commutative geometry.
> Spectral geometry.
> Statistical geometry.
> Discrete and Models.

Analysis

> In general and Functions.
> Distributions.
> Fractional calculus.
> Functional analysis.
> Non-standard analysis.
> Analytic functions.
> De's, Ordinary, and Partial.
> Integration theory.
> Integral equations.

Algebraic Structures

> Elementary algebra and Matrices.
> Sequences, Series and Summations.
> Abstract algebra.
> Modules and Rings.
> Vector spaces and Normed spaces.
> Clifford algebras.
> Complex structures.
> Hilbert space.
> Operator theory.

Other Structures

> Set theory.
> Categories, Types and Functors.
> Combinatorics.
> Game theory.
> Graphs, Types, and Physics.
> Posets and Set of posets.
> Posets – Types.
> Groups, Types, and Representations.
> Lie groups, Algebras, Types.
> Affine structures.
> Projective structures.
> Symplectic structures.
> Measure theory.

More...

s.a. Concepts and Tools [logic, proofs].