nLab15d ago

differentiation

Urs Schreiber
See also differentiable function. analysis (differential/integral calculus, functional analysis, topology) metric space, normed vector space open ball, open subset, neighbourhood convergence, limit of a sequence compactness, sequential compactness … … synthetic differential geometry Introductions geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry Differentials Tangency The magic algebraic facts Theorems Axiomatics Models smooth algebra...