Timeline of category theory and related mathematics
Summary
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, ∞ = ω.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
In mathematics, higher category theory is the part of at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Higher category theory is often applied in algebraic topology (especially in homotopy theory), where one studies algebraic invariants of spaces, such as their fundamental . An ordinary has and morphisms, which are called 1-morphisms in the context of higher category theory.
This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous
In this thesis, we study the homotopical relations of 2-categories, double categories, and their infinity-analogues. For this, we construct homotopy theories for the objects of interest, and show that there are homotopically full embeddings of 2-categories ...
EPFL2021
In this thesis, we study interactions between algebraic and coalgebraic structures in infinity-categories (more precisely, in the quasicategorical model of (infinity, 1)-categories). We define a notion of a Hopf algebra H in an E-2-monoidal infinity-catego ...
Phase synchronizations in models of coupled oscillators such as the Kuramoto model have been widely studied with pairwise couplings on arbitrary topologies, showing many unexpected dynamical behaviors. Here, based on a recent formulation the Kuramoto model ...