Project information
The language of higher dimensional categories (LHDC)

Project Identification
MUNI/J/0001/2021
Project Period
7/2021 - 6/2024
Investor / Pogramme / Project type
Masaryk University
MU Faculty or unit
Faculty of Science

Category theory is the language that expresses the common features of, and relationships between, different areas of mathematics. It is fundamental in modern algebra and topology, where it governs key notions such as homotopy and homology. Beyond pure mathematics, it is used in diverse areas such as the design of functional programming languages,
computational linguistics and theoretical physics via topological quantum field theories.
Recently there have been rapid developments in the young field of higher
dimensional category theory, which concerns the study of relationships between relationships and so on ad infinitum. Due to the complexity of these infinite dimensional structures, the technical details are demanding, and the main
texts span thousands of pages. The goal of this project is to develop new
low dimensional approaches to higher dimensional category theory, which will
make it more accessible to researchers from diverse fields, and lead to new
applications in pure mathematics and beyond.

You are running an old browser version. We recommend updating your browser to its latest version.