Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This is a timeline of category theory and related mathematics. Its scope ("related mathematics") is taken as: of abstract algebraic structures including representation theory and universal algebra; Homological algebra; Homotopical algebra; Topology using categories, including algebraic topology, categorical topology, quantum topology, low-dimensional topology; Categorical logic and set theory in the categorical context such as algebraic set theory; Foundations of mathematics building on categories, for instance topos theory; Abstract geometry, including algebraic geometry, categorical noncommutative geometry, etc. Quantization related to category theory, in particular categorical quantization; Categorical physics relevant for mathematics. In this article, and in category theory in general, ∞ = ω.