Timeline of category theory and related mathematics
Résumé
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, ∞ = ω.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
En mathématiques, la théorie des catégories supérieures est la partie de la théorie des catégories à un ordre supérieur, ce qui signifie que certaines égalités sont remplacées par des flèches explicites afin de pouvoir étudier explicitement la structure derrière ces égalités. La théorie des catégories supérieures est souvent appliquée en topologie algébrique (en particulier en théorie de l'homotopie ), où l'on étudie les invariants algébriques des espaces, tels que leur ∞-groupoïde fondamental faible.
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 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 ...
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 ...