nLab
condensed mathematics

Contents

Context

Topology

topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Foundations

Contents

Idea

Condensed mathematics aims to provide a more convenient framework in which to treat algebraic objects equipped with a topology, such as topological abelian groups and topological vector spaces. Related aims are to turn functional analysis into a branch of commutative algebra, and various types of analytic geometry into algebraic geometry.

Concepts

References

Formalization/verification in proof assistants (Lean):

Last revised on October 27, 2021 at 00:42:23. See the history of this page for a list of all contributions to it.